List of all items

Structs

• algebra::field::emulated::Bounds
• algebra::field::emulated::LimbedVar
• algebra::group::emulated::EmulatedAffineVar
• algebra::ops::matrix::SparseMatrixVar
• arithmetizations::ArithConfig
• arithmetizations::r1cs::R1CS
• arithmetizations::r1cs::RelaxedInstance
• arithmetizations::r1cs::RelaxedWitness
• arithmetizations::r1cs::circuits::R1CSMatricesVar
• circuits::Assignments
• circuits::ConstraintSystemExt
• circuits::utils::CircuitForTest
• commitments::pedersen::Pedersen
• commitments::pedersen::PedersenEmulatedGadget
• commitments::pedersen::PedersenEmulatedKeyVar
• commitments::pedersen::PedersenGadget
• commitments::pedersen::PedersenKey
• commitments::pedersen::PedersenKeyVar
• transcripts::griffin::Griffin
• transcripts::griffin::GriffinGadget
• transcripts::griffin::GriffinParams
• transcripts::griffin::sponge::GriffinSponge
• transcripts::griffin::sponge::GriffinSpongeVar
• transcripts::recording::RecordingTranscript
• transcripts::recording::RecordingTranscriptVar
• transcripts::replay::ReplayTranscript
• transcripts::replay::ReplayTranscriptVar
• utils::null::Null

Enums

• arithmetizations::Error
• commitments::Error

Traits

• algebra::Val
• algebra::field::SonobeField
• algebra::field::TwoStageFieldVar
• algebra::group::SonobeCurve
• algebra::ops::bits::FromBits
• algebra::ops::bits::FromBitsGadget
• algebra::ops::bits::ToBitsGadgetExt
• algebra::ops::eq::EquivalenceGadget
• algebra::ops::matrix::MatrixGadget
• algebra::ops::poly::EvaluationDomainGadget
• algebra::ops::poly::MLEHelper
• algebra::ops::pow::Pow
• algebra::ops::pow::PowGadget
• algebra::ops::rlc::ScalarRLC
• algebra::ops::rlc::SliceRLC
• algebra::ops::vector::VectorGadget
• arithmetizations::Arith
• arithmetizations::ArithRelation
• arithmetizations::ArithRelationGadget
• arithmetizations::ccs::CCS
• circuits::FCircuit
• circuits::WitnessToPublic
• commitments::CommitmentDef
• commitments::CommitmentDefGadget
• commitments::CommitmentKey
• commitments::CommitmentOps
• commitments::CommitmentOpsGadget
• commitments::GroupBasedCommitment
• relations::Relation
• relations::RelationGadget
• relations::WitnessInstanceSampler
• traits::Dummy
• traits::Inputize
• traits::InputizeEmulated
• transcripts::Transcript
• transcripts::TranscriptGadget
• transcripts::absorbable::Absorbable
• transcripts::absorbable::AbsorbableVar

Functions

• circuits::utils::constraints_for_test
• circuits::utils::satisfying_assignments_for_test
• transcripts::poseidon::poseidon_circom_config
• transcripts::poseidon::poseidon_paper_config

Type Aliases

• algebra::field::emulated::EmulatedFieldVar
• algebra::field::emulated::EmulatedIntVar
• algebra::group::CF1
• algebra::group::CF2
• circuits::ArithExtractor
• circuits::AssignmentsExtractor
• circuits::AssignmentsOwned