List of all items

Structs

• challenger::DuplexChallengerVariable
• fri::domain::TwoAdicMultiplicativeCosetVariable
• fri::two_adic_pcs::TwoAdicFriPcsVariable
• fri::types::BatchOpeningVariable
• fri::types::DimensionsVariable
• fri::types::FriChallengesVariable
• fri::types::FriCommitPhaseProofStepVariable
• fri::types::FriConfigVariable
• fri::types::FriProofVariable
• fri::types::FriQueryProofVariable
• fri::types::TwoAdicPcsMatsVariable
• fri::types::TwoAdicPcsProofVariable
• fri::types::TwoAdicPcsRoundVariable
• machine::SP1CompressMemoryLayout
• machine::SP1CompressMemoryLayoutVariable
• machine::SP1CompressVerifier
• machine::SP1DeferredMemoryLayout
• machine::SP1DeferredMemoryLayoutVariable
• machine::SP1DeferredVerifier
• machine::SP1RecursionMemoryLayout
• machine::SP1RecursionMemoryLayoutVariable
• machine::SP1RecursiveVerifier
• machine::SP1RootMemoryLayout
• machine::SP1RootMemoryLayoutVariable
• machine::SP1RootVerifier
• stark::ShardProofHint
• stark::StarkVerifier
• stark::VerifyingKeyHint
• types::AirOpenedValuesVariable
• types::ChipOpenedValuesVariable
• types::ChipOpening
• types::QuotientData
• types::QuotientDataValues
• types::Sha256DigestVariable
• types::ShardCommitmentVariable
• types::ShardOpenedValuesVariable
• types::ShardProofVariable
• types::VerifyingKeyVariable

Enums

• machine::ReduceProgramType

Traits

• challenger::CanObserveVariable
• challenger::CanSampleBitsVariable
• challenger::CanSampleVariable
• challenger::FeltChallenger
• commit::PcsVariable
• commit::PolynomialSpaceVariable
• hints::Hintable
• stark::StarkRecursiveVerifier

Functions

• fri::reduce_fast
• fri::two_adic_pcs::tests::build_test_fri_with_cols_and_log2_rows
• fri::two_adic_pcs::verify_two_adic_pcs
• fri::verify_batch
• fri::verify_challenges
• fri::verify_query
• fri::verify_shape_and_sample_challenges
• machine::commit_public_values
• utils::assert_challenger_eq_pv
• utils::assign_challenger_from_pv
• utils::clone
• utils::clone_array
• utils::const_fri_config
• utils::felt2var
• utils::get_challenger_public_values
• utils::hash_vkey
• utils::var2felt

Type Aliases

• fri::types::DigestVariable
• stark::RecursiveVerifierConstraintFolder

Constants

• stark::EMPTY