Data Structures

Here are the data structures with brief descriptions:

[detail level 1234]

Npurify
Nbppp
Ndetail	Internal access helpers for experimental BPPP backend implementations
CExperimentalCircuitBackendAccess
CNormArgInputs	Inputs for norm commitment computation and standalone BPPP proofs. Proving requires power-of-two vector lengths with n_vec.size() >= l_vec.size(). Commitment computation alone does not establish the proof relation
CNormArgProof	Standalone BPPP norm-argument proof bundle with all verifier-side inputs
CExperimentalCircuitBackend	Common interface for reusable experimental BPPP backend state
CExperimentalCircuitCacheLine	Thread-local clone of one warmed experimental BPPP backend-resource line
CImpl
CExperimentalCircuitCache	Caller-owned cache for reusable experimental circuit reduction and BPPP backend data
CImpl
CExperimentalCircuitNormArgProof	Experimental transparent circuit proof backed by the standalone BPPP norm argument
CExperimentalCircuitZkNormArgProof	Experimental masked circuit proof that hides the reduced witness before the final BPPP argument
CCommittedPurifyWitness	Purify witness bundle together with a Pedersen commitment to the output
CBpppBackendResourcesDeleter
CGeneratorBackendCacheKeyHash
Ndetail
CUInt128
CBigUIntCBridge
CFieldElementAccess
CSecureUInt512Deleter
Naccountable
CConflictContext	Public context shared by conflicting statements in one slashable slot
CScalarSignature	Canonical 32-byte scalar response; carries no nonce or proof
CPartialResponse	Public session contribution; the raw full nonce is not normalized
CSigningRosterMember	An ordered individual signing key and its normalized public weight
CSigningRoster	Experimental public key aggregation for one ordered coalition roster
Npuresign_plusplus
CPublicKey
CNonce	Public BIP340 nonce point in x-only form
CSignature	Standard 64-byte BIP340 signature
CMessageProofCache	Cacheable message-bound nonce-proof template for the BPPP-backed PureSign++ proof(R) flow
CTopicProofCache	Cacheable topic-bound nonce-proof template for the BPPP-backed PureSign++ proof(R) flow
CNonceProof
CProvenSignature
CPreparedNonce	Move-only prepared nonce bound to either a message or a topic
CPreparedNonceWithProof
CKeyPair
Npuresign
CPublicKey	Public key bundle pairing a Purify packed public key with its derived BIP340 x-only key
CNonce	Public BIP340 nonce point in x-only form
CSignature	Standard 64-byte BIP340 signature
CNonceProof	Public nonce together with its experimental Purify statement proof
CProvenSignature	Standard signature bundled with the public nonce proof it relied on
CMessageProofCache	Cacheable message-bound nonce-proof template
CTopicProofCache	Cacheable topic-bound nonce-proof template
CPreparedNonce	Move-only prepared nonce bound to either a message or a topic
CPreparedNonceWithProof	Move-only prepared nonce bundled with its public statement proof
CKeyPair
CGeneratedKey	Derived Purify keypair bundle with an owned packed secret and its matching public key
CBip340Key	Canonical BIP340 keypair derived deterministically from a packed Purify secret
CBulletproofWitnessData	Complete witness bundle for evaluating and proving a Purify instance
CBulletproofAssignmentData	Columnar witness assignment compatible with the native Bulletproof circuit layout
CNativeBulletproofCircuitTerm	One sparse matrix entry in a native circuit row
CNativeBulletproofCircuitRow	One sparse row of circuit coefficients
CPackedWithSlack	Non-owning packed row view used by NativeBulletproofCircuit::PackedWithSlack
CNativeBulletproofCircuit	Native in-memory representation of a Bulletproof-style arithmetic circuit
CPackedSlackPlan
CPackedWithSlack	Resettable packed circuit representation backed by one aligned owning slab
CExperimentalBulletproofProof	Experimental single-proof wrapper over the imported legacy Bulletproof circuit backend
CExperimentalBulletproofBackendCache	Caller-owned cache for reusable legacy Bulletproof backend resources keyed by gate count
CImpl
CNativeBulletproofCircuitTemplate	Public-key-agnostic native verifier-circuit template
CBulletproofTranscript	Lowering helper that converts a symbolic transcript into native Bulletproof witness and circuit forms
CCircuitMainResult	Result bundle returned by the main symbolic Purify circuit construction
CSecpContextDeleter
CSpanAtLeast	Checked span wrapper that guarantees a minimum runtime length
CJacobianPoint	Jacobian point representation used for curve arithmetic
CAffinePoint	Affine point representation used for serialization and lookup tables
CCompleteProjectivePoint	Projective point used by the hardened secret-scalar multiplication path
CEllipticCurve	Minimal elliptic-curve arithmetic over the Purify base field
CTaggedHash	Reusable BIP340-style tagged SHA-256 helper
CError	Compact error object returned by checked APIs
Cunexpect_t
Cbad_expected_access
CUnexpected
CExpected	Purify result carrier that either holds a value or an error
CExpected< void, E >
CSymbol	Compact symbolic variable identifier used inside expressions and transcripts
CSymbolLess
CExpr	Symbolic affine expression over indexed variables and field coefficients
CExprLess
CExprPairLess
CExprBuilder	Small runtime builder that flattens affine combinations into one expression
CTranscript	Mutable transcript used to record symbolic multiplication, division, and boolean constraints
CMulConstraint	One multiplicative relation emitted by the symbolic transcript
CBigUInt	Little-endian fixed-width unsigned integer with simple arithmetic utilities
CFieldElement	Field element modulo the backend scalar field used by this implementation
CSecretKey	Move-only packed Purify secret stored in dedicated heap memory
CBulletproofBackendResourceDeleter
Cpurify_affine_point
Cpurify_bip340_key	Canonical BIP340 keypair derived from one packed Purify secret
Cpurify_bppp_backend_resources
Cpurify_bppp_mutable_generators_guard
Cpurify_bulletproof_assignment_view
Cpurify_bulletproof_backend_resources
Cpurify_bulletproof_circuit_view
Cpurify_bulletproof_row_view
Cpurify_bulletproof_scratch_frames
Cpurify_complete_projective_point
Cpurify_curve
Cpurify_fe
Cpurify_generated_key	Seed/public-key bundle returned by the C core key-generation entry points
Cpurify_jacobian_point
Cpurify_scalar	Opaque scalar storage compatible with secp256k1-zkp internal scalar storage
Cpurify_secp_context
Csecp256k1_bulletproof_circuit
Csecp256k1_bulletproof_circuit_abgh_data
Csecp256k1_bulletproof_circuit_assignment
Csecp256k1_bulletproof_circuit_vfy_ecmult_context
Csecp256k1_bulletproof_generators
Csecp256k1_bulletproof_innerproduct_context
Csecp256k1_bulletproof_innerproduct_pf_ecmult_context
Csecp256k1_bulletproof_innerproduct_vfy_data
Csecp256k1_bulletproof_innerproduct_vfy_ecmult_context
Csecp256k1_bulletproof_pf_compressed_circuit
Csecp256k1_bulletproof_vfy_compressed_circuit
Csecp256k1_bulletproof_wmatrix_entry
Csecp256k1_bulletproof_wmatrix_row
Csecp256k1_fast_scalar