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 pass_through(&mut self, count: usize, storage: ColumnType) -> ColRange

Commits count storage columns that constraints see whole, as one expander entry: columns merges adjacent same-type runs and the entries enter program_id.

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

Commits count storage columns (B8 to B64) that constraints see as bits: bits(i).at(k) is bit k of column i. reuse_pass_through also shows them whole.

pub fn reuse_pass_through(&mut self, src: impl Into<PhysRange>) -> ColRange

Lets constraints read committed columns src whole without committing them again: the Packed from expand_bits or a slice of Mounted::physical().

pub fn reuse_expand_bits(&mut self, src: impl Into<PhysRange>) -> Packed

Lets constraints read committed columns src as bits without committing them again. Bit numbering and the B8 to B64 limit are those of expand_bits.

pub fn physical(&self, cols: ColRange) -> Result<PhysRange>

Committed columns behind cols, a range of declared columns or of a whole-column view.

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 attach_namespaced( &mut self, namespace: &str, defs: Vec<ChipletDef<F>>, external: &[&str], ) -> Result<()>

Attaches defs as independent tables, renaming every bus but external to "{namespace}::{id}": two attached groups whose buses share an id cannot trade tokens.

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.