List of all items

Structs

• circuit_design::composition::ComposedMPrism
• circuit_design::composition::IdMPrism
• circuit_design::composition::SubEnv
• circuit_design::composition::SubEnvColumn
• circuit_design::composition::SubEnvLookup
• circuit_design::constraints::ConstraintBuilderEnv
• circuit_design::witness::WitnessBuilderEnv
• column_env::ColumnEnvironment
• logup::Logup
• logup::LogupWitness
• logup::LookupProof
• logup::LookupTable
• logup::prover::Env
• logup::prover::QuotientPolynomialEnvironment
• precomputed_srs::TestPairingSRS
• witness::Witness

Enums

• columns::Column
• lookups::DummyLookupTable
• lookups::LookupTableIDs

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

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
• logup::combine_lookups
• logup::constraint_lookups
• precomputed_srs::create_and_store_srs
• precomputed_srs::create_and_store_srs_with_path
• precomputed_srs::get_bn254_srs
• precomputed_srs::get_bn254_srs_path
• precomputed_srs::read_bn254_srs_from_disk

Type Aliases

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

Constants

• DOMAIN_SIZE
• LIMB_BITSIZE
• MAX_SUPPORTED_DEGREE
• N_LIMBS