Module dev

Tools for developing circuits.

Modules

• metadata
  Metadata about circuits.

Structs

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

Enums

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