List of all items

Structs

• challenger::MultiField32ChallengerVariable
• domain::TwoAdicMultiplicativeCosetVariable
• stark::StarkVerifierCircuit
• types::AirOpenedValuesVariable
• types::BatchOpeningVariable
• types::ChipOpenedValuesVariable
• types::ChipOpening
• types::FriChallenges
• types::FriCommitPhaseProofStepVariable
• types::FriProofVariable
• types::FriQueryProofVariable
• types::RecursionShardOpenedValuesVariable
• types::RecursionShardProofVariable
• types::TwoAdicPcsMatsVariable
• types::TwoAdicPcsProofVariable
• types::TwoAdicPcsRoundVariable

Traits

• poseidon2::Poseidon2CircuitBuilder
• witness::Witnessable

Functions

• challenger::reduce_32
• challenger::split_32
• domain::new_coset
• fri::const_fri_proof
• fri::const_two_adic_pcs_proof
• fri::verify_challenges
• fri::verify_query
• fri::verify_shape_and_sample_challenges
• fri::verify_two_adic_pcs
• mmcs::verify_batch
• stark::build_wrap_circuit
• stark::cycle_tracker
• utils::babybear_bytes_to_bn254
• utils::babybears_to_bn254
• utils::felt2var
• utils::words_to_bytes

Type Aliases

• types::OuterDigestVariable

Constants

• DIGEST_SIZE
• RATE
• SPONGE_SIZE