Struct Circuit 

pub struct Circuit<F: TowerField> { /* private fields */ }

Recorder for one program: main-table declarations plus mounted and attached chiplets.

Implementations

impl<F: TowerField + HardwareField> Circuit<F>

pub fn new(name: &str, num_rows: usize) -> Result<Self>

Errors

num_rows not a power of two.

pub fn num_rows(&self) -> usize

pub fn cs(&self) -> &ConstraintSystem<F>

Constraint DSL over the recorded columns. Column handles convert via Col::index.

pub fn column(&mut self, ty: ColumnType) -> Col

pub fn schema(&mut self, layout: &[ColumnType]) -> ColRange

Records a define_columns! layout 1:1, physical to virtual. Index the range with the schema’s own constants.

pub fn columns(&mut self, count: usize, ty: ColumnType) -> ColRange

pub fn expand_bits(&mut self, count: usize, storage: ColumnType) -> Packed

count physical storage columns exposed as count × bit-width virtual Bit columns.

pub fn reuse_pass_through(&mut self, packed: &Packed) -> ColRange

Whole-column virtual view of a bit-expanded physical group.

pub fn fix(&mut self, col: Col, shape: FixedShape<F>)

Pins col to shape; the verifier evaluates the shape’s MLE for itself at r_final.

pub fn boundary(&mut self, col: Col, row: usize, value: F)

Constant-target pin; public inputs enter only through publish.

pub fn call( &mut self, service: &Service, values: &[Col], selector: Col, ) -> Result<()>

Requester endpoint of service on this table.

pub fn bus(&mut self, bus_id: &str, spec: PermutationCheckSpec)

Raw bus endpoint for shapes Service does not model (positional, paired, waivered).

pub fn mount(&mut self, def: ChipletDef<F>) -> Mounted

Mounts a chiplet inline: its artifacts and bus endpoints merge into this table at engine-computed offsets.

pub fn mount_unlinked(&mut self, def: ChipletDef<F>) -> Mounted

Mounts a chiplet used as the program’s own trace, whose declared bus has no partner here.

pub fn attach(&mut self, def: ChipletDef<F>)

Attaches a chiplet as an independent table with its own trace, commitment, and ZeroCheck.

pub fn publish(&mut self, col: Col, row: usize) -> usize

Pins col at row to a fresh public input slot, returned. Whether the AIR determines the pinned cell is the audited circuit’s burden, not checked.

pub fn compile(self) -> Result<CircuitProgram<F>>

Derives the program artifacts, running every structural validator on the recording.