List of all items

Structs

• IOPProver
• Prover
• bit_matrix::ColumnSums
• bit_matrix::RowFoldTables
• fold_word::BitAxisFolder
• fold_word::WordAxisFolder
• fri::BatchBrakedownFolder
• fri::BatchBrakedownOracleProver
• fri::BrakedownOracleProver
• fri::FRIFoldProver
• fri::FRIOracleProver
• fri::FRIQueryProver
• fri::MaskedCodeword
• fri::ProxTestFolder
• merkle_tree::prover::BinaryMerkleTreeProver
• protocols::binmul::BinMulOutput
• protocols::bitand::NTTLookup
• protocols::bitand::prover::UnivariateRoundProver
• protocols::intmul::prove::IntMulProver
• protocols::intmul::witness::Witness
• protocols::rerand::OperandWitness
• protocols::shift::DenseShiftEncoding
• protocols::shift::KeyCollection
• protocols::shift::KeySegment
• protocols::shift::OperandClaims
• protocols::shift::PreparedOperandClaims
• protocols::shift::SegmentWords
• protocols::shift::ShiftChallenge
• protocols::shift::ShiftChallengePoint
• protocols::shift::ShiftIndOutput
• protocols::shift::ShiftIndSumcheck
• protocols::shift::outer::OuterShiftStage
• protocols::shift::phase_1::Phase1Output
• protocols::shift::phase_1::Phase1SumcheckProver
• protocols::shift::phase_1::SparseShiftRows
• protocols::shift::phase_2::ShiftOutput
• ring_switch::RingSwitchOutput
• zk_config::ZKProver

Enums

• Error
• protocols::intmul::Error
• zk_config::Error

Traits

• fri::ProxTestOracleProver
• merkle_tree::MerkleTreeProver

Functions

• fri::encode_interleaved
• fri::encode_masked
• pack_witness
• protocols::binmul::prove
• protocols::bitand::prove
• protocols::bitand::sumcheck_round_messages::univariate_round_message_extension_domain
• protocols::intmul::prove::prove
• protocols::intmul::witness::buffer_bivariate_product
• protocols::intmul::witness::power_table
• protocols::intmul::witness::two_valued_field_buffer
• protocols::rerand::prove
• protocols::shift::monster::shift_operator_row
• protocols::shift::monster::shift_operator_table
• protocols::shift::outer::decode_shift
• protocols::shift::phase_1::prove_phase_1
• protocols::shift::phase_2::prove_phase_2
• protocols::shift::phase_2::run_sumcheck
• protocols::shift::prove
• ring_switch::fold_1b_rows_for_b128_split
• ring_switch::prove
• ring_switch::prove_public_eval
• ring_switch::rs_eq_ind_from_factors

Type Aliases

• OptimalPackedB128
• bit_matrix::RowGroup
• fold_word::FoldedWord
• merkle_tree::ProverDigest

Constants

• bit_matrix::LOG_WEIGHTS_PER_TABLE
• bit_matrix::WEIGHTS_PER_TABLE
• protocols::shift::phase_1::LOG_SHIFT_ROWS
• protocols::shift::phase_1::PHASE_1_LOG_LEN
• protocols::shift::phase_1::SHIFT_OPERATOR_LOG_LEN
• ring_switch::LOG_SPLIT_BLOCK