List of all items
Structs
- BatchOpeningVariable
- FriChallenges
- FriCommitPhaseProofStepVariable
- FriProofVariable
- FriQueryProofVariable
- TwoAdicPcsMatsVariable
- TwoAdicPcsProofVariable
- TwoAdicPcsRoundVariable
- VerifyingKeyVariable
- challenger::DuplexChallengerVariable
- challenger::MultiField32ChallengerVariable
- machine::SP1CompressMemoryLayout
- machine::SP1DeferredMemoryLayout
- machine::SP1RecursionMemoryLayout
- machine::SP1RecursionWitnessVariable
- machine::SP1RecursiveVerifier
- stark::ShardProofVariable
- stark::StarkVerifier
- stark::VerifyingKeyHint
- witness::OuterWitness
Traits
- BabyBearFriConfig
- BabyBearFriConfigVariable
- CircuitConfig
- challenger::CanCopyChallenger
- challenger::CanObserveVariable
- challenger::CanSampleBitsVariable
- challenger::CanSampleVariable
- challenger::FieldChallengerVariable
- domain::PolynomialSpaceVariable
- hash::FieldHasherVariable
- witness::WitnessWriter
- witness::Witnessable
Functions
- build_wrap_v2::build_wrap_circuit_v2
- build_wrap_v2::const_shard_proof
- build_wrap_v2::const_two_adic_pcs_proof
- challenger::reduce_32
- challenger::split_32
- fri::verify_batch
- fri::verify_challenges
- fri::verify_query
- fri::verify_shape_and_sample_challenges
- fri::verify_two_adic_pcs
- select_chain