Expand description
Tools for developing circuits.
Modules§
- metadata
- Metadata about circuits.
Structs§
- Circuit
Gates - A struct for collecting and displaying the gates within a circuit.
- Mock
Prover - A test prover for debugging circuits.
- Tracing
Floor Planner - A helper type that augments a
FloorPlannerwithtracingspans and events.
Enums§
- Advice
Cell Value - The value of a particular cell within the circuit.
- Cell
Value - The value of a particular cell within the circuit.
- Failure
Location - The location within the circuit at which a particular
VerifyFailureoccurred. - Verify
Failure - The reasons why a particular circuit is not satisfied.