List of all items

Structs

• WrapConfig
• basefold::RecursiveBasefoldConfigImpl
• basefold::RecursiveBasefoldProof
• basefold::RecursiveBasefoldVerifier
• basefold::merkle_tree::MerkleTree
• basefold::stacked::RecursiveStackedPcsProof
• basefold::stacked::RecursiveStackedPcsVerifier
• basefold::tcs::RecursiveMerkleTreeTcs
• basefold::tcs::RecursiveTensorCsOpening
• challenger::DuplexChallengerVariable
• challenger::MultiField32ChallengerVariable
• challenger::SpongeChallengerShape
• jagged::JaggedPcsProofVariable
• jagged::RecursiveJaggedEvalSumcheckConfig
• jagged::RecursiveJaggedPcsVerifier
• jagged::RecursiveMachineJaggedPcsVerifier
• jagged::RecursivePcsImpl
• jagged::RecursiveTrivialJaggedEvalConfig
• logup_gkr::RecursiveLogUpGkrVerifier
• machine::MerkleProofVariable
• machine::RootPublicValues
• machine::SP1CompressRootVerifierWithVKey
• machine::SP1CompressVerifier
• machine::SP1CompressWithVKeyVerifier
• machine::SP1CompressWithVKeyWitnessValues
• machine::SP1CompressWithVKeyWitnessVariable
• machine::SP1DeferredVerifier
• machine::SP1DeferredWitnessValues
• machine::SP1DeferredWitnessVariable
• machine::SP1MerkleProofVerifier
• machine::SP1MerkleProofWitnessValues
• machine::SP1MerkleProofWitnessVariable
• machine::SP1NormalizeWitnessValues
• machine::SP1RecursionWitnessVariable
• machine::SP1RecursiveVerifier
• machine::SP1ShapedWitnessValues
• machine::SP1ShapedWitnessVariable
• machine::SP1WrapVerifier
• shard::MachineVerifyingKeyVariable
• shard::RecursiveShardVerifier
• shard::ShardProofVariable
• witness::OuterWitness

Enums

• machine::PublicValuesOutputDigest

Traits

• CircuitConfig
• SP1FieldConfigVariable
• basefold::RecursiveMultilinearPcsVerifier
• challenger::CanCopyChallenger
• challenger::CanObserveVariable
• challenger::CanSampleBitsVariable
• challenger::CanSampleVariable
• challenger::FieldChallengerVariable
• hash::FieldHasher
• hash::FieldHasherVariable
• hash::Poseidon2SP1FieldHasherVariable
• jagged::RecursiveJaggedEvalConfig
• witness::WitnessWriter
• witness::Witnessable

Functions

• basefold::merkle_tree::verify
• challenger::reduce_31
• challenger::split_32
• dummy::dummy_shard_proof
• dummy::dummy_vk
• dummy::jagged::dummy_hash
• dummy::jagged::dummy_pcs_proof
• dummy::jagged::dummy_query_proof
• sumcheck::evaluate_mle_ext
• sumcheck::evaluate_mle_ext_batch
• sumcheck::verify_sumcheck
• utils::felt_bytes_to_bn254_var
• utils::felt_proof_nonce_to_bn254_var
• utils::felts_to_bn254_var
• utils::koalabear_bytes_to_bn254
• utils::koalabears_proof_nonce_to_bn254
• utils::words_to_bytes
• zerocheck::compute_padded_row_adjustment
• zerocheck::eval_constraints
• zerocheck::verify_opening_shape

Type Aliases

• Digest
• InnerSC
• machine::InnerChallenge
• machine::InnerVal
• machine::JC
• machine::VkAndProof
• shard::RecursiveVerifierPublicValuesConstraintFolder
• witness::WitnessBlock
• zerocheck::RecursiveVerifierConstraintFolder

Constants

• D
• challenger::POSEIDON_2_BB_RATE
• hash::BN254_DIGEST_SIZE