List of all items

Structs

• FieldColumn
• Proof
• domain::Domain
• domain::EvaluatedDomain
• gadgets::booleanity::BitColumn
• gadgets::booleanity::Booleanity
• gadgets::booleanity::BooleanityValues
• gadgets::column_sum::ColumnSumEvals
• gadgets::column_sum::ColumnSumPolys
• gadgets::ec::AffineColumn
• gadgets::ec::CondAdd
• gadgets::ec::CondAddValues
• gadgets::ec::te_doubling::Doubling
• gadgets::ec::te_doubling::DoublingValues
• gadgets::fixed_cells::FixedCells
• gadgets::fixed_cells::FixedCellsValues
• gadgets::inner_prod::InnerProd
• gadgets::inner_prod::InnerProdValues
• kzg_acc::KzgAccumulator
• prover::PlonkProver
• verifier::Challenges
• verifier::PlonkVerifier

Traits

• Column
• ColumnsCommited
• ColumnsEvaluated
• gadgets::ProverGadget
• gadgets::VerifierGadget
• piop::ProverPiop
• piop::VerifierPiop
• transcript::PlonkTranscript

Functions

• const_evals
• test_helpers::cond_sum
• test_helpers::power_of_two_multiple
• test_helpers::random_bitvec
• test_helpers::random_vec

Constants

• domain::ZK_ROWS