Module 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.

MockProver

A test prover for debugging circuits.

Enums

FailureLocation

The location within the circuit at which a particular VerifyFailure occurred.

VerifyFailure

The reasons why a particular circuit is not satisfied.