List of all items

Structs

• MultilinearEvalClaim
• fracaddcheck::FracAddEvalClaim
• logup_star::LogupOutput
• logup_star::LogupTableOutput
• logup_star::LogupTransparentOutput
• logup_star::LogupTransparentTableOutput
• logup_star::LookerClaim
• logup_star::TableLookup
• mlecheck::RoundProof
• mlecheck::VerifyZKOutput
• sumcheck::BatchSumcheckOutput
• sumcheck::SumcheckOutput
• sumcheck::common::RoundCoeffs
• sumcheck::common::RoundProof

Enums

• channel::Error
• fracaddcheck::Error
• fracaddcheck::VerificationError
• logup_star::Error
• logup_star::VerificationError
• prodcheck::Error
• prodcheck::VerificationError
• sumcheck::Error
• sumcheck::VerificationError

Traits

• channel::IPVerifierChannel
• channel::WordIPVerifierChannel

Functions

• batch_eval::verify
• channel::n_packed_elems
• channel::pack_words_concrete
• channel::select_word
• channel::subset_sum_word
• fracaddcheck::pad_leaf_fraction
• fracaddcheck::verify
• logup_star::verify_reduction
• logup_star::verify_reduction_transparent
• mlecheck::libra_eval
• mlecheck::mask_buffer_dimensions
• mlecheck::verify
• mlecheck::verify_zk
• prodcheck::verify
• sumcheck::batch_verify
• sumcheck::batch_verify_mle
• sumcheck::verify