Class Hierarchy

Go to the graphical class hierarchy

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

[detail level 12]

Cproofs::AlgebraUtil< Field >
Cstd::array
Cproofs::Logic< Field_, Backend >::bitvec< 1 >
Cproofs::Logic< Field_, Backend >::bitvec< 4 >
Cproofs::Logic< Field_, Backend >::bitvec< 8 >
Cproofs::Logic< Field_, Backend >::bitvec< 16 >
Cproofs::Logic< Field_, Backend >::bitvec< 32 >
Cproofs::Logic< Field_, Backend >::bitvec< 64 >
Cproofs::Logic< Field_, Backend >::bitvec< 128 >
Cproofs::Logic< Field_, Backend >::bitvec< 129 >
Cproofs::Logic< Field_, Backend >::bitvec< 256 >
Cproofs::Logic< Field_, Backend >::bitvec< N >
Cproofs::term::assert0_type_hack
Cproofs::AttrShift
Cproofs::mdoc_1f< LogicCircuit, Field, EC, kNumAttr >::AttrShift
Cproofs::MdocHash< LogicCircuit, Field >::AttrShift
Cproofs::Base64Decoder< LogicCircuit >
Cproofs::BinaryFieldTypeTag
Cproofs::ProverLayers< Field >::bindings
Cproofs::bit_plucker_point< Field, N >
Cproofs::BitAdderAux< Logic, N, kCharacteristicTwo >
Cproofs::BitAdderAux< Logic, N, false >
Cproofs::BitAdderAux< Logic, N, true >
Cproofs::BitPlucker< Logic, LOGN >
Cproofs::BitPluckerEncoder< Field, LOGN >
Cproofs::Logic< Field_, Backend >::BitW
Cproofs::Blas< Field >
Cproofs::FlatSHA256Circuit< Logic, BitPlucker >::BlockWitness
Cproofs::FlatSHA256Witness::BlockWitness
Cproofs::Bogorng< Field >
Cproofs::Cbor< Logic, IndexBits >
Cproofs::cbor_plucker_point< Field, NJ >
Cproofs::CborByteDecoder< Logic >
Cproofs::CborConstants
Cproofs::CborDoc
Cproofs::CborIndex
Cproofs::mdoc_1f< LogicCircuit, Field, EC, kNumAttr >::CborIndex
Cproofs::MdocHash< LogicCircuit, Field >::CborIndex
Cproofs::CborPlucker< Logic, NJ >
Cproofs::CborTesting< Field >
Cproofs::CborWitness< Field >
Cproofs::FpGeneric< W64, optimized_mul, OPS >::CElt
Cproofs::GF2_128< subfield_log_bits >::CElt
Cproofs::CounterAux< Logic_, false >::CEltW
Cproofs::CounterAux< Logic_, true >::CEltW
Cproofs::Challenge< Field >
Cproofs::Circuit< Field >
Cproofs::CircuitRep< Field >
Cproofs::VerifierLayers< Field >::claims
Cproofs::CompilerBackend< Field >
Cproofs::Quad< Field >::corner
Cproofs::Sparse< Field >::corner
Cproofs::CounterAux< Logic, kCharacteristicTwo >
Cproofs::CounterAux< Logic_, false >
Cproofs::CounterAux< Logic_, true >
Cproofs::Cbor< Logic, IndexBits >::decode
Cproofs::CborByteDecoder< Logic >::decode
Cproofs::Dense< Field >
Cproofs::Eqs< Field >
Cproofs::DenseFiller< Field >
Cproofs::Digest
Cproofs::Poly< N, Field >::dot_interpolation
Cproofs::EllipticCurve< Field_, W, kN >::ECPoint
Cproofs::EllipticCurve< Field_, W, kN >
Cproofs::Fp2< Field, nonresidue_is_mone >::Elt
Cproofs::FpGeneric< W64, optimized_mul, OPS >::Elt
Cproofs::GF2_128< subfield_log_bits >::Elt
Cproofs::EltMuxer< Logic, N, PP >
Cproofs::Eq< Field >
Cproofs::EvaluationBackend< Field >
Cproofs::FFT< Field >
Cproofs::FFTConvolution< Field >
Cproofs::FFTConvolutionFactory< Field >
Cproofs::FFTExtConvolution< Field, FieldExt >
Cproofs::FFTExtConvolutionFactory< Field, FieldExt >
Cproofs::FFTInterpolation< Field >
Cproofs::FlatSHA256Circuit< Logic, BitPlucker >
Cproofs::FlatSHA256Witness
Cproofs::Fp128Reduce
Cproofs::Fp2< Field, nonresidue_is_mone >
Cproofs::Fp256Reduce
Cproofs::FpGeneric< W64, optimized_mul, OPS >
Cproofs::FpReduce
Cproofs::FSPRF
Cproofs::FullAttribute
Cproofs::GF2_128< subfield_log_bits >
Cproofs::Cbor< Logic, IndexBits >::global_witness
Cproofs::CborWitness< Field >::global_witness
Cproofs::Interpolation< N, Field >
Cproofs::JWTWitness< EC, ScalarField, SHABlocks >::Jws
Cproofs::JWT< LogicCircuit, Field, EC, SHABlocks >
Cproofs::JWTWitness< EC, ScalarField, SHABlocks >
Cproofs::PdqHash::kv
Cproofs::Layer< Field >
Cproofs::LayerChallenge< Field >
Cproofs::LayerProof< Field >
Cproofs::LCH14< Field >
Cproofs::LCH14ReedSolomon< Field >
Cproofs::LCH14ReedSolomonFactory< Field >
Cproofs::LigeroCommitment< Field >
Cproofs::LigeroCommon< Field >
Cproofs::LigeroHash
Cproofs::LigeroLinearConstraint< Field >
Cproofs::LigeroParam< Field >
Cproofs::LigeroProof< Field >
Cproofs::LigeroProver< Field, InterpolatorFactory >
Cproofs::LigeroQuadraticConstraint
Cproofs::LigeroTranscript< Field >
Cproofs::LigeroVerifier< Field, InterpolatorFactory >
Cproofs::Limb< W64 >
Cproofs::GF2Poly< 2 >
Cproofs::Nat< W >
Cproofs::GF2Poly< W64 >
Cproofs::Nat< W64 >
Cproofs::Logic< Field_, Backend >
Cproofs::MAC< Logic, BitPlucker >
Cproofs::MACGF2< Backend, BitPlucker >
Cproofs::MacGF2Witness
Cproofs::MACReference< GF >
Cproofs::MacWitness< Field >
Cproofs::mdoc_1f< LogicCircuit, Field, EC, kNumAttr >
Cproofs::mdoc_1f_witness< EC, Field, ScalarField >
Cproofs::MdocAttribute
Cproofs::MdocHash< LogicCircuit, Field >
Cproofs::MdocHashWitness< EC, Field >
Cproofs::MdocRevocationList< LogicCircuit >
Cproofs::MdocRevocationSpan< LogicCircuit, Field, EC >
Cproofs::MdocRevocationSpanWitness< EC, ScalarField >
Cproofs::MdocSignature< LogicCircuit, Field, EC >
Cproofs::MdocSignatureWitness< EC, ScalarField >
Cproofs::MdocTests
Cproofs::Memcmp< Logic >
Cproofs::MerkleCommitment
Cproofs::MerkleCommitmentVerifier
Cproofs::MerkleNonce
Cproofs::MerkleProof
Cproofs::MerkleTree
Cproofs::MerkleTreeVerifier
Cproofs::NodeF< Field >
Cproofs::NodeInfoF< Field >
Cproofs::JWT< LogicCircuit, Field, EC, SHABlocks >::OpenedAttribute
Cproofs::mdoc_1f< LogicCircuit, Field, EC, kNumAttr >::OpenedAttribute
Cproofs::MdocHash< LogicCircuit, Field >::OpenedAttribute
Cproofs::OpenedAttribute
Cproofs::PtrCred< LogicCircuit, Field, EC, kNumAttr >::OpenedAttribute
Cproofs::Small< LogicCircuit, Field, EC, kNumAttr >::OpenedAttribute
Cproofs::Cbor< Logic, IndexBits >::parse_output
Cproofs::ParsedMdoc
Cproofs::mdoc_1f< LogicCircuit, Field, EC, kNumAttr >::PathEntry
Cproofs::PdqHash
Cproofs::Permutations< Elt >
Cproofs::Poly< N, Field >
Cproofs::Polynomial< Logic >
Cproofs::Cbor< Logic, IndexBits >::position_witness
Cproofs::CborWitness< Field >::position_witness
Cproofs::PRF
Cproofs::PrimeFieldTypeTag
Cproofs::Proof< Field >
Cproofs::ProofAux< Field >
Cproofs::ProverLayers< Field >
Cproofs::Prover< Field >
Cproofs::ZkProver< Field, ReedSolomonFactory >
Cproofs::ProverState
Cproofs::PtrCred< LogicCircuit, Field, EC, kNumAttr >
Cproofs::Quad< Field >
Cproofs::QuadCircuit< Field >
Cproofs::RandomEngine
Cproofs::SecureRandomEngine
Cproofs::Transcript
Cproofs::ReadBuffer
Cproofs::ReedSolomon< Field, ConvolutionFactory >
Cproofs::ReedSolomonFactory< Field, ConvolutionFactory >
CRequestedAttribute
Cproofs::RFFT< FieldExt >
Cproofs::Routing< Logic >
Cproofs::Scan< Counter >
Cproofs::Scheduler< Field >
Cproofs::SHA256
Cproofs::sha256_bench
Cproofs::sha256_testvec
Cproofs::SHA256BlockTests
Cproofs::Sha3Circuit< LogicCircuit >
Cproofs::Sha3Reference
Cproofs::Small< LogicCircuit, Field, EC, kNumAttr >
Cproofs::SmallOpenedAttribute
Cproofs::SmallTest
Cproofs::SmallWitness< EC, Field, ScalarField >
Cproofs::Sparse< Field >
CStaticString
Cproofs::SumcheckPoly< N, Field >
Cproofs::term
Cproofs::TranscriptSumcheck< Field >
Cproofs::Twiddle< Field >
Cproofs::CborDoc::U
Cproofs::EvaluationBackend< Field >::V
Cproofs::VerifierLayers< Field >
Cproofs::Verifier< Field >
Cproofs::VerifyCircuit< LogicCircuit, Field, EC >
Cproofs::VerifyWitness3< EC, ScalarField >
Cproofs::JWT< LogicCircuit, Field, EC, SHABlocks >::Witness
Cproofs::MAC< Logic, BitPlucker >::Witness
Cproofs::MACGF2< Backend, BitPlucker >::Witness
Cproofs::mdoc_1f< LogicCircuit, Field, EC, kNumAttr >::Witness
Cproofs::MdocHash< LogicCircuit, Field >::Witness
Cproofs::MdocRevocationSpan< LogicCircuit, Field, EC >::Witness
Cproofs::MdocSignature< LogicCircuit, Field, EC >::Witness
Cproofs::PtrCred< LogicCircuit, Field, EC, kNumAttr >::Witness
Cproofs::Small< LogicCircuit, Field, EC, kNumAttr >::Witness
Cproofs::VerifyCircuit< LogicCircuit, Field, EC >::Witness
Cproofs::ZkCommon< Field >
Cproofs::ZkProof< Field >
CZkSpecStruct
Cproofs::ZkVerifier< Field, RSFactory >