This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 12]

Cpurify::AffinePoint	Affine point representation used for serialization and lookup tables
Cpurify::BigUInt< Words >	Little-endian fixed-width unsigned integer with simple arithmetic utilities
Cpurify::detail::BigUIntCBridge< Words >
Cpurify::Bip340Key	Canonical BIP340 keypair derived deterministically from a packed Purify secret
Cpurify::bppp::BpppBackendResourcesDeleter
Cpurify::BulletproofAssignmentData	Columnar witness assignment compatible with the native Bulletproof circuit layout
Cpurify::BulletproofBackendResourceDeleter
Cpurify::BulletproofTranscript	Lowering helper that converts a symbolic transcript into native Bulletproof witness and circuit forms
Cpurify::BulletproofWitnessData	Complete witness bundle for evaluating and proving a Purify instance
Cpurify::CircuitMainResult	Result bundle returned by the main symbolic Purify circuit construction
Cpurify::bppp::CommittedPurifyWitness	Purify witness bundle together with a Pedersen commitment to the output
Cpurify::CompleteProjectivePoint	Projective point used by the hardened secret-scalar multiplication path
Cpurify::accountable::ConflictContext	Public context shared by conflicting statements in one slashable slot
Cpurify::EllipticCurve	Minimal elliptic-curve arithmetic over the Purify base field
Cpurify::Error	Compact error object returned by checked APIs
Cstd::exception
Cpurify::bad_expected_access< E >
Cpurify::Expected< T, E >	Purify result carrier that either holds a value or an error
Cpurify::Expected< void, E >
Cpurify::ExperimentalBulletproofBackendCache	Caller-owned cache for reusable legacy Bulletproof backend resources keyed by gate count
Cpurify::ExperimentalBulletproofProof	Experimental single-proof wrapper over the imported legacy Bulletproof circuit backend
Cpurify::bppp::ExperimentalCircuitBackend	Common interface for reusable experimental BPPP backend state
Cpurify::bppp::ExperimentalCircuitCache	Caller-owned cache for reusable experimental circuit reduction and BPPP backend data
Cpurify::bppp::ExperimentalCircuitCacheLine	Thread-local clone of one warmed experimental BPPP backend-resource line
Cpurify::bppp::detail::ExperimentalCircuitBackendAccess
Cpurify::bppp::ExperimentalCircuitNormArgProof	Experimental transparent circuit proof backed by the standalone BPPP norm argument
Cpurify::bppp::ExperimentalCircuitZkNormArgProof	Experimental masked circuit proof that hides the reduced witness before the final BPPP argument
Cpurify::Expr	Symbolic affine expression over indexed variables and field coefficients
Cpurify::ExprBuilder	Small runtime builder that flattens affine combinations into one expression
Cpurify::ExprLess
Cpurify::ExprPairLess
Cpurify::FieldElement	Field element modulo the backend scalar field used by this implementation
Cpurify::detail::FieldElementAccess
Cpurify::GeneratedKey	Derived Purify keypair bundle with an owned packed secret and its matching public key
Cpurify::bppp::GeneratorBackendCacheKeyHash
Cpurify::bppp::ExperimentalCircuitCache::Impl
Cpurify::bppp::ExperimentalCircuitCacheLine::Impl
Cpurify::ExperimentalBulletproofBackendCache::Impl
Cpurify::JacobianPoint	Jacobian point representation used for curve arithmetic
Cpurify::puresign::KeyPair
Cpurify::puresign_plusplus::KeyPair
Cpurify::puresign::MessageProofCache	Cacheable message-bound nonce-proof template
Cpurify::puresign_plusplus::MessageProofCache	Cacheable message-bound nonce-proof template for the BPPP-backed PureSign++ proof(R) flow
Cpurify::Transcript::MulConstraint	One multiplicative relation emitted by the symbolic transcript
Cpurify::NativeBulletproofCircuit	Native in-memory representation of a Bulletproof-style arithmetic circuit
Cpurify::NativeBulletproofCircuitRow	One sparse row of circuit coefficients
Cpurify::NativeBulletproofCircuitTemplate	Public-key-agnostic native verifier-circuit template
Cpurify::NativeBulletproofCircuitTerm	One sparse matrix entry in a native circuit row
Cpurify::puresign::Nonce	Public BIP340 nonce point in x-only form
Cpurify::puresign_plusplus::Nonce	Public BIP340 nonce point in x-only form
Cpurify::puresign::NonceProof	Public nonce together with its experimental Purify statement proof
Cpurify::puresign_plusplus::NonceProof
Cpurify::bppp::NormArgInputs	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
Cpurify::bppp::NormArgProof	Standalone BPPP norm-argument proof bundle with all verifier-side inputs
Cpurify::NativeBulletproofCircuit::PackedSlackPlan
Cpurify::NativeBulletproofCircuit::PackedWithSlack	Resettable packed circuit representation backed by one aligned owning slab
Cpurify::NativeBulletproofCircuitRow::PackedWithSlack	Non-owning packed row view used by NativeBulletproofCircuit::PackedWithSlack
Cpurify::accountable::PartialResponse	Public session contribution; the raw full nonce is not normalized
Cpurify::puresign::PreparedNonce	Move-only prepared nonce bound to either a message or a topic
Cpurify::puresign_plusplus::PreparedNonce	Move-only prepared nonce bound to either a message or a topic
Cpurify::puresign::PreparedNonceWithProof	Move-only prepared nonce bundled with its public statement proof
Cpurify::puresign_plusplus::PreparedNonceWithProof
Cpurify::puresign::ProvenSignature	Standard signature bundled with the public nonce proof it relied on
Cpurify::puresign_plusplus::ProvenSignature
Cpurify::puresign::PublicKey	Public key bundle pairing a Purify packed public key with its derived BIP340 x-only key
Cpurify::puresign_plusplus::PublicKey
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
Cpurify::accountable::ScalarSignature	Canonical 32-byte scalar response; carries no nonce or proof
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
Cpurify::SecpContextDeleter
Cpurify::SecretKey	Move-only packed Purify secret stored in dedicated heap memory
Cpurify::detail::SecureUInt512Deleter
Cpurify::puresign::Signature	Standard 64-byte BIP340 signature
Cpurify::puresign_plusplus::Signature	Standard 64-byte BIP340 signature
Cpurify::accountable::SigningRoster	Experimental public key aggregation for one ordered coalition roster
Cpurify::accountable::SigningRosterMember	An ordered individual signing key and its normalized public weight
Cpurify::SpanAtLeast< MinSize, T >	Checked span wrapper that guarantees a minimum runtime length
Cpurify::Symbol	Compact symbolic variable identifier used inside expressions and transcripts
Cpurify::SymbolLess
Cpurify::TaggedHash	Reusable BIP340-style tagged SHA-256 helper
Cpurify::puresign::TopicProofCache	Cacheable topic-bound nonce-proof template
Cpurify::puresign_plusplus::TopicProofCache	Cacheable topic-bound nonce-proof template for the BPPP-backed PureSign++ proof(R) flow
Cpurify::Transcript	Mutable transcript used to record symbolic multiplication, division, and boolean constraints
Cpurify::detail::UInt128
Cpurify::unexpect_t
Cpurify::Unexpected< E >