List of all items

Structs

• bellpepper::r1cs::MultiRoundState
• bellpepper::r1cs::PrecommittedState
• bellpepper::shape_cs::ShapeCS
• bellpepper::solver::SatisfyingAssignment
• bellpepper::test_shape_cs::TestShapeCS
• neutronnova_zk::NeutronNovaNIFS
• neutronnova_zk::NeutronNovaPrepZkSNARK
• neutronnova_zk::NeutronNovaProverKey
• neutronnova_zk::NeutronNovaVerifierKey
• neutronnova_zk::NeutronNovaZkSNARK
• provider::P256HyraxEngine
• provider::PallasHyraxEngine
• provider::T256HyraxEngine
• provider::VestaHyraxEngine
• provider::keccak::Keccak256Transcript
• 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::pcs::hyrax_pc::HyraxBlind
• provider::pcs::hyrax_pc::HyraxCommitment
• provider::pcs::hyrax_pc::HyraxCommitmentKey
• provider::pcs::hyrax_pc::HyraxEvaluationArgument
• provider::pcs::hyrax_pc::HyraxPCS
• provider::pcs::hyrax_pc::HyraxVerifierKey
• provider::pcs::ipa::InnerProductArgumentLinear
• provider::pcs::ipa::InnerProductInstance
• provider::pcs::ipa::InnerProductWitness
• provider::pt256::p256::Affine
• provider::pt256::p256::Base
• provider::pt256::p256::Point
• provider::pt256::p256::Scalar
• provider::pt256::t256::Affine
• provider::pt256::t256::Base
• provider::pt256::t256::Point
• provider::pt256::t256::Scalar
• spartan::SpartanPrepSNARK
• spartan::SpartanProverKey
• spartan::SpartanSNARK
• spartan::SpartanVerifierKey
• spartan_zk::SpartanPrepZkSNARK
• spartan_zk::SpartanProverKey
• spartan_zk::SpartanVerifierKey
• spartan_zk::SpartanZkSNARK
• sumcheck::SumcheckProof

Enums

• errors::SpartanError

Traits

• bellpepper::r1cs::MultiRoundSpartanShape
• bellpepper::r1cs::MultiRoundSpartanWitness
• bellpepper::r1cs::RerandomizationTrait
• bellpepper::r1cs::SpartanShape
• bellpepper::r1cs::SpartanWitness
• bellpepper::test_r1cs::TestSpartanShape
• bellpepper::test_r1cs::TestSpartanWitness
• provider::traits::DlogGroup
• provider::traits::DlogGroupExt
• provider::traits::GroupOps
• provider::traits::GroupOpsOwned
• provider::traits::ScalarMul
• provider::traits::ScalarMulOwned
• traits::Engine
• traits::Group
• traits::PrimeFieldExt
• traits::circuit::MultiRoundCircuit
• traits::circuit::SpartanCircuit
• traits::pcs::CommitmentTrait
• traits::pcs::FoldingEngineTrait
• traits::pcs::PCSEngineTrait
• traits::snark::DigestHelperTrait
• traits::snark::R1CSSNARKTrait
• traits::transcript::TranscriptEngineTrait
• traits::transcript::TranscriptReprTrait

Macros

• impl_traits
• impl_traits_no_dlog_ext
• zip_with
• zip_with_for_each

Type Aliases

• traits::snark::SpartanDigest