Module halo2_proofs::dev

Tools for developing circuits.

Re-exports

• pub use cost::CircuitCost;

Modules

• cost
  Developer tools for investigating the cost of a circuit.
• metadata
  Metadata about circuits.

Structs

• CircuitGates
  A struct for collecting and displaying the gates within a circuit.
• CircuitLayoutdev-graph
  Graphical renderer for circuit layouts.
• MockProver
  A test prover for debugging circuits.
• TracingFloorPlanner
  A helper type that augments a FloorPlanner with tracing spans and events.

Enums

• FailureLocation
  The location within the circuit at which a particular VerifyFailure occurred.
• VerifyFailure
  The reasons why a particular circuit is not satisfied.

Functions

• circuit_dot_graphdev-graph
  Builds a dot graph string representing the given circuit.