List of all items

Structs

• alphas::Alphas
• alphas::MustConsumeIterator
• bench::BenchmarkCtx
• circuits::argument::ArgumentData
• circuits::argument::ArgumentEnv
• circuits::argument::ArgumentWitness
• circuits::berkeley_columns::BerkeleyChallenges
• circuits::berkeley_columns::Environment
• circuits::berkeley_columns::LookupEnvironment
• circuits::constraints::Builder
• circuits::constraints::ColumnEvaluations
• circuits::constraints::ConstraintSystem
• circuits::constraints::EvaluatedColumnCoefficients
• circuits::constraints::FeatureFlags
• circuits::domain_constant_evaluation::DomainConstantEvaluations
• circuits::domains::EvaluationDomains
• circuits::expr::Cache
• circuits::expr::CacheId
• circuits::expr::Constants
• circuits::expr::Linearization
• circuits::expr::RowOffset
• circuits::expr::Variable
• circuits::gate::Circuit
• circuits::gate::CircuitGate
• circuits::gate::caml::CamlCircuitGate
• circuits::lookup::constraints::LookupConfiguration
• circuits::lookup::index::LookupConstraintSystem
• circuits::lookup::index::LookupSelectors
• circuits::lookup::lookups::JointLookup
• circuits::lookup::lookups::LocalPosition
• circuits::lookup::lookups::LookupFeatures
• circuits::lookup::lookups::LookupInfo
• circuits::lookup::lookups::LookupPatternIter
• circuits::lookup::lookups::LookupPatterns
• circuits::lookup::lookups::SingleLookup
• circuits::lookup::runtime_tables::RuntimeTable
• circuits::lookup::runtime_tables::RuntimeTableCfg
• circuits::lookup::runtime_tables::RuntimeTableSpec
• circuits::lookup::runtime_tables::caml::CamlRuntimeTable
• circuits::lookup::runtime_tables::caml::CamlRuntimeTableCfg
• circuits::lookup::runtime_tables::caml::CamlRuntimeTableSpec
• circuits::lookup::tables::GateLookupTables
• circuits::lookup::tables::LookupTable
• circuits::lookup::tables::caml::CamlLookupTable
• circuits::polynomial::LookupEvals
• circuits::polynomial::LookupPolys
• circuits::polynomial::LookupShifts
• circuits::polynomial::WitnessEvals
• circuits::polynomial::WitnessOverDomains
• circuits::polynomial::WitnessShifts
• circuits::polynomials::complete_add::CompleteAdd
• circuits::polynomials::endomul_scalar::EndomulScalar
• circuits::polynomials::endosclmul::EndoMulResult
• circuits::polynomials::endosclmul::EndosclMul
• circuits::polynomials::foreign_field_add::circuitgates::ForeignFieldAdd
• circuits::polynomials::foreign_field_mul::circuitgates::ForeignFieldMul
• circuits::polynomials::foreign_field_mul::witness::ExternalChecks
• circuits::polynomials::generic::Generic
• circuits::polynomials::keccak::Keccak
• circuits::polynomials::keccak::circuitgates::KeccakRound
• circuits::polynomials::keccak::circuitgates::KeccakSponge
• circuits::polynomials::keccak::witness::Chi
• circuits::polynomials::keccak::witness::Iota
• circuits::polynomials::keccak::witness::PiRho
• circuits::polynomials::keccak::witness::Rotation
• circuits::polynomials::keccak::witness::Theta
• circuits::polynomials::permutation::Shifts
• circuits::polynomials::poseidon::Poseidon
• circuits::polynomials::range_check::circuitgates::RangeCheck0
• circuits::polynomials::range_check::circuitgates::RangeCheck1
• circuits::polynomials::rot::Rot64
• circuits::polynomials::turshi::Claim
• circuits::polynomials::turshi::Flags
• circuits::polynomials::turshi::Instruction
• circuits::polynomials::turshi::Transition
• circuits::polynomials::varbasemul::Layout
• circuits::polynomials::varbasemul::VarbaseMul
• circuits::polynomials::varbasemul::VarbaseMulResult
• circuits::polynomials::xor::Xor16
• circuits::scalars::RandomOracles
• circuits::scalars::caml::CamlRandomOracles
• circuits::wires::Wire
• circuits::wires::caml::CamlWire
• circuits::witness::ConstantCell
• circuits::witness::CopyBitsCell
• circuits::witness::CopyCell
• circuits::witness::CopyShiftCell
• circuits::witness::IndexCell
• circuits::witness::VariableBitsCell
• circuits::witness::VariableCell
• circuits::witness::Variables
• lagrange_basis_evaluations::LagrangeBasisEvaluations
• oracles::OraclesResult
• oracles::caml::CamlOracles
• precomputed_srs::TestSRS
• proof::LookupCommitments
• proof::PointEvaluations
• proof::ProofEvaluations
• proof::ProverCommitments
• proof::ProverProof
• proof::RecursionChallenge
• proof::caml::CamlProofEvaluations
• proof::caml::CamlRecursionChallenge
• prover::caml::CamlLookupCommitments
• prover::caml::CamlProofWithPublic
• prover::caml::CamlProverCommitments
• prover::caml::CamlProverProof
• prover::internal_traces::Traces
• prover::internal_traces::caml::CamlTraces
• prover_index::ProverIndex
• snarky::api::CompiledCircuit
• snarky::api::ProverIndexWrapper
• snarky::api::VerifierIndexWrapper
• snarky::api::Witness
• snarky::asm::OrderedHashSet
• snarky::boolean::Boolean
• snarky::constants::Constants
• snarky::constraint_system::BasicInput
• snarky::constraint_system::EcAddCompleteInput
• snarky::constraint_system::EcEndoscaleInput
• snarky::constraint_system::EndoscaleRound
• snarky::constraint_system::EndoscaleScalarRound
• snarky::constraint_system::PoseidonInput
• snarky::constraint_system::ScaleRound
• snarky::constraint_system::SnarkyConstraintSystem
• snarky::errors::RealSnarkyError
• snarky::folding::ForeignElement
• snarky::folding::FullChallenge
• snarky::folding::Private
• snarky::poseidon::DuplexState
• snarky::runner::RunState
• snarky::union_find::DisjointSet
• verifier::Context
• verifier_index::LookupVerifierIndex
• verifier_index::VerifierIndex

Enums

• circuits::argument::ArgumentType
• circuits::berkeley_columns::BerkeleyChallengeTerm
• circuits::berkeley_columns::Column
• circuits::constraints::GateError
• circuits::domains::Domain
• circuits::expr::ConstantExprInner
• circuits::expr::ConstantTerm
• circuits::expr::ExprError
• circuits::expr::ExprInner
• circuits::expr::FeatureFlag
• circuits::expr::Operations
• circuits::expr::PolishToken
• circuits::gate::CircuitGateError
• circuits::gate::CurrOrNext
• circuits::gate::GateType
• circuits::lookup::index::LookupError
• circuits::lookup::lookups::LookupPattern
• circuits::lookup::lookups::LookupTableID
• circuits::lookup::tables::GateLookupTable
• circuits::polynomials::foreign_field_add::witness::FFOps
• circuits::polynomials::generic::GenericGateSpec
• circuits::polynomials::rot::RotMode
• error::DomainCreationError
• error::ProverError
• error::SetupError
• error::VerifierIndexError
• error::VerifyError
• precomputed_srs::StoredSRSType
• snarky::constraint_system::BasicSnarkyConstraint
• snarky::constraint_system::KimchiConstraint
• snarky::cvar::FieldVar
• snarky::errors::SnarkyCompilationError
• snarky::errors::SnarkyError
• snarky::errors::SnarkyRuntimeError
• snarky::runner::Constraint

Traits

• circuits::argument::Argument
• circuits::argument::DynArgument
• circuits::expr::AlphaChallengeTerm
• circuits::expr::ColumnEnvironment
• circuits::expr::ColumnEvaluations
• circuits::expr::FormattedOutput
• circuits::expr::Literal
• circuits::expr::constraints::ExprOps
• circuits::gate::Connect
• circuits::polynomials::foreign_field_common::BigUintArrayCompose
• circuits::polynomials::foreign_field_common::BigUintArrayFieldHelpers
• circuits::polynomials::foreign_field_common::BigUintForeignFieldHelpers
• circuits::polynomials::foreign_field_common::FieldArrayBigUintHelpers
• circuits::polynomials::foreign_field_common::FieldArrayCompact
• circuits::polynomials::foreign_field_common::FieldArrayCompose
• circuits::wires::Wirable
• circuits::witness::WitnessCell
• curve::KimchiCurve
• plonk_sponge::FrSponge
• snarky::api::SnarkyCircuit
• snarky::constraint_system::SnarkyCvar
• snarky::poseidon::CircuitAbsorb
• snarky::runner::WitnessGeneration
• snarky::snarky_type::CircuitAndValue
• snarky::snarky_type::SnarkyType

Macros

• auto_clone
• auto_clone_array
• circuits::expr::auto_clone
• circuits::expr::auto_clone_array
• circuits::witness::variable_map
• circuits::witness::variables
• from_quarters
• from_shifts
• grid
• loc
• snarky::prelude::loc
• variable_map
• variables

Functions

• circuits::berkeley_columns::coeff
• circuits::berkeley_columns::constant
• circuits::berkeley_columns::index
• circuits::berkeley_columns::witness
• circuits::berkeley_columns::witness_curr
• circuits::berkeley_columns::witness_next
• circuits::constraints::selector_polynomial
• circuits::constraints::zk_rows_strict_lower_bound
• circuits::expr::constraints::boolean
• circuits::expr::constraints::compact_limb
• circuits::expr::constraints::crumb
• circuits::expr::l0_1
• circuits::expr::pows
• circuits::expr::unnormalized_lagrange_basis
• circuits::lookup::constraints::aggregation
• circuits::lookup::constraints::constraints
• circuits::lookup::constraints::sorted
• circuits::lookup::constraints::verify
• circuits::lookup::constraints::zk_patch
• circuits::lookup::runtime_tables::constraints
• circuits::lookup::tables::combine_table
• circuits::lookup::tables::combine_table_entry
• circuits::lookup::tables::get_table
• circuits::lookup::tables::range_check::range_check_table
• circuits::lookup::tables::xor::xor_table
• circuits::polynomials::and::create_and_witness
• circuits::polynomials::and::extend_and_witness
• circuits::polynomials::and::lookup_table
• circuits::polynomials::endomul_scalar::gen_witness
• circuits::polynomials::endosclmul::gen_witness
• circuits::polynomials::foreign_field_add::witness::create_chain
• circuits::polynomials::foreign_field_add::witness::extend_witness_bound_addition
• circuits::polynomials::foreign_field_mul::circuitgates::compose_carry
• circuits::polynomials::foreign_field_mul::circuitgates::compute_intermediate_products
• circuits::polynomials::foreign_field_mul::circuitgates::compute_native_modulus_values
• circuits::polynomials::foreign_field_mul::gadget::circuit_gate_constraint_count
• circuits::polynomials::foreign_field_mul::gadget::circuit_gate_constraints
• circuits::polynomials::foreign_field_mul::gadget::circuit_gate_selector_index
• circuits::polynomials::foreign_field_mul::gadget::circuit_gates
• circuits::polynomials::foreign_field_mul::gadget::combined_constraints
• circuits::polynomials::foreign_field_mul::gadget::lookup_table
• circuits::polynomials::foreign_field_mul::witness::compute_bound
• circuits::polynomials::foreign_field_mul::witness::compute_high_bound
• circuits::polynomials::foreign_field_mul::witness::create
• circuits::polynomials::generic::testing::create_circuit
• circuits::polynomials::generic::testing::fill_in_witness
• circuits::polynomials::keccak::witness::extend_keccak_witness
• circuits::polynomials::not::extend_not_witness_checked_length
• circuits::polynomials::not::extend_not_witness_unchecked_length
• circuits::polynomials::permutation::eval_permutation_vanishing_polynomial
• circuits::polynomials::permutation::eval_vanishes_on_last_n_rows
• circuits::polynomials::permutation::permutation_vanishing_polynomial
• circuits::polynomials::permutation::vanishes_on_last_n_rows
• circuits::polynomials::permutation::zk_w
• circuits::polynomials::poseidon::generate_witness
• circuits::polynomials::poseidon::round_to_cols
• circuits::polynomials::range_check::gadget::circuit_gate_constraint_count
• circuits::polynomials::range_check::gadget::circuit_gate_constraints
• circuits::polynomials::range_check::gadget::circuit_gates
• circuits::polynomials::range_check::gadget::combined_constraints
• circuits::polynomials::range_check::gadget::lookup_table
• circuits::polynomials::range_check::witness::create
• circuits::polynomials::range_check::witness::create_multi
• circuits::polynomials::range_check::witness::create_multi_compact
• circuits::polynomials::range_check::witness::create_multi_compact_limbs
• circuits::polynomials::range_check::witness::create_multi_limbs
• circuits::polynomials::range_check::witness::extend
• circuits::polynomials::range_check::witness::extend_multi
• circuits::polynomials::range_check::witness::extend_multi_compact
• circuits::polynomials::range_check::witness::extend_multi_compact_limbs
• circuits::polynomials::range_check::witness::extend_multi_from_fe
• circuits::polynomials::range_check::witness::extend_multi_limbs
• circuits::polynomials::range_check::witness::extend_single
• circuits::polynomials::range_check::witness::range_check_0_row
• circuits::polynomials::rot::extend_rot
• circuits::polynomials::rot::lookup_table
• circuits::polynomials::turshi::circuit_gate_combined_constraints
• circuits::polynomials::turshi::testing::ensure_cairo_gate
• circuits::polynomials::turshi::witness::cairo_witness
• circuits::polynomials::varbasemul::witness
• circuits::polynomials::xor::create_xor_witness
• circuits::polynomials::xor::extend_xor_witness
• circuits::polynomials::xor::lookup_table
• circuits::polynomials::xor::num_xors
• circuits::witness::init
• circuits::witness::init_cell
• circuits::witness::init_row
• curve::pallas_endos
• curve::vesta_endos
• linearization::constraints_expr
• linearization::expr_linearization
• linearization::linearization_columns
• oracles::caml::create_caml_oracles
• precomputed_srs::get_srs
• precomputed_srs::get_srs_generic
• precomputed_srs::get_srs_test
• prover::internal_traces::start_tracing
• prover::internal_traces::take_traces
• prover_index::testing::new_index_for_test
• prover_index::testing::new_index_for_test_with_lookups
• prover_index::testing::new_index_for_test_with_lookups_and_custom_srs
• snarky::constraint_system::canonicalize
• snarky::poseidon::poseidon
• verifier::batch_verify
• verifier::verify

Type Definitions

• circuits::berkeley_columns::E
• circuits::expr::ConstantExpr
• circuits::expr::Expr
• circuits::gate::CircuitGateResult
• circuits::lookup::lookups::JointLookupSpec
• circuits::lookup::lookups::JointLookupValue
• circuits::polynomials::foreign_field_common::KimchiForeignElement
• circuits::wires::GateWires
• snarky::cvar::ScaledCVar
• snarky::cvar::Term
• snarky::errors::SnarkyCompileResult
• snarky::errors::SnarkyResult
• snarky::errors::SnarkyRuntimeResult
• verifier::Result

Constants

• circuits::constraints::NUM_CHUNKS_BY_DEFAULT
• circuits::constraints::ZK_ROWS_BY_DEFAULT
• circuits::lookup::constraints::CONSTRAINTS
• circuits::lookup::tables::RANGE_CHECK_TABLE_ID
• circuits::lookup::tables::XOR_TABLE_ID
• circuits::lookup::tables::range_check::RANGE_CHECK_UPPERBOUND
• circuits::lookup::tables::range_check::TABLE_SIZE
• circuits::lookup::tables::xor::TABLE_SIZE
• circuits::polynomials::foreign_field_common::BINARY_MODULUS_EXP
• circuits::polynomials::foreign_field_common::HI
• circuits::polynomials::foreign_field_common::LIMB_BITS
• circuits::polynomials::foreign_field_common::LIMB_COUNT
• circuits::polynomials::foreign_field_common::LO
• circuits::polynomials::foreign_field_common::MI
• circuits::polynomials::foreign_field_common::TWO_TO_LIMB
• circuits::polynomials::foreign_field_mul::gadget::GATE_COUNT
• circuits::polynomials::generic::CONSTRAINTS
• circuits::polynomials::generic::DOUBLE_GENERIC_COEFFS
• circuits::polynomials::generic::DOUBLE_GENERIC_REGISTERS
• circuits::polynomials::generic::GENERIC_COEFFS
• circuits::polynomials::generic::GENERIC_REGISTERS
• circuits::polynomials::keccak::OFF
• circuits::polynomials::keccak::RC
• circuits::polynomials::keccak::constants::CAPACITY_IN_BYTES
• circuits::polynomials::keccak::constants::CHI_SHIFTS_B_LEN
• circuits::polynomials::keccak::constants::CHI_SHIFTS_B_OFF
• circuits::polynomials::keccak::constants::CHI_SHIFTS_SUM_LEN
• circuits::polynomials::keccak::constants::CHI_SHIFTS_SUM_OFF
• circuits::polynomials::keccak::constants::DIM
• circuits::polynomials::keccak::constants::IOTA_STATE_G_LEN
• circuits::polynomials::keccak::constants::IOTA_STATE_G_OFF
• circuits::polynomials::keccak::constants::KECCAK_COLS
• circuits::polynomials::keccak::constants::PIRHO_DENSE_E_LEN
• circuits::polynomials::keccak::constants::PIRHO_DENSE_E_OFF
• circuits::polynomials::keccak::constants::PIRHO_DENSE_ROT_E_LEN
• circuits::polynomials::keccak::constants::PIRHO_DENSE_ROT_E_OFF
• circuits::polynomials::keccak::constants::PIRHO_EXPAND_ROT_E_LEN
• circuits::polynomials::keccak::constants::PIRHO_EXPAND_ROT_E_OFF
• circuits::polynomials::keccak::constants::PIRHO_QUOTIENT_E_LEN
• circuits::polynomials::keccak::constants::PIRHO_QUOTIENT_E_OFF
• circuits::polynomials::keccak::constants::PIRHO_REMAINDER_E_LEN
• circuits::polynomials::keccak::constants::PIRHO_REMAINDER_E_OFF
• circuits::polynomials::keccak::constants::PIRHO_SHIFTS_E_LEN
• circuits::polynomials::keccak::constants::PIRHO_SHIFTS_E_OFF
• circuits::polynomials::keccak::constants::QUARTERS
• circuits::polynomials::keccak::constants::RATE_IN_BYTES
• circuits::polynomials::keccak::constants::ROUNDS
• circuits::polynomials::keccak::constants::SHIFTS
• circuits::polynomials::keccak::constants::SHIFTS_LEN
• circuits::polynomials::keccak::constants::SPONGE_BYTES_LEN
• circuits::polynomials::keccak::constants::SPONGE_BYTES_OFF
• circuits::polynomials::keccak::constants::SPONGE_COLS
• circuits::polynomials::keccak::constants::SPONGE_NEW_BLOCK_LEN
• circuits::polynomials::keccak::constants::SPONGE_NEW_BLOCK_OFF
• circuits::polynomials::keccak::constants::SPONGE_NEW_STATE_LEN
• circuits::polynomials::keccak::constants::SPONGE_NEW_STATE_OFF
• circuits::polynomials::keccak::constants::SPONGE_OLD_STATE_LEN
• circuits::polynomials::keccak::constants::SPONGE_OLD_STATE_OFF
• circuits::polynomials::keccak::constants::SPONGE_SHIFTS_LEN
• circuits::polynomials::keccak::constants::SPONGE_SHIFTS_OFF
• circuits::polynomials::keccak::constants::SPONGE_XOR_STATE_LEN
• circuits::polynomials::keccak::constants::SPONGE_XOR_STATE_OFF
• circuits::polynomials::keccak::constants::SPONGE_ZEROS_LEN
• circuits::polynomials::keccak::constants::SPONGE_ZEROS_OFF
• circuits::polynomials::keccak::constants::STATE_LEN
• circuits::polynomials::keccak::constants::THETA_DENSE_C_LEN
• circuits::polynomials::keccak::constants::THETA_DENSE_C_OFF
• circuits::polynomials::keccak::constants::THETA_DENSE_ROT_C_LEN
• circuits::polynomials::keccak::constants::THETA_DENSE_ROT_C_OFF
• circuits::polynomials::keccak::constants::THETA_EXPAND_ROT_C_LEN
• circuits::polynomials::keccak::constants::THETA_EXPAND_ROT_C_OFF
• circuits::polynomials::keccak::constants::THETA_QUOTIENT_C_LEN
• circuits::polynomials::keccak::constants::THETA_QUOTIENT_C_OFF
• circuits::polynomials::keccak::constants::THETA_REMAINDER_C_LEN
• circuits::polynomials::keccak::constants::THETA_REMAINDER_C_OFF
• circuits::polynomials::keccak::constants::THETA_SHIFTS_C_LEN
• circuits::polynomials::keccak::constants::THETA_SHIFTS_C_OFF
• circuits::polynomials::keccak::constants::THETA_STATE_A_LEN
• circuits::polynomials::keccak::constants::THETA_STATE_A_OFF
• circuits::polynomials::permutation::CONSTRAINTS
• circuits::polynomials::poseidon::POS_ROWS_PER_HASH
• circuits::polynomials::poseidon::ROUNDS_PER_HASH
• circuits::polynomials::poseidon::ROUNDS_PER_ROW
• circuits::polynomials::poseidon::SPONGE_WIDTH
• circuits::polynomials::poseidon::STATE_ORDER
• circuits::polynomials::range_check::gadget::GATE_COUNT
• circuits::polynomials::turshi::CIRCUIT_GATE_COUNT
• circuits::wires::COLUMNS
• circuits::wires::PERMUTS
• circuits::wires::WIRES
• precomputed_srs::SERIALIZED_SRS_SIZE
• prover::internal_traces::TRACES