List of all items

Structs

• batch_fri::oracle::BatchFriOracle
• field::extension::algebra::ExtensionAlgebra
• field::extension::algebra::PolynomialCoeffsAlgebra
• field::extension::quadratic::QuadraticExtension
• field::extension::quartic::QuarticExtension
• field::extension::quintic::QuinticExtension
• field::goldilocks_field::GoldilocksField
• field::polynomial::PolynomialCoeffs
• field::polynomial::PolynomialValues
• field::secp256k1_base::Secp256K1Base
• field::secp256k1_scalar::Secp256K1Scalar
• field::types::Powers
• field::zero_poly_coset::ZeroPolyOnCoset
• fri::FriConfig
• fri::FriParams
• fri::oracle::PolynomialBatch
• fri::proof::CompressedFriProof
• fri::proof::CompressedFriQueryRounds
• fri::proof::FriChallenges
• fri::proof::FriChallengesTarget
• fri::proof::FriInitialTreeProof
• fri::proof::FriInitialTreeProofTarget
• fri::proof::FriProof
• fri::proof::FriProofTarget
• fri::proof::FriQueryRound
• fri::proof::FriQueryRoundTarget
• fri::proof::FriQueryStep
• fri::proof::FriQueryStepTarget
• fri::structure::FriBatchInfo
• fri::structure::FriBatchInfoTarget
• fri::structure::FriInstanceInfo
• fri::structure::FriInstanceInfoTarget
• fri::structure::FriOpeningBatch
• fri::structure::FriOpeningBatchTarget
• fri::structure::FriOpenings
• fri::structure::FriOpeningsTarget
• fri::structure::FriOracleInfo
• fri::structure::FriPolynomialInfo
• gadgets::arithmetic::EqualityGenerator
• gadgets::arithmetic_extension::PowersTarget
• gadgets::arithmetic_extension::QuotientGeneratorExtension
• gadgets::polynomial::PolynomialCoeffsExtAlgebraTarget
• gadgets::polynomial::PolynomialCoeffsExtTarget
• gadgets::range_check::LowHighGenerator
• gadgets::split_base::BaseSumGenerator
• gadgets::split_join::SplitGenerator
• gadgets::split_join::WireSplitGenerator
• gates::arithmetic_base::ArithmeticBaseGenerator
• gates::arithmetic_base::ArithmeticGate
• gates::arithmetic_extension::ArithmeticExtensionGate
• gates::arithmetic_extension::ArithmeticExtensionGenerator
• gates::base_sum::BaseSplitGenerator
• gates::base_sum::BaseSumGate
• gates::constant::ConstantGate
• gates::coset_interpolation::CosetInterpolationGate
• gates::coset_interpolation::InterpolationGenerator
• gates::exponentiation::ExponentiationGate
• gates::exponentiation::ExponentiationGenerator
• gates::gate::CurrentSlot
• gates::gate::GateInstance
• gates::gate::GateRef
• gates::gate::PrefixedGate
• gates::lookup::LookupGate
• gates::lookup::LookupGenerator
• gates::lookup_table::LookupTableGate
• gates::lookup_table::LookupTableGenerator
• gates::multiplication_extension::MulExtensionGate
• gates::multiplication_extension::MulExtensionGenerator
• gates::noop::NoopGate
• gates::poseidon::PoseidonGate
• gates::poseidon::PoseidonGenerator
• gates::poseidon_mds::PoseidonMdsGate
• gates::poseidon_mds::PoseidonMdsGenerator
• gates::public_input::PublicInputGate
• gates::random_access::RandomAccessGate
• gates::random_access::RandomAccessGenerator
• gates::reducing::ReducingGate
• gates::reducing::ReducingGenerator
• gates::reducing_extension::ReducingExtensionGate
• gates::reducing_extension::ReducingGenerator
• gates::util::StridedConstraintConsumer
• hash::batch_merkle_tree::BatchMerkleTree
• hash::hash_types::BytesHash
• hash::hash_types::HashOut
• hash::hash_types::HashOutTarget
• hash::hash_types::MerkleCapTarget
• hash::keccak::KeccakHash
• hash::keccak::KeccakPermutation
• hash::merkle_proofs::MerkleProof
• hash::merkle_proofs::MerkleProofTarget
• hash::merkle_tree::MerkleCap
• hash::merkle_tree::MerkleTree
• hash::poseidon::PoseidonHash
• hash::poseidon::PoseidonPermutation
• iop::challenger::Challenger
• iop::challenger::RecursiveChallenger
• iop::ext_target::ExtensionAlgebraTarget
• iop::ext_target::ExtensionTarget
• iop::generator::ConstantGenerator
• iop::generator::CopyGenerator
• iop::generator::GeneratedValues
• iop::generator::NonzeroTestGenerator
• iop::generator::RandomValueGenerator
• iop::generator::SimpleGeneratorAdapter
• iop::generator::WitnessGeneratorRef
• iop::target::BoolTarget
• iop::wire::Wire
• iop::witness::MatrixWitness
• iop::witness::PartialWitness
• iop::witness::PartitionWitness
• plonk::circuit_builder::CircuitBuilder
• plonk::circuit_builder::LookupWire
• plonk::circuit_data::CircuitConfig
• plonk::circuit_data::CircuitData
• plonk::circuit_data::CommonCircuitData
• plonk::circuit_data::MockCircuitData
• plonk::circuit_data::ProverCircuitData
• plonk::circuit_data::ProverOnlyCircuitData
• plonk::circuit_data::VerifierCircuitData
• plonk::circuit_data::VerifierCircuitTarget
• plonk::circuit_data::VerifierOnlyCircuitData
• plonk::config::KeccakGoldilocksConfig
• plonk::config::PoseidonGoldilocksConfig
• plonk::plonk_common::PlonkOracle
• plonk::proof::CompressedProof
• plonk::proof::CompressedProofWithPublicInputs
• plonk::proof::OpeningSet
• plonk::proof::OpeningSetTarget
• plonk::proof::Proof
• plonk::proof::ProofChallenges
• plonk::proof::ProofTarget
• plonk::proof::ProofWithPublicInputs
• plonk::proof::ProofWithPublicInputsTarget
• plonk::vars::EvaluationTargets
• plonk::vars::EvaluationVars
• plonk::vars::EvaluationVarsBase
• plonk::vars::EvaluationVarsBaseBatch
• plonk::vars::EvaluationVarsBaseBatchIter
• plonk::vars::EvaluationVarsBaseBatchIterPacked
• plonk::vars::EvaluationVarsBasePacked
• recursion::dummy_circuit::DummyProofGenerator
• util::reducing::ReducingFactor
• util::reducing::ReducingFactorTarget
• util::serialization::Buffer
• util::serialization::IoError
• util::serialization::gate_serialization::Vec
• util::serialization::gate_serialization::default::DefaultGateSerializer
• util::serialization::generator_serialization::Vec
• util::serialization::generator_serialization::default::DefaultGeneratorSerializer
• util::strided_view::PackedStridedView
• util::strided_view::PackedStridedViewIter
• util::strided_view::TryFromPackedStridedViewError
• util::timing::TimingTree

Enums

• fri::reduction_strategies::FriReductionStrategy
• iop::target::Target
• plonk::circuit_builder::LookupChallenges

Traits

• field::extension::Extendable
• field::extension::FieldExtension
• field::extension::Frobenius
• field::extension::OEF
• field::ops::Square
• field::packable::Packable
• field::packed::PackedField
• field::types::Field
• field::types::Field64
• field::types::PrimeField
• field::types::PrimeField64
• field::types::Sample
• gates::gate::AnyGate
• gates::gate::Gate
• gates::packed_util::PackedEvaluableBase
• hash::hash_types::RichField
• hash::hashing::PlonkyPermutation
• hash::poseidon::Poseidon
• iop::generator::SimpleGenerator
• iop::generator::WitnessGenerator
• iop::witness::Witness
• iop::witness::WitnessWrite
• plonk::config::AlgebraicHasher
• plonk::config::GenericConfig
• plonk::config::GenericHashOut
• plonk::config::Hasher
• util::serialization::Read
• util::serialization::Remaining
• util::serialization::Write
• util::serialization::gate_serialization::GateSerializer
• util::serialization::generator_serialization::WitnessGeneratorSerializer
• util::strided_view::Viewable

Macros

• get_gate_tag_impl
• get_generator_tag_impl
• impl_gate_serializer
• impl_generator_serializer
• read_gate_impl
• read_generator_impl
• timed
• with_context

Functions

• batch_fri::prover::batch_fri_proof
• batch_fri::verifier::verify_batch_fri_proof
• field::batch_util::batch_add_inplace
• field::batch_util::batch_multiply_inplace
• field::cosets::get_unique_coset_shifts
• field::extension::flatten
• field::extension::unflatten
• field::fft::fft
• field::fft::fft_root_table
• field::fft::fft_with_options
• field::fft::ifft
• field::fft::ifft_with_options
• field::interpolation::barycentric_weights
• field::interpolation::interpolant
• field::interpolation::interpolate
• field::interpolation::interpolate2
• fri::prover::final_poly_coeff_len
• fri::prover::fri_proof
• fri::verifier::verify_fri_proof
• fri::witness_util::set_fri_proof_target
• gates::coset_interpolation::interpolate_over_base_domain
• gates::gate_testing::test_eval_fns
• gates::gate_testing::test_low_degree
• hash::hashing::compress
• hash::hashing::hash_n_to_hash_no_pad
• hash::hashing::hash_n_to_m_no_pad
• hash::merkle_proofs::verify_batch_merkle_proof_to_cap
• hash::merkle_proofs::verify_merkle_proof
• hash::merkle_proofs::verify_merkle_proof_to_cap
• iop::ext_target::flatten_target
• iop::ext_target::unflatten_target
• iop::generator::generate_partial_witness
• plonk::plonk_common::reduce_with_powers
• plonk::plonk_common::reduce_with_powers_circuit
• plonk::plonk_common::reduce_with_powers_ext_circuit
• plonk::plonk_common::salt_size
• plonk::prover::prove
• plonk::prover::prove_with_partition_witness
• plonk::prover::set_lookup_wires
• recursion::cyclic_recursion::check_cyclic_proof_verifier_data
• recursion::dummy_circuit::cyclic_base_proof
• recursion::dummy_circuit::dummy_circuit
• recursion::dummy_circuit::dummy_proof
• util::assume
• util::bits_u64
• util::branch_hint
• util::log2_ceil
• util::log2_strict
• util::log_floor
• util::reverse_index_bits
• util::reverse_index_bits_in_place
• util::transpose

Type Aliases

• field::fft::FftRootTable
• gates::lookup::Lookup
• gates::lookup_table::LookupTable
• util::serialization::IoResult

Constants

• fri::oracle::SALT_SIZE
• gadgets::lookup::OTHER_TABLE
• gadgets::lookup::SMALLER_TABLE
• gadgets::lookup::TIP5_TABLE
• hash::hash_types::NUM_HASH_OUT_ELTS
• hash::keccak::SPONGE_CAPACITY
• hash::keccak::SPONGE_RATE
• hash::keccak::SPONGE_WIDTH
• hash::poseidon::ALL_ROUND_CONSTANTS
• hash::poseidon::HALF_N_FULL_ROUNDS
• hash::poseidon::N_PARTIAL_ROUNDS
• hash::poseidon::N_ROUNDS
• hash::poseidon::SPONGE_CAPACITY
• hash::poseidon::SPONGE_RATE
• hash::poseidon::SPONGE_WIDTH
• plonk::circuit_builder::NUM_COINS_LOOKUP