Module halo2_proofs::dev
source · [−]Expand description
Tools for developing circuits.
Modules
Metadata about circuits.
Structs
A struct for collecting and displaying the gates within a circuit.
A test prover for debugging circuits.
Enums
The location within the circuit at which a particular
VerifyFailure occurred.The reasons why a particular circuit is not satisfied.