List of all items
Structs
- basefold::channel::BaseFoldOracle
- basefold::channel::BaseFoldVerifierChannel
- basefold::compiler::BaseFoldVerifierCompiler
- channel::OracleSchedule
- channel::OracleSpec
- channel::merge::MergeOracle
- channel::merge::MergeVerifierChannel
- channel::merge::Placement
- channel::naive::NaiveOracle
- channel::naive::NaiveVerifierChannel
- channel::oracle_setup::DummyElem
- channel::oracle_setup::OracleSetupChannel
- channel::size_tracking::CommittedShape
- channel::size_tracking::SizeTrackingChannel
- fri::CodewordSpec
- fri::ConstantArityStrategy
- fri::FRIParams
- fri::MinProofSizeStrategy
- fri::fold::FRIFoldVerifier
- fri::verify::FRIQueryVerifier
- logup_star::LogupProof
- logup_star::LogupTransparentProof
- logup_star::TransparentTableLookup
- merkle_channel::TranscriptMerkleCommitment
- merkle_channel::VerifierMerkleTranscriptChannel
- merkle_tree::BinaryMerkleTreeScheme
- merkle_tree::Commitment
Enums
- basefold::Error
- basefold::VerificationError
- channel::Error
- fri::Error
- fri::VerificationError
- logup_star::Error
- merkle_channel::Error
- merkle_tree::Error
- merkle_tree::VerificationError
Traits
- channel::IOPVerifierChannel
- channel::grinding::GrindingVerifierChannel
- fri::AritySelectionStrategy
- merkle_channel::MerkleIPVerifierChannel
- merkle_tree::MerkleTreeScheme
Functions
- basefold::verify_mlecheck_basefold
- channel::merge::place_oracles
- fri::calculate_n_test_queries
- fri::fold::fold_chunk
- fri::proof_size
- logup_star::verify
- logup_star::verify_transparent