Struct FactoredMultiAirCircuit 

pub struct FactoredMultiAirCircuit<EF> { /* private fields */ }

Multi-AIR ACE circuit factored into a per-order shuffle section and an order-invariant common section.

The common section is emitted once from the canonical (instance-order) DAG, which is what makes its encoding — and therefore H(common) — well-defined across proof orders; see the factored module for the section layout.

Implementations

impl<EF: Field> FactoredMultiAirCircuit<EF>

pub fn layout(&self) -> &InputLayout

Return the input layout shared by every proof order.

pub fn num_shuffle_ops(&self) -> usize

Number of shuffle-section ops (also the section length in stream felts).

pub fn num_airs(&self) -> usize

Number of AIR instances in the composition.

pub fn encode_shuffle_section_for_order<'a>( &self, proof_order: &[usize], buffer: &'a mut ShuffleEncodeBuffer, ) -> Result<&'a [Felt], AceError>

Encode only this proof order’s shuffle section into buffer.

This is the registry path: it skips circuit assembly and the order-invariant remainder of the stream, so a caller enumerating every ordering touches only the per-order bytes. buffer may be reused across calls; the returned slice borrows it (the borrow checker rules out overlapping calls), so hash the felts, then encode the next order.

pub fn circuit_for_order( &self, proof_order: &[usize], ) -> Result<AceCircuit<EF>, AceError>

Assemble the full circuit for one proof order.

proof_order must be a permutation of 0..num_airs listing instance indices in the committed (height-sorted) trace order.

Trait Implementations

impl<EF: Clone> Clone for FactoredMultiAirCircuit<EF>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<EF: Debug> Debug for FactoredMultiAirCircuit<EF>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.