Module halo2_proofs::dev

Tools for developing circuits.

Modules

• cost_model
  The cost estimator takes high-level parameters for a circuit design, and estimates the verification cost, as well as resulting proof size.
• metadata
  Metadata about circuits.

Structs

• CircuitLayout
  Graphical renderer for circuit layouts.
• MockProver
  A test prover for debugging circuits.

Enums

• CellValue
  The value of a particular cell within the circuit.
• FailureLocation
  The location within the circuit at which a particular VerifyFailure occurred.
• InstanceValue
  Instance Value
• VerifyFailure
  The reasons why a particular circuit is not satisfied.

Functions

• circuit_dot_graph
  Builds a dot graph string representing the given circuit.