Module halo2_frontend::dev

Tools for developing circuits.

Re-exports

• pub use cost::CircuitCost;

Modules

• cost
  Developer tools for investigating the cost of a circuit.
• 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

• 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

• 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_graphdev-graph
  Builds a dot graph string representing the given circuit.