Module halo2_proofs::dev::cost_model

The cost estimator takes high-level parameters for a circuit design, and estimates the verification cost, as well as resulting proof size.

Structs

• CostOptions
  Options to build a circuit specification to measure the cost model of.
• Lookup
  Structure holding the Lookup related data for circuit benchmarks.
• ModelCircuit
  High-level specifications of an abstract circuit.
• Permutation
  Number of permutation enabled columns
• Poly
  Structure holding polynomial related data for benchmarks
• Shuffle
  Structure holding the Shuffle related data for circuit benchmarks.

Enums

• CommitmentScheme
  Supported commitment schemes

Functions

• from_circuit_to_cost_model_options
  Given a Plonk circuit, this function returns CostOptions
• from_circuit_to_model_circuit
  Given a Plonk circuit, this function returns a ModelCircuit