List of all items

Structs

• CircuitShape
• CompressedSNARK
• ProverKey
• PublicParams
• RecursiveSNARK
• ResourceBuffer
• VerifierKey
• gadgets::ecc::AllocatedPoint
• gadgets::ecc::AllocatedPointNonInfinity
• provider::Bn256Engine
• provider::Bn256EngineZM
• provider::GrumpkinEngine
• provider::PallasEngine
• provider::Secp256k1Engine
• provider::Secq256k1Engine
• provider::VestaEngine
• provider::ipa_pc::EvaluationEngine
• provider::ipa_pc::InnerProductArgument
• provider::ipa_pc::InnerProductInstance
• provider::ipa_pc::ProverKey
• provider::ipa_pc::VerifierKey
• provider::non_hiding_zeromorph::ZMCommitment
• provider::non_hiding_zeromorph::ZMEvaluation
• provider::non_hiding_zeromorph::ZMPCS
• provider::non_hiding_zeromorph::ZMProof
• provider::non_hiding_zeromorph::ZMProverKey
• provider::non_hiding_zeromorph::ZMVerifierKey
• r1cs::R1CSInstance
• r1cs::R1CSResult
• r1cs::R1CSShape
• r1cs::R1CSWitness
• r1cs::RelaxedR1CSInstance
• r1cs::RelaxedR1CSWitness
• spartan::PolyEvalInstance
• spartan::PolyEvalWitness
• spartan::batched::BatchedRelaxedR1CSSNARK
• spartan::batched::ProverKey
• spartan::batched::VerifierKey
• spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK
• spartan::batched_ppsnark::ProverKey
• spartan::batched_ppsnark::VerifierKey
• spartan::direct::DirectSNARK
• spartan::direct::ProverKey
• spartan::direct::VerifierKey
• spartan::ppsnark::ProverKey
• spartan::ppsnark::R1CSShapeSparkCommitment
• spartan::ppsnark::R1CSShapeSparkRepr
• spartan::ppsnark::RelaxedR1CSSNARK
• spartan::ppsnark::VerifierKey
• spartan::snark::ProverKey
• spartan::snark::RelaxedR1CSSNARK
• spartan::snark::VerifierKey
• supernova::AuxParams
• supernova::CircuitDigests
• supernova::PublicParams
• supernova::RecursiveSNARK
• supernova::snark::CompressedSNARK
• supernova::snark::ProverKey
• supernova::snark::VerifierKey
• traits::circuit::TrivialCircuit
• traits::circuit_supernova::TrivialSecondaryCircuit
• traits::circuit_supernova::TrivialTestCircuit

Enums

• errors::NovaError
• errors::PCSError
• supernova::error::SuperNovaError

Traits

• spartan::ppsnark::SumcheckEngine
• supernova::InitialProgramCounter
• supernova::NonUniformCircuit
• traits::AbsorbInROTrait
• traits::Engine
• traits::Group
• traits::PrimeFieldExt
• traits::ROCircuitTrait
• traits::ROTrait
• traits::TranscriptEngineTrait
• traits::TranscriptReprTrait
• traits::circuit::StepCircuit
• traits::circuit_supernova::EnforcingStepCircuit
• traits::circuit_supernova::StepCircuit
• traits::commitment::CommitmentEngineTrait
• traits::commitment::CommitmentTrait
• traits::commitment::Len
• traits::commitment::ScalarMul
• traits::evaluation::EvaluationEngineTrait
• traits::snark::BatchedRelaxedR1CSSNARKTrait
• traits::snark::DigestHelperTrait
• traits::snark::RelaxedR1CSSNARKTrait

Macros

• impl_traits
• zip_with
• zip_with_for_each

Functions

• circuit_digest
• provider::non_hiding_zeromorph::trim
• r1cs::commitment_key
• r1cs::commitment_key_size
• r1cs::default_T
• spartan::compute_eval_table_sparse
• supernova::circuit_digest
• traits::snark::default_ck_hint

Type Aliases

• r1cs::CommitmentKeyHint
• traits::ROConstants
• traits::ROConstantsCircuit

Constants

• constants::NUM_HASH_BITS