List of all items

Structs

• core::ComponentVec
• core::Fraction
• core::air::Components
• core::air::accumulation::PointEvaluationAccumulator
• core::channel::Blake2sChannelGeneric
• core::channel::Poseidon252Channel
• core::circle::CirclePoint
• core::circle::CirclePointIndex
• core::circle::Coset
• core::circle::CosetIterator
• core::fields::cm31::CM31
• core::fields::m31::M31
• core::fields::qm31::QM31
• core::fri::CirclePolyDegreeBound
• core::fri::ExtendedFriLayerProof
• core::fri::ExtendedFriProof
• core::fri::FriConfig
• core::fri::FriLayerProof
• core::fri::FriLayerProofAux
• core::fri::FriProof
• core::fri::FriProofAux
• core::fri::FriVerifier
• core::pcs::CommitmentSchemeVerifier
• core::pcs::PcsConfig
• core::pcs::TreeSubspan
• core::pcs::quotients::ColumnSampleBatch
• core::pcs::quotients::CommitmentSchemeProof
• core::pcs::quotients::CommitmentSchemeProofAux
• core::pcs::quotients::ExtendedCommitmentSchemeProof
• core::pcs::quotients::NumeratorData
• core::pcs::quotients::PointSample
• core::pcs::quotients::QuotientConstants
• core::pcs::utils::TreeVec
• core::poly::circle::CanonicCoset
• core::poly::circle::CircleDomain
• core::poly::line::LineDomain
• core::poly::line::LinePoly
• core::proof::ExtendedStarkProof
• core::proof::StarkProof
• core::proof::StarkProofSizeBreakdown
• core::queries::Queries
• core::utils::PeekTakeWhile
• core::vcs::blake2_hash::Blake2sHash
• core::vcs::blake2_hash::Blake2sHasherGeneric
• core::vcs::blake2_merkle::Blake2sMerkleChannelGeneric
• core::vcs::blake2_merkle::Blake2sMerkleHasherGeneric
• core::vcs::blake3_hash::Blake3Hash
• core::vcs::blake3_hash::Blake3Hasher
• core::vcs::poseidon252_merkle::Poseidon252MerkleChannel
• core::vcs::poseidon252_merkle::Poseidon252MerkleHasher
• core::vcs::verifier::ExtendedMerkleDecommitment
• core::vcs::verifier::MerkleDecommitment
• core::vcs::verifier::MerkleDecommitmentAux
• core::vcs::verifier::MerkleVerifier
• core::vcs_lifted::blake2_merkle::Blake2sMerkleChannelGeneric
• core::vcs_lifted::poseidon252_merkle::Poseidon252MerkleChannel
• core::vcs_lifted::poseidon252_merkle::Poseidon252MerkleHasher
• core::vcs_lifted::verifier::ExtendedMerkleDecommitmentLifted
• core::vcs_lifted::verifier::MerkleDecommitmentLifted
• core::vcs_lifted::verifier::MerkleDecommitmentLiftedAux
• core::vcs_lifted::verifier::MerkleVerifierLifted

Enums

• core::fri::FriVerificationError
• core::vcs::verifier::MerkleVerificationError
• core::vcs_lifted::verifier::MerkleVerificationError
• core::verifier::VerificationError

Traits

• core::air::Air
• core::air::Component
• core::channel::Channel
• core::channel::MerkleChannel
• core::fields::ComplexConjugate
• core::fields::ExtensionOf
• core::fields::Field
• core::fields::FieldExpOps
• core::proof_of_work::GrindOps
• core::utils::IteratorMutExt
• core::utils::PeekableExt
• core::vcs::MerkleHasher
• core::vcs::hash::Hash
• core::vcs_lifted::merkle_hasher::MerkleHasherLifted

Macros

• impl_extension_field
• impl_field
• parallel_iter

Functions

• core::constraints::complex_conjugate_line
• core::constraints::complex_conjugate_line_coeffs
• core::constraints::coset_vanishing
• core::constraints::coset_vanishing_derivative
• core::constraints::pair_vanishing
• core::constraints::point_excluder
• core::constraints::point_vanishing
• core::fft::butterfly
• core::fft::ibutterfly
• core::fields::batch_inverse
• core::fields::batch_inverse_chunked
• core::fields::batch_inverse_in_place
• core::fields::m31::pow2147483645
• core::fri::fold_circle_into_line
• core::fri::fold_line
• core::pcs::quotients::accumulate_row_partial_numerators
• core::pcs::quotients::accumulate_row_quotients
• core::pcs::quotients::build_samples_with_randomness_and_periodicity
• core::pcs::quotients::column_line_coeffs
• core::pcs::quotients::denominator_inverses
• core::pcs::quotients::fri_answers
• core::pcs::quotients::quotient_constants
• core::pcs::utils::prepare_preprocessed_query_positions
• core::poly::utils::domain_line_twiddles_from_tree
• core::poly::utils::fold
• core::poly::utils::get_folding_alphas
• core::poly::utils::repeat_value
• core::queries::draw_queries
• core::utils::all_unique
• core::utils::bit_reverse
• core::utils::bit_reverse_coset_to_circle_domain_order
• core::utils::bit_reverse_index
• core::utils::circle_domain_index_to_coset_index
• core::utils::coset_index_to_circle_domain_index
• core::utils::coset_order_to_circle_domain_order
• core::utils::offset_bit_reversed_circle_domain_index
• core::utils::previous_bit_reversed_circle_domain_index
• core::utils::uninit_vec
• core::vcs::blake2_hash::reduce_to_m31
• core::vcs::poseidon252_merkle::construct_felt252_from_m31s
• core::vcs::utils::add_length_padding
• core::vcs::utils::next_decommitment_node
• core::vcs::utils::option_flatten_peekable
• core::vcs_lifted::poseidon252_merkle::poseidon_finalize
• core::vcs_lifted::poseidon252_merkle::poseidon_update
• core::verifier::verify

Type Aliases

• core::ColumnVec
• core::channel::Blake2sChannel
• core::channel::Blake2sM31Channel
• core::fields::m31::BaseField
• core::fields::qm31::SecureField
• core::pcs::quotients::IndexMap
• core::vcs::blake2_hash::Blake2sHasher
• core::vcs::blake2_hash::Blake2sM31Hasher
• core::vcs::blake2_merkle::Blake2sM31MerkleChannel
• core::vcs::blake2_merkle::Blake2sM31MerkleHasher
• core::vcs::blake2_merkle::Blake2sMerkleChannel
• core::vcs::blake2_merkle::Blake2sMerkleHasher
• core::vcs_lifted::blake2_merkle::Blake2sM31MerkleChannel
• core::vcs_lifted::blake2_merkle::Blake2sM31MerkleHasher
• core::vcs_lifted::blake2_merkle::Blake2sMerkleChannel
• core::vcs_lifted::blake2_merkle::Blake2sMerkleHasher
• core::vcs_lifted::blake2_merkle::Blake2sMerkleHasherGeneric

Constants

• core::channel::EXTENSION_FELTS_PER_HASH
• core::circle::M31_CIRCLE_GEN
• core::circle::M31_CIRCLE_LOG_ORDER
• core::circle::SECURE_FIELD_CIRCLE_GEN
• core::circle::SECURE_FIELD_CIRCLE_ORDER
• core::fields::cm31::P2
• core::fields::m31::MODULUS_BITS
• core::fields::m31::N_BYTES_FELT
• core::fields::m31::P
• core::fields::qm31::P4
• core::fields::qm31::R
• core::fields::qm31::SECURE_EXTENSION_DEGREE
• core::fri::CIRCLE_TO_LINE_FOLD_STEP
• core::fri::FOLD_STEP
• core::poly::circle::MAX_CIRCLE_DOMAIN_LOG_SIZE
• core::poly::circle::MIN_CIRCLE_DOMAIN_LOG_SIZE
• core::queries::UPPER_BOUND_QUERY_BYTES
• core::vcs::blake2_merkle::LEAF_PREFIX
• core::vcs::blake2_merkle::NODE_PREFIX
• core::vcs::poseidon252_merkle::ELEMENTS_IN_BLOCK
• core::vcs_lifted::blake2_merkle::LEAF_PREFIX
• core::vcs_lifted::blake2_merkle::NODE_PREFIX
• core::vcs_lifted::poseidon252_merkle::ELEMENTS_IN_BUFFER
• core::verifier::COMPOSITION_LOG_SPLIT
• core::verifier::PREPROCESSED_TRACE_IDX