List of all items

Structs

• circuit_design::composition::ComposedMPrism
• circuit_design::composition::IdMPrism
• circuit_design::composition::SubEnvColumn
• circuit_design::composition::SubEnvLookup
• circuit_design::constraints::ConstraintBuilderEnv
• circuit_design::witness::WitnessBuilderEnv
• column_env::ColumnEnvironment
• fec::lookups::LookupTableIter
• ffa::lookups::LookupTableIter
• logup::Logup
• logup::LogupWitness
• logup::LookupProof
• logup::LookupTable
• logup::prover::Env
• logup::prover::QuotientPolynomialEnvironment
• precomputed_srs::TestPairingSRS
• proof::Proof
• proof::ProofCommitments
• proof::ProofEvaluations
• proof::ProofInputs
• serialization::lookups::LookupTableIter
• test::test_circuit::lookups::LookupTableIter
• witness::Witness

Enums

• columns::Column
• fec::columns::FECColumn
• fec::columns::FECColumnInput
• fec::columns::FECColumnInter
• fec::columns::FECColumnOutput
• fec::lookups::LookupTable
• ffa::columns::FFAColumn
• ffa::lookups::LookupTable
• lookups::DummyLookupTable
• lookups::LookupTableIDs
• prover::ProverError
• serialization::column::SerializationColumn
• serialization::lookups::LookupTable
• test::test_circuit::columns::TestColumn
• test::test_circuit::lookups::LookupTable

Traits

• circuit_design::capabilities::ColAccessCap
• circuit_design::capabilities::ColWriteCap
• circuit_design::capabilities::DirectWitnessCap
• circuit_design::capabilities::HybridCopyCap
• circuit_design::capabilities::LookupCap
• circuit_design::capabilities::MultiRowReadCap
• circuit_design::composition::MPrism
• columns::ColumnIndexer
• logup::LookupTableID
• serialization::interpreter::HybridSerHelpers

Functions

• circuit_design::capabilities::read_column_array
• circuit_design::capabilities::write_column_array
• circuit_design::capabilities::write_column_array_const
• circuit_design::capabilities::write_column_const
• expr::curr_cell
• expr::next_cell
• fec::interpreter::constrain_ec_addition
• fec::interpreter::ec_add_circuit
• fec::interpreter::limbs_to_bigints
• ffa::interpreter::constrain_ff_addition
• ffa::interpreter::constrain_ff_addition_row
• ffa::interpreter::ff_addition_circuit
• logup::combine_lookups
• logup::constraint_lookups
• precomputed_srs::create_and_store_srs
• precomputed_srs::get_bn254_srs
• precomputed_srs::get_bn254_srs_path
• prover::prove
• serialization::interpreter::bigint_to_biguint_f
• serialization::interpreter::build_selectors
• serialization::interpreter::combine_carry
• serialization::interpreter::combine_limbs_m_to_n
• serialization::interpreter::combine_small_to_large
• serialization::interpreter::constrain_multiplication
• serialization::interpreter::deserialize_field_element
• serialization::interpreter::ff_modulus_highest_limb
• serialization::interpreter::fold_choice2
• serialization::interpreter::limb_decompose_biguint
• serialization::interpreter::limb_decompose_ff
• serialization::interpreter::multiplication_circuit
• serialization::interpreter::serialization_circuit
• test::generic::test_completeness_generic
• test::generic::test_completeness_generic_no_lookups
• test::generic::test_completeness_generic_only_relation
• test::generic::test_soundness_generic
• test::test_circuit::interpreter::build_fixed_selectors
• test::test_circuit::interpreter::constrain_addition
• test::test_circuit::interpreter::constrain_lookups
• test::test_circuit::interpreter::constrain_multiplication
• test::test_circuit::interpreter::constrain_test_const
• test::test_circuit::interpreter::constrain_test_fixed_sel
• test::test_circuit::interpreter::constrain_test_fixed_sel_degree_7
• test::test_circuit::interpreter::constrain_test_fixed_sel_degree_7_mul_witness
• test::test_circuit::interpreter::constrain_test_fixed_sel_degree_7_with_constants
• test::test_circuit::interpreter::lookups_circuit
• test::test_circuit::interpreter::test_addition
• test::test_circuit::interpreter::test_const
• test::test_circuit::interpreter::test_fixed_sel
• test::test_circuit::interpreter::test_fixed_sel_degree_7
• test::test_circuit::interpreter::test_fixed_sel_degree_7_mul_witness
• test::test_circuit::interpreter::test_fixed_sel_degree_7_with_constants
• test::test_circuit::interpreter::test_multiplication
• verifier::verify

Type Definitions

• BN254
• BN254G1Affine
• BN254G2Affine
• BaseSponge
• Ff1
• Ff2
• Fp
• OpeningProof
• ScalarSponge
• SpongeParams
• expr::E
• fec::lookups::Lookup
• lookups::Lookup
• lookups::LookupWitness
• serialization::lookups::Lookup

Constants

• DOMAIN_SIZE
• LIMB_BITSIZE
• N_LIMBS
• fec::columns::FEC_N_COLUMNS
• ffa::columns::FFA_NPUB_COLUMNS
• ffa::columns::FFA_N_COLUMNS
• serialization::N_INTERMEDIATE_LIMBS
• serialization::column::N_COL_SER
• serialization::column::N_FSEL_SER
• serialization::interpreter::LIMB_BITSIZE_LARGE
• serialization::interpreter::LIMB_BITSIZE_SMALL
• serialization::interpreter::N_LIMBS_LARGE
• serialization::interpreter::N_LIMBS_SMALL
• test::test_circuit::columns::N_COL_TEST
• test::test_circuit::columns::N_FSEL_TEST