Module circuit_elem 

Generic field element over a pluggable CircuitBuilder backend.

CircuitElem<F, B> is a field element that is either a known Constant or a Wire in a CircuitBuilder B. The arithmetic-trait impls on CircuitElem are written once and reused across all backends; each operation either folds constants at the F level or delegates to the builder’s add/mul/hint/… on the wire type B::Wire. The backends are the frontend builders themselves:

• ConstraintBuilder — symbolic constraint recording (used by IronSpartanBuilderChannel).
• InstanceGenerator — reconstructs the public-input vector during verification (used by ZKWrappedVerifierChannel).
• WitnessGenerator — concrete evaluation that fills a witness (used by binius_spartan_prover::wrapper::ReplayChannel).

Enums

CircuitElem

A field element that is either a known constant or a wire in a CircuitBuilder B.