Struct EmbeddedCircuit 

pub struct EmbeddedCircuit {
    pub circuit: Circuit,
    pub chip_calls: Vec<ChipCall>,
}

One chip of a CircuitM4, as the circuit that generates its witness.

The chip’s interface is its circuit’s inout segment: a call site supplies those words positionally, and every value the chip holds beyond them is derived from them. An inout wire the call does not reach is filled with zero.

A wire promoted with CircuitBuilder::mark_inout serves as well as one declared with CircuitBuilder::add_inout. Witness generation assigns every inout wire from the call data, then evaluation recomputes the promoted ones over it. Nothing checks that the two agree, and nothing has to: where they disagree the row stops matching the call site, which is what the chip call itself enforces.

That is what lets a caller pass a chip’s output. The caller is populated whole before its calls are read, so it holds the output already — generally from a hint, whose correctness the chip call is what constrains.

Fields

circuit: Circuit

The circuit generating one instance of the chip.

chip_calls: Vec<ChipCall>

The chips this one delegates subrelations to, one entry per call per instance.