List of all items[−]
Structs
- AllocatedBit
- AllocatedFp
- Ancestors
- BW6_761G1Parameters
- BW6_761Parameters
- BatchLCProof
- Blake2s
- Blake2sCommitment
- Bls12_377G1Parameters
- Bls12_377G2Parameters
- Bls12_377Parameters
- BooleanInputGadget
- BoweHopwoodPedersenCRH
- BoweHopwoodPedersenCRHParameters
- BoweHopwoodPedersenCompressedCRH
- CommitmentMerklePath
- CommitmentMerkleTree
- ConstraintCounter
- DensePolynomial
- EdwardsParameters
- Elligator2
- EvaluationDomain
- Evaluations
- EvaluationsVar
- FixedBaseMSM
- Fp12
- Fp12Gadget
- Fp2
- Fp256
- Fp2Gadget
- Fp3
- Fp384
- Fp6Gadget
- Fp768
- Fq12Parameters
- Fq2Parameters
- Fq3Parameters
- Fq6Parameters
- FqParameters
- FrParameters
- GroupEncryption
- GroupEncryptionParameters
- GroupEncryptionPublicKey
- Int128
- Int16
- Int32
- Int64
- Int8
- LabeledCommitment
- LabeledPointVar
- LabeledPolynomial
- LinearCombination
- LinearCombinationVar
- MerklePath
- MerkleTree
- Namespace
- OptionalVec
- PCCheckRandomDataVar
- PedersenCRH
- PedersenCRHParameters
- PedersenCommitment
- PedersenCommitmentParameters
- PedersenCompressedCRH
- PedersenCompressedCommitment
- Polynomial
- QuerySetVar
- Schnorr
- SchnorrParameters
- SchnorrPublicKey
- SchnorrSignature
- SparsePolynomial
- TestConstraintSystem
- UInt128
- UInt16
- UInt32
- UInt64
- UInt8
- Variable
- VariableBaseMSM
- bits::AllocatedBit
- bits::BooleanInputGadget
- bits::boolean::AllocatedBit
- bits::boolean_input::BooleanInputGadget
- blake2s::Blake2s
- blake2s::Blake2sCommitment
- bowe_hopwood_pedersen::BoweHopwoodPedersenCRH
- bowe_hopwood_pedersen_compressed::BoweHopwoodPedersenCompressedCRH
- bowe_hopwood_pedersen_parameters::BoweHopwoodPedersenCRHParameters
- commitment_path::CommitmentMerklePath
- commitment_tree::CommitmentMerkleTree
- data_structures::LabeledCommitment
- data_structures::LabeledPolynomial
- data_structures::LinearCombination
- data_structures::Polynomial
- domain::Elements
- domain::EvaluationDomain
- elligator2::Elligator2
- evaluations::Evaluations
- fields::AllocatedFp
- fields::Fp12Gadget
- fields::Fp2Gadget
- fields::Fp6Gadget
- fields::fp12::Fp12Gadget
- fields::fp2::Fp2Gadget
- fields::fp6_3over2::Fp6Gadget
- fields::fp::AllocatedFp
- fixed_base::FixedBaseMSM
- fp6_2over3::Fp6
- fp6_3over2::Fp6
- fq12::Fq12Parameters
- fq2::Fq2Parameters
- fq3::Fq3Parameters
- fq6::Fq6Parameters
- fq::FqParameters
- fr::FrParameters
- g1::BW6_761G1Parameters
- g1::Bls12_377G1Parameters
- g2::Bls12_377G2Parameters
- gm17::GM17
- gm17::KeypairAssembly
- gm17::PreparedVerifyingKey
- gm17::Proof
- gm17::ProvingAssignment
- gm17::ProvingKey
- gm17::VerifyingKey
- gm17::snark::GM17
- groth16::Groth16
- groth16::KeypairAssembly
- groth16::PreparedVerifyingKey
- groth16::Proof
- groth16::ProvingAssignment
- groth16::ProvingKey
- groth16::VerifyingKey
- groth16::snark::Groth16
- group::GroupEncryption
- group::GroupEncryptionPublicKey
- group_parameters::GroupEncryptionParameters
- integers::Int128
- integers::Int16
- integers::Int32
- integers::Int64
- integers::Int8
- integers::UInt128
- integers::UInt16
- integers::UInt32
- integers::UInt64
- integers::UInt8
- integers::int::Int128
- integers::int::Int16
- integers::int::Int32
- integers::int::Int64
- integers::int::Int8
- integers::int::int_impl::Int128
- integers::int::int_impl::Int16
- integers::int::int_impl::Int32
- integers::int::int_impl::Int64
- integers::int::int_impl::Int8
- integers::uint::UInt128
- integers::uint::UInt16
- integers::uint::UInt32
- integers::uint::UInt64
- integers::uint::UInt8
- integers::uint::uint128::UInt128
- integers::uint::uint_impl::UInt16
- integers::uint::uint_impl::UInt32
- integers::uint::uint_impl::UInt64
- integers::uint::uint_impl::UInt8
- kzg10::Commitment
- kzg10::KZG10
- kzg10::Powers
- kzg10::PreparedCommitment
- kzg10::PreparedVerifierKey
- kzg10::Proof
- kzg10::Randomness
- kzg10::UniversalParams
- kzg10::VerifierKey
- marlin_pc::Commitment
- marlin_pc::CommitterKey
- marlin_pc::MarlinKZG10
- marlin_pc::PreparedCommitment
- marlin_pc::PreparedVerifierKey
- marlin_pc::Randomness
- marlin_pc::VerifierKey
- marlin_pc::commitment::commitment::CommitmentVar
- marlin_pc::commitment::labeled_commitment::LabeledCommitmentVar
- marlin_pc::commitment::prepared_commitment::PreparedCommitmentVar
- marlin_pc::commitment::prepared_labeled_commitment::PreparedLabeledCommitmentVar
- marlin_pc::marlin_kzg10::MarlinKZG10Gadget
- marlin_pc::proof::ProofVar
- marlin_pc::proof::batch_lc_proof::BatchLCProofVar
- marlin_pc::proof::proof::ProofVar
- marlin_pc::verifier_key::prepared_verifier_key::PreparedVerifierKeyVar
- marlin_pc::verifier_key::verifier_key::VerifierKeyVar
- merkle_path::MerklePath
- merkle_tree::Ancestors
- merkle_tree::MerkleTree
- nonnative::AllocatedNonNativeFieldMulResultVar
- nonnative::AllocatedNonNativeFieldVar
- nonnative::NonNativeFieldInputVar
- nonnative::NonNativeFieldParams
- optional_rng::OptionalRng
- parameters::BW6_761Parameters
- parameters::Bls12_377Parameters
- parameters::EdwardsParameters
- pedersen::PedersenCRH
- pedersen::PedersenCommitment
- pedersen_compressed::PedersenCompressedCRH
- pedersen_compressed::PedersenCompressedCommitment
- pedersen_parameters::PedersenCRHParameters
- pedersen_parameters::PedersenCommitmentParameters
- polynomial::DensePolynomial
- polynomial::SparsePolynomial
- prelude::AllocatedBit
- prelude::AllocatedFp
- prelude::BooleanInputGadget
- prelude::Fp12Gadget
- prelude::Fp2Gadget
- prelude::Fp6Gadget
- prelude::Int128
- prelude::Int16
- prelude::Int32
- prelude::Int64
- prelude::Int8
- prelude::UInt128
- prelude::UInt16
- prelude::UInt32
- prelude::UInt64
- prelude::UInt8
- schnorr::Schnorr
- schnorr::SchnorrPublicKey
- schnorr::SchnorrSignature
- schnorr_parameters::SchnorrParameters
- sonic_pc::BatchProof
- sonic_pc::CommitterKey
- sonic_pc::SonicKZG10
- sonic_pc::VerifierKey
- variable_base::VariableBaseMSM
Enums
- Boolean
- ConstraintFieldError
- ConstraintVariable
- DenseOrSparsePolynomial
- Error
- FieldError
- FpGadget
- Index
- LCTerm
- LegendreSymbol
- LinearCombinationCoeffVar
- SignedIntegerError
- SynthesisError
- UnsignedIntegerError
- bits::Boolean
- bits::boolean::Boolean
- data_structures::LCTerm
- error::Error
- errors::SignedIntegerError
- errors::SynthesisError
- errors::UnsignedIntegerError
- errors::signed_integer::SignedIntegerError
- errors::synthesis::SynthesisError
- errors::unsigned_integer::UnsignedIntegerError
- fields::FpGadget
- fields::fp::FpGadget
- nonnative::NonNativeFieldMulResultVar
- nonnative::NonNativeFieldVar
- nonnative::params::OptimizationType
- polynomial::DenseOrSparsePolynomial
- prelude::Boolean
- prelude::FpGadget
- prelude::SignedIntegerError
- prelude::UnsignedIntegerError
Traits
- Add
- AllocBytesGadget
- AllocGadget
- Assignment
- CRHGadget
- CommitmentGadget
- ComparatorGadget
- CompressedGroupGadget
- CondSelectGadget
- ConditionalEqGadget
- ConditionalOrEqualsGadget
- ConstraintSynthesizer
- ConstraintSystem
- Div
- DomainCoeff
- EncryptionGadget
- EqGadget
- EvaluateEqGadget
- EvaluateLtGadget
- FftField
- FftParameters
- Field
- FieldGadget
- FieldParameters
- Fp12Parameters
- Fp256Parameters
- Fp2Parameters
- Fp384Parameters
- Fp3Parameters
- Fp768Parameters
- FromFieldElementsGadget
- FullAdder
- GroupGadget
- Integer
- MaskedCRHGadget
- Mul
- NEqGadget
- Neg
- One
- OrEqualsGadget
- PCCheckVar
- PCCommitment
- PCCommitterKey
- PCPreparedCommitment
- PCPreparedVerifierKey
- PCProof
- PCRandomness
- PCUniversalParams
- PCVerifierKey
- PRFGadget
- PairingGadget
- PolynomialCommitment
- PoseidonMDSField
- PoseidonMDSParameters
- Pow
- PrepareGadget
- PrimeField
- RippleCarryAdder
- SNARKGadget
- SNARKVerifierGadget
- SignExtend
- SignaturePublicKeyRandomizationGadget
- SquareRootField
- ThreeBitCondNegLookupGadget
- ToBitsBEGadget
- ToBitsLEGadget
- ToBytesGadget
- ToConstraintField
- ToConstraintFieldGadget
- TwoBitLookupGadget
- UInt
- Xor
- Zero
- bits::ToBitsBEGadget
- bits::ToBitsLEGadget
- bits::ToBytesGadget
- bits::to_bits::ToBitsBEGadget
- bits::to_bits::ToBitsLEGadget
- bits::to_bytes::ToBytesGadget
- data_structures::PCCommitment
- data_structures::PCCommitterKey
- data_structures::PCPreparedCommitment
- data_structures::PCPreparedVerifierKey
- data_structures::PCProof
- data_structures::PCRandomness
- data_structures::PCUniversalParams
- data_structures::PCVerifierKey
- fp6_2over3::Fp6Parameters
- fp6_3over2::Fp6Parameters
- integers::Sub
- integers::UInt
- integers::uint::Sub
- integers::uint::UInt
- integers::uint::arithmetic::Sub
- integers::uint::arithmetic::sub::Sub
- integers::uint::uint_impl::UInt
- prelude::Add
- prelude::AllocBytesGadget
- prelude::AllocGadget
- prelude::CRHGadget
- prelude::CommitmentGadget
- prelude::ComparatorGadget
- prelude::CompressedGroupGadget
- prelude::CondSelectGadget
- prelude::ConditionalEqGadget
- prelude::ConditionalOrEqualsGadget
- prelude::Div
- prelude::EncryptionGadget
- prelude::EqGadget
- prelude::EvaluateEqGadget
- prelude::EvaluateLtGadget
- prelude::FieldGadget
- prelude::FromFieldElementsGadget
- prelude::FullAdder
- prelude::GroupGadget
- prelude::Integer
- prelude::MaskedCRHGadget
- prelude::Mul
- prelude::NEqGadget
- prelude::Neg
- prelude::OrEqualsGadget
- prelude::PRFGadget
- prelude::PairingGadget
- prelude::Pow
- prelude::RippleCarryAdder
- prelude::SNARKGadget
- prelude::SNARKVerifierGadget
- prelude::SignExtend
- prelude::SignaturePublicKeyRandomizationGadget
- prelude::ThreeBitCondNegLookupGadget
- prelude::ToBitsBEGadget
- prelude::ToBitsLEGadget
- prelude::ToBytesGadget
- prelude::ToConstraintFieldGadget
- prelude::TwoBitLookupGadget
- prelude::UInt
- prelude::Xor
- traits::Add
- traits::AllocBytesGadget
- traits::AllocGadget
- traits::CRHGadget
- traits::CommitmentGadget
- traits::ComparatorGadget
- traits::CompressedGroupGadget
- traits::CondSelectGadget
- traits::ConditionalEqGadget
- traits::ConditionalOrEqualsGadget
- traits::Div
- traits::EncryptionGadget
- traits::EqGadget
- traits::EvaluateEqGadget
- traits::EvaluateLtGadget
- traits::FieldGadget
- traits::FromFieldElementsGadget
- traits::FullAdder
- traits::GroupGadget
- traits::Integer
- traits::MaskedCRHGadget
- traits::Mul
- traits::NEqGadget
- traits::Neg
- traits::OrEqualsGadget
- traits::PRFGadget
- traits::PairingGadget
- traits::Pow
- traits::RippleCarryAdder
- traits::SNARKGadget
- traits::SNARKVerifierGadget
- traits::SignExtend
- traits::SignaturePublicKeyRandomizationGadget
- traits::Sub
- traits::ThreeBitCondNegLookupGadget
- traits::ToConstraintFieldGadget
- traits::TwoBitLookupGadget
- traits::Xor
- traits::algorithms::CRHGadget
- traits::algorithms::CommitmentGadget
- traits::algorithms::EncryptionGadget
- traits::algorithms::MaskedCRHGadget
- traits::algorithms::PRFGadget
- traits::algorithms::SNARKGadget
- traits::algorithms::SNARKVerifierGadget
- traits::algorithms::SignaturePublicKeyRandomizationGadget
- traits::algorithms::commitment::CommitmentGadget
- traits::algorithms::crh::CRHGadget
- traits::algorithms::crh::MaskedCRHGadget
- traits::algorithms::encryption::EncryptionGadget
- traits::algorithms::prf::PRFGadget
- traits::algorithms::signature::SignaturePublicKeyRandomizationGadget
- traits::algorithms::snark::SNARKGadget
- traits::algorithms::snark::SNARKVerifierGadget
- traits::alloc::AllocBytesGadget
- traits::alloc::AllocGadget
- traits::bits::ComparatorGadget
- traits::bits::EvaluateLtGadget
- traits::bits::FullAdder
- traits::bits::RippleCarryAdder
- traits::bits::SignExtend
- traits::bits::Xor
- traits::bits::adder::FullAdder
- traits::bits::comparator::ComparatorGadget
- traits::bits::comparator::EvaluateLtGadget
- traits::bits::rca::RippleCarryAdder
- traits::bits::sign_extend::SignExtend
- traits::bits::xor::Xor
- traits::curves::CompressedGroupGadget
- traits::curves::GroupGadget
- traits::curves::PairingGadget
- traits::curves::group::CompressedGroupGadget
- traits::curves::group::GroupGadget
- traits::curves::pairing::PairingGadget
- traits::eq::ConditionalEqGadget
- traits::eq::ConditionalOrEqualsGadget
- traits::eq::EqGadget
- traits::eq::EvaluateEqGadget
- traits::eq::NEqGadget
- traits::eq::OrEqualsGadget
- traits::fields::FieldGadget
- traits::fields::FromFieldElementsGadget
- traits::fields::ToConstraintFieldGadget
- traits::fields::field::FieldGadget
- traits::fields::from_field_elements::FromFieldElementsGadget
- traits::fields::to_constraint_field::ToConstraintFieldGadget
- traits::integers::Add
- traits::integers::Div
- traits::integers::Integer
- traits::integers::Mul
- traits::integers::Neg
- traits::integers::Pow
- traits::integers::Sub
- traits::integers::add::Add
- traits::integers::div::Div
- traits::integers::integer::Integer
- traits::integers::mul::Mul
- traits::integers::neg::Neg
- traits::integers::pow::Pow
- traits::integers::sub::Sub
- traits::select::CondSelectGadget
- traits::select::ThreeBitCondNegLookupGadget
- traits::select::TwoBitLookupGadget
Macros
Functions
- batch_inversion
- double_sha256
- evaluate_query_set
- gm17::create_proof
- gm17::create_random_proof
- gm17::generate_parameters
- gm17::generate_random_parameters
- gm17::prepare_verifying_key
- gm17::verify_proof
- groth16::create_proof
- groth16::create_proof_no_zk
- groth16::create_random_proof
- groth16::generate_parameters
- groth16::generate_random_parameters
- groth16::prepare_verifying_key
- groth16::verify_proof
- nonnative::params::find_parameters
- nonnative::params::get_params
- prng
- sha256
- sha256::double_sha256
- sha256::sha256
- sha256::sha256d_to_u64
- sha256d_to_u64
- tests_field::fft_field_test
- tests_field::field_serialization_test
- tests_field::field_test
- tests_field::frobenius_test
- tests_field::primefield_test
- tests_field::sqrt_field_test
Typedefs
- BW6_761
- Bls12_377
- EdwardsAffine
- EdwardsProjective
- Evaluations
- Fq
- Fq12
- Fq2
- Fq3
- Fq6
- Fr
- G1Affine
- G1Projective
- G2Affine
- G2Projective
- MerkleTreeDigest
- PolynomialLabel
- QuerySet
- SynthesisResult
- data_structures::PolynomialLabel
- errors::SynthesisResult
- errors::synthesis::SynthesisResult
- fq12::Fq12
- fq2::Fq2
- fq3::Fq3
- fq6::Fq6
- fq::Fq
- fr::Fr
- marlin_pc::UniversalParams
- merkle_path::MerkleTreeDigest
- parameters::BW6_761
- parameters::Bls12_377
- parameters::EdwardsAffine
- parameters::EdwardsProjective
- parameters::G1Affine
- parameters::G1Projective
- parameters::G2Affine
- parameters::G2Projective
- sonic_pc::Commitment
- sonic_pc::PreparedCommitment
- sonic_pc::PreparedVerifierKey
- sonic_pc::Randomness
- sonic_pc::UniversalParams
Constants
- BOWE_HOPWOOD_CHUNK_SIZE
- BOWE_HOPWOOD_LOOKUP_SIZE
- G1_GENERATOR_X
- G1_GENERATOR_Y
- G2_GENERATOR_X
- G2_GENERATOR_X_C0
- G2_GENERATOR_X_C1
- G2_GENERATOR_Y
- G2_GENERATOR_Y_C0
- G2_GENERATOR_Y_C1
- bowe_hopwood_pedersen_parameters::BOWE_HOPWOOD_CHUNK_SIZE
- bowe_hopwood_pedersen_parameters::BOWE_HOPWOOD_LOOKUP_SIZE
- g1::G1_GENERATOR_X
- g1::G1_GENERATOR_Y
- g2::G2_GENERATOR_X
- g2::G2_GENERATOR_X_C0
- g2::G2_GENERATOR_X_C1
- g2::G2_GENERATOR_Y
- g2::G2_GENERATOR_Y_C0
- g2::G2_GENERATOR_Y_C1
- tests_field::ITERATIONS