Struct Chiplets 

pub struct Chiplets {
    pub hasher: Hasher,
    pub bitwise: Bitwise,
    pub memory: Memory,
    pub ace: Ace,
    pub kernel_rom: KernelRom,
}

This module manages the VM’s hasher, bitwise, memory, arithmetic circuit evaluation (ACE) and kernel ROM chiplets and is responsible for building a final execution trace from their stacked execution traces and chiplet selectors.

The module’s trace can be thought of as 5 stacked segments in the following form.

The chiplet system uses s_ctrl = column 0 to select the hasher controller. Columns 1-4 (s1..s4) subdivide the remaining region. The final shared data column is row-local: bitwise rows use it as normal/AEAD stream mode, while controller rows use it as the Merkle/padding flag.

• Hasher segment: fills the first rows of the trace up to the hasher trace_len.

  • column 0 (s_ctrl): ONE
  • columns 1-19: hasher-controller trace
  • column 22: Merkle/padding discriminator

• Bitwise segment: begins at the end of the hasher segment.

  • column 0 (s_ctrl): ZERO
  • column 1 (s1): ZERO
  • columns 2-14: execution trace of bitwise chiplet
  • columns 15-21: unused columns padded with ZERO
  • column 22: ZERO for normal bitwise rows

• Memory segment: begins at the end of the bitwise segment.

  • column 0 (s_ctrl): ZERO
  • column 1 (s1): ONE
  • column 2 (s2): ZERO
  • columns 3-19: execution trace of memory chiplet
  • columns 20-21: unused columns padded with ZERO
  • column 22: ZERO

• ACE segment: begins at the end of the memory segment.

  • column 0 (s_ctrl): ZERO
  • column 1-2 (s1, s2): ONE
  • column 3 (s3): ZERO
  • columns 4-20: execution trace of ACE chiplet
  • column 22: ZERO

• Kernel ROM segment: begins at the end of the ACE segment.

  • column 0 (s_ctrl): ZERO
  • columns 1-3 (s1, s2, s3): ONE
  • column 4 (s4): ZERO
  • columns 5-9: execution trace of kernel ROM chiplet
  • columns 10-21: unused columns padded with ZERO
  • column 22: ZERO

• Padding segment: fills the rest of the trace.

  • column 0 (s_ctrl): ZERO
  • columns 1-4 (s1..s4): ONE
  • columns 5-22: ZERO

Column ranges are stable for existing chiplets: controller uses columns 1..20, normal bitwise uses 2..15, memory uses 3..18, ACE uses 4..20, and kernel ROM uses 5..10. AEAD stream rows reuse the bitwise region and use columns 2..21 as payload, with column 22 as the AEAD stream selector.

Fields

hasher: Hasher

bitwise: Bitwise

memory: Memory

ace: Ace

kernel_rom: KernelRom

Implementations

impl Chiplets

pub fn new(kernel: KernelDescriptor) -> Self

Returns a new chiplet set instantiated with the provided kernel descriptor.

pub fn trace_len(&self) -> usize

Returns the chiplets trace length, including the mandatory padding row used by auxiliary connector columns that read the memory chiplet.

pub fn eidos_compression_trace_len(&self) -> usize

Returns the unpadded trace length of the standalone Eidos compression AIR.

pub fn bitwise_start(&self) -> RowIndex

Returns the index of the first row of Bitwise execution trace.

pub fn memory_start(&self) -> RowIndex

Returns the index of the first row of the Memory execution trace.

pub fn ace_start(&self) -> RowIndex

Returns the index of the first row of ACE execution trace.

pub fn kernel_rom_start(&self) -> RowIndex

Returns the index of the first row of KernelRom execution trace.

pub fn padding_start(&self) -> RowIndex

Returns the index of the first row of the padding section of the execution trace.

pub fn append_range_checks(&self, range_checker: &mut RangeChecker)

Adds all range checks required by the memory chiplet to the provided RangeChecker instance.

pub fn append_eidos_compression_range_checks( &self, eidos_compression_height: usize, range_checker: &mut RangeChecker, )

Adds range checks emitted by the standalone Eidos compression AIR.

pub fn into_traces( self, trace_len: usize, eidos_compression_trace_len: usize, ) -> (ChipletsTrace, EidosCompressionTrace, Vec<u64>)

Returns execution traces for ChipletsAir and EidosCompressionAir.

Trait Implementations

impl Debug for Chiplets

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

Formats the value using the given formatter.