|
purify
C++ Purify implementation with native circuit and BPP support
|
| bench | |
| bench_purify.cpp | Nanobench-based performance harness for circuit construction and BPPP operations |
| cli | |
| main.cpp | Thin CLI entrypoint for the Purify executable |
| purify_runtime.hpp | CLI runtime helpers and command dispatch for the Purify executable |
| include | |
| purify | |
| puresign | |
| accountable.hpp | Experimental public transcripts for scalar-only accountable signatures |
| accountable_responses.hpp | |
| accountable_roster.hpp | |
| bppp.hpp | Experimental BPPP-backed PureSign proof(R) helpers |
| legacy.hpp | Legacy Bulletproof-backed Purify-derived BIP340 signing helpers with prepared nonces |
| api.hpp | High-level Purify key generation, evaluation, witness generation, and circuit helpers |
| bppp.hpp | C++ wrappers for the BPPP functionality used by Purify |
| bulletproof.hpp | Native Bulletproof-style circuit types and witness serialization helpers |
| common.hpp | Shared includes and foundational aliases for the Purify C++ implementation |
| curve.hpp | Elliptic-curve helpers, fixed parameters, and hash-to-curve utilities for Purify |
| error.hpp | Library-level error taxonomy used to classify Purify failures |
| expected.hpp | Stable public expected-style types used by Purify |
| expr.hpp | Symbolic expression and transcript machinery used to derive Purify circuits |
| numeric.hpp | Fixed-width integer and field arithmetic helpers used throughout Purify |
| secp_bridge.h | Narrow C ABI exposing secp256k1 scalar and HMAC helpers to the C++ headers |
| secp_context.h | Shared public declaration of Purify's reusable secp256k1 context handle |
| secret.hpp | Secret-owning Purify key material wrappers |
| uint.h | Fixed-width unsigned integer helpers implemented in C for Purify |
| purify.h | Public C core for Purify key validation, key derivation, key generation, and evaluation |
| purify.hpp | Umbrella header that re-exports the public Purify API |
| src | |
| api | |
| api.cpp | High-level Purify API implementations, including key generation and proof helpers |
| c_api.cpp | C core implementation for Purify key validation, generation, derivation, and evaluation |
| error_bridge.hpp | |
| bridge | |
| bppp_bridge.c | C bridge that binds Purify's lightweight ABI to secp256k1-zkp internals and BPPP helpers |
| bppp_bridge.h | C ABI bridging Purify C++ code to secp256k1-zkp BPPP functionality |
| core | |
| core.c | |
| core.h | |
| curve.c | |
| curve.h | |
| field.c | |
| field.h | |
| uint.c | |
| uint_impl.h | |
| legacy_bulletproof | |
| circuit_compress_impl.h | |
| circuit_impl.h | |
| core.h | |
| inner_product_impl.h | |
| scratch_frames.c | |
| util.h | |
| protocol | |
| bppp.cpp | C++ convenience wrappers over the low-level BPPP C bridge |
| bulletproof.cpp | Lowering and native circuit helpers for Purify's Bulletproof-style verifier model |
| bulletproof_internal.hpp | |
| expr.cpp | Compiled symbolic expression and transcript machinery for Purify |
| puresign | |
| codecs | |
| bppp.cpp | Wire-format codecs for the BPPP-backed PureSign++ surface |
| legacy.cpp | Wire-format codecs for the legacy PureSign surface |
| detail | |
| common.hpp | |
| accountable.cpp | |
| accountable_responses.cpp | |
| accountable_roster.cpp | |
| bppp.cpp | Experimental BPPP-backed PureSign proof(R) helpers |
| legacy.cpp | Purify-derived BIP340 signing helpers with prepared nonces and wire-format artifacts |
| support | |
| curve.cpp | Compiled elliptic-curve helpers, parameters, and key encoding logic for Purify |
| numeric.cpp | Compiled FieldElement implementation for Purify numeric helpers |