Module circuit_builder 

Structs

ConstraintBuilder

Builds constraint systems symbolically by recording operations as constraints.

ConstraintSystemIR

Intermediate representation of a constraint system that can be manipulated and optimized.

InstanceGenerator

Reconstructs the public input vector [constants | inout | derived] on the verifier side by re-running the circuit function.

PublicWire

Wire type for InstanceGenerator: holds the field value of a public wire (a constant, inout, or derived value the verifier can compute) and is None for private/precommit wires, whose values the verifier does not know. A wire being Some mirrors WireKind::is_public, so the derived-vs-private branching stays aligned with the other builders.

WireAllocator

WitnessError

WitnessGenerator

Generates witness values by evaluating circuit operations with concrete field elements.

WitnessWire

Enums

WireStatus

Status of a private wire during optimization.

Traits

CircuitBuilder

Common interface for circuit construction and witness generation.