List of all items

Structs

• digest::DigestComputer
• frontend::LinearCombination
• frontend::Namespace
• frontend::Variable
• frontend::gadgets::boolean::AllocatedBit
• frontend::gadgets::multieq::MultiEq
• frontend::gadgets::num::AllocatedNum
• frontend::gadgets::num::Num
• frontend::gadgets::poseidon::IOPattern
• frontend::gadgets::poseidon::PoseidonConstants
• frontend::gadgets::poseidon::Sponge
• frontend::gadgets::poseidon::SpongeCircuit
• frontend::gadgets::uint32::UInt32
• frontend::shape_cs::ShapeCS
• frontend::test_shape_cs::TestShapeCS
• frontend::util_cs::witness_cs::WitnessCS
• gadgets::ecc::AllocatedNonnativePoint
• gadgets::ecc::AllocatedPoint
• gadgets::ecc::AllocatedPointNonInfinity
• gadgets::nonnative::bignat::BigNat
• gadgets::nonnative::bignat::BigNatParams
• gadgets::nonnative::bignat::Polynomial
• gadgets::nonnative::util::Bit
• gadgets::nonnative::util::Bitvector
• gadgets::nonnative::util::Num
• nova::CompressedSNARK
• nova::ProverKey
• nova::PublicParams
• nova::RecursiveSNARK
• nova::VerifierKey
• nova::nifs::NIFS
• nova::nifs::NIFSRelaxed
• provider::Bn256EngineIPA
• provider::Bn256EngineKZG
• provider::GrumpkinEngine
• provider::PallasEngine
• provider::Secp256k1Engine
• provider::Secq256k1Engine
• provider::VestaEngine
• provider::bn256_grumpkin::bn256::Affine
• provider::bn256_grumpkin::bn256::Base
• provider::bn256_grumpkin::bn256::Point
• provider::bn256_grumpkin::bn256::Scalar
• provider::bn256_grumpkin::grumpkin::Affine
• provider::bn256_grumpkin::grumpkin::Base
• provider::bn256_grumpkin::grumpkin::Point
• provider::bn256_grumpkin::grumpkin::Scalar
• provider::hyperkzg::Commitment
• provider::hyperkzg::CommitmentEngine
• provider::hyperkzg::CommitmentKey
• provider::hyperkzg::DerandKey
• provider::hyperkzg::EvaluationArgument
• provider::hyperkzg::EvaluationEngine
• provider::hyperkzg::ProverKey
• provider::hyperkzg::VerifierKey
• provider::ipa_pc::EvaluationEngine
• provider::ipa_pc::InnerProductArgument
• provider::ipa_pc::InnerProductInstance
• provider::ipa_pc::ProverKey
• provider::ipa_pc::VerifierKey
• provider::mercury::EvaluationArgument
• provider::mercury::EvaluationEngine
• provider::pasta::pallas::Affine
• provider::pasta::pallas::Base
• provider::pasta::pallas::Point
• provider::pasta::pallas::Scalar
• provider::pasta::vesta::Affine
• provider::pasta::vesta::Base
• provider::pasta::vesta::Point
• provider::pasta::vesta::Scalar
• provider::poseidon::PoseidonConstantsCircuit
• provider::poseidon::PoseidonRO
• provider::poseidon::PoseidonROCircuit
• provider::secp_secq::secp256k1::Affine
• provider::secp_secq::secp256k1::Base
• provider::secp_secq::secp256k1::Point
• provider::secp_secq::secp256k1::Scalar
• provider::secp_secq::secq256k1::Affine
• provider::secp_secq::secq256k1::Base
• provider::secp_secq::secq256k1::Point
• provider::secp_secq::secq256k1::Scalar
• r1cs::R1CSInstance
• r1cs::R1CSShape
• r1cs::R1CSWitness
• r1cs::RelaxedR1CSInstance
• r1cs::RelaxedR1CSWitness
• r1cs::SparseMatrix
• spartan::PolyEvalInstance
• spartan::PolyEvalWitness
• spartan::direct::DirectCircuit
• spartan::direct::DirectSNARK
• spartan::direct::ProverKey
• spartan::direct::VerifierKey
• spartan::polys::eq::EqPolynomial
• spartan::polys::identity::IdentityPolynomial
• spartan::polys::masked_eq::MaskedEqPolynomial
• spartan::polys::multilinear::MultilinearPolynomial
• spartan::polys::multilinear::SparsePolynomial
• spartan::polys::power::PowPolynomial
• spartan::polys::univariate::CompressedUniPoly
• spartan::polys::univariate::UniPoly
• spartan::ppsnark::MemorySumcheckInstance
• spartan::ppsnark::OuterSumcheckInstance
• spartan::ppsnark::ProverKey
• spartan::ppsnark::R1CSShapeSparkCommitment
• spartan::ppsnark::R1CSShapeSparkRepr
• spartan::ppsnark::RelaxedR1CSSNARK
• spartan::ppsnark::VerifierKey
• spartan::ppsnark::WitnessBoundSumcheck
• spartan::snark::ProverKey
• spartan::snark::RelaxedR1CSSNARK
• spartan::snark::VerifierKey
• spartan::sumcheck::SumcheckProof
• traits::circuit::NonTrivialCircuit
• traits::circuit::TrivialCircuit
• traits::evm_serde::EvmCompatSerde

Enums

• errors::NovaError
• frontend::Index
• frontend::SynthesisError
• frontend::gadgets::boolean::Boolean
• frontend::gadgets::poseidon::Elt
• frontend::gadgets::poseidon::PoseidonError
• frontend::gadgets::poseidon::SpongeOp
• frontend::gadgets::poseidon::Strength

Traits

• digest::Digestible
• digest::SimpleDigestible
• frontend::Circuit
• frontend::ConstraintSystem
• frontend::gadgets::Assignment
• frontend::gadgets::poseidon::SpongeAPI
• frontend::gadgets::poseidon::SpongeTrait
• frontend::r1cs::NovaShape
• frontend::r1cs::NovaWitness
• frontend::util_cs::witness_cs::SizedWitness
• spartan::math::Math
• spartan::sumcheck::SumcheckEngine
• traits::AbsorbInRO2Trait
• traits::AbsorbInROTrait
• traits::Engine
• traits::Group
• traits::PrimeFieldExt
• traits::ROCircuitTrait
• traits::ROTrait
• traits::TranscriptEngineTrait
• traits::TranscriptReprTrait
• traits::circuit::StepCircuit
• traits::commitment::CommitmentEngineTrait
• traits::commitment::CommitmentTrait
• traits::commitment::Len
• traits::commitment::ScalarMul
• traits::evaluation::EvaluationEngineTrait
• traits::evm_serde::CustomSerdeTrait
• traits::snark::DigestHelperTrait
• traits::snark::RelaxedR1CSSNARKTrait

Macros

• impl_traits
• impl_traits_no_dlog_ext
• zip_with
• zip_with_for_each

Functions

• frontend::gadgets::boolean::field_into_allocated_bits_le
• frontend::gadgets::sha256::sha256
• frontend::gadgets::sha256::sha256_compression_function
• gadgets::nonnative::bignat::limbs_to_nat
• gadgets::nonnative::bignat::nat_to_limbs
• gadgets::nonnative::util::f_to_nat
• gadgets::nonnative::util::nat_to_f
• gadgets::utils::alloc_bignat_constant
• gadgets::utils::alloc_num_equals
• gadgets::utils::alloc_one
• gadgets::utils::alloc_scalar_as_base
• gadgets::utils::alloc_zero
• gadgets::utils::base_as_scalar
• gadgets::utils::conditionally_select
• gadgets::utils::conditionally_select2
• gadgets::utils::conditionally_select_bignat
• gadgets::utils::conditionally_select_vec
• gadgets::utils::field_switch
• gadgets::utils::le_bits_to_num
• gadgets::utils::scalar_as_base
• gadgets::utils::select_num_or_one
• gadgets::utils::select_num_or_zero
• gadgets::utils::select_num_or_zero2
• gadgets::utils::select_one_or_diff2
• gadgets::utils::select_one_or_num2
• gadgets::utils::select_zero_or_num2
• gadgets::utils::to_bignat_repr
• provider::check_sanity_of_ptau_file
• provider::read_ptau
• provider::write_ptau
• spartan::compute_eval_table_sparse
• spartan::polys::univariate::div_f
• spartan::polys::univariate::gaussian_elimination
• spartan::powers
• traits::snark::default_ck_hint

Type Aliases

• frontend::solver::SatisfyingAssignment
• r1cs::CommitmentKeyHint
• traits::RO2Constants
• traits::RO2ConstantsCircuit
• traits::ROConstants
• traits::ROConstantsCircuit

Constants

• constants::BN_LIMB_WIDTH
• constants::BN_N_LIMBS
• constants::NUM_CHALLENGE_BITS
• constants::NUM_HASH_BITS