Skip to main content

Chiplets

miden_processor::trace::chiplets

Struct Chiplets 

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

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 6 stacked segments in the following form:

  • Hasher segment: contains the trace and selector for the hasher chiplet. This segment fills the first rows of the trace up to the length of the hasher trace_len.

    • column 0: selector column with values set to ZERO
    • columns 1-16: execution trace of hash chiplet
    • columns 17-20: unused columns padded with ZERO

  • Bitwise segment: contains the trace and selectors for the bitwise chiplet. This segment begins at the end of the hasher segment and fills the next rows of the trace for the trace_len of the bitwise chiplet.

    • column 0: selector column with values set to ONE
    • column 1: selector column with values set to ZERO
    • columns 2-14: execution trace of bitwise chiplet
    • columns 15-20: unused columns padded with ZERO

  • Memory segment: contains the trace and selectors for the memory chiplet. This segment begins at the end of the bitwise segment and fills the next rows of the trace for the trace_len of the memory chiplet.

    • column 0-1: selector columns with values set to ONE
    • column 2: selector column with values set to ZERO
    • columns 3-17: execution trace of memory chiplet
    • columns 18-20: unused columns padded with ZERO

  • ACE segment: contains the trace and selectors for the arithmetic circuit evaluation chiplet. This segment begins at the end of the memory segment and fills the next rows of the trace for the trace_len of the ACE chiplet.

    • column 0-2: selector columns with values set to ONE
    • column 3: selector column with values set to ZERO
    • columns 4-20: execution trace of ACE chiplet

  • Kernel ROM segment: contains the trace and selectors for the kernel ROM chiplet * This segment begins at the end of the memory segment and fills the next rows of the trace for the trace_len of the kernel ROM chiplet.

    • column 0-3: selector columns with values set to ONE
    • column 4: selector column with values set to ZERO
    • columns 5-9: execution trace of kernel ROM chiplet
    • columns 10-20: unused column padded with ZERO

  • Padding segment: unused. This segment begins at the end of the kernel ROM segment and fills the rest of the execution trace minus the number of random rows. When it finishes, the execution trace should have exactly enough rows remaining for the specified number of random rows.

    • columns 0-4: selector columns with values set to ONE
    • columns 5-20: unused columns padded with ZERO

The following is a pictorial representation of the chiplet module:

            +---+--------------------------------------------------------------+------+
            | 0 |                                                              |------|
            | . |         Hash chiplet                                         |------|
            | . |         16 columns                                           |------|
            | . |       constraint degree 8                                    |------|
            | 0 |                                                              |------|
            +---+---+------------------------------------------------------+---+------+
            | 1 | 0 |                                                      |----------|
            | . | . |                  Bitwise chiplet                     |----------|
            | . | . |                    13 columns                        |----------|
            | . | . |               constraint degree 5                    |----------|
            | . | . |                                                      |----------|
            | . | 0 |                                                      |----------|
            | . +---+---+--------------------------------------------------+-----+----+
            | . | 1 | 0 |                                                        |----|
            | . | . | . |            Memory chiplet                              |----|
            | . | . | . |              15 columns                                |----|
            | . | . | . |          constraint degree 9                           |----|
            | . | . | 0 |                                                        |----|
            | . + . +---+---+----------------------------------------------------+----+
            | . | . | 1 | 0 |                                                         |
            | . | . | . | . |          ACE chiplet                                    |
            | . | . | . | . |            16 columns                                   |
            | . | . | . | . |        constraint degree 5                              |
            | . | . | . | 0 |                                                         |
            | . + . | . +---+---+---------------------------+-------------------------+
            | . | . | . | 1 | 0 |                           |-------------------------|
            | . | . | . | . | . |     Kernel ROM chiplet    |-------------------------|
            | . | . | . | . | . |     5 columns             |-------------------------|
            | . | . | . | . | . |     constraint degree 9   |-------------------------|
            | . | . | . | . | 0 |                           |-------------------------|
            | . + . | . | . +---+---+-----------------------+-------------------------+
            | . | . | . | . | 1 | 0 |-------------------------------------------------|
            | . | . | . | . | . | . |-------------------------------------------------|
            | . | . | . | . | . | . |-------------------------------------------------|
            | . | . | . | . | . | . |-------------------------------------------------|
            | . | . | . | . | . | . |-------------------- Padding --------------------|
            | . + . | . | . | . | . |-------------------------------------------------|
            | . | . | . | . | . | . |-------------------------------------------------|
            | . | . | . | . | . | . |-------------------------------------------------|
            | . | . | . | . | . | . |-------------------------------------------------|
            | 1 | 1 | 1 | 1 | 1 | 0 |-------------------------------------------------|
            +---+---+---+---+---------------------------------------------------------+

Fields§

§hasher: Hasher§bitwise: Bitwise§memory: Memory§ace: Ace§kernel_rom: KernelRom

Implementations§

Source§

impl Chiplets

Source

pub fn new(kernel: Kernel) -> Self

Returns a new Chiplets component instantiated with the provided Kernel.

Source

pub fn trace_len(&self) -> usize

Returns the length of the trace required to accommodate chiplet components and 1 mandatory padding row required for ensuring sufficient trace length for auxiliary connector columns that rely on the memory chiplet.

Source

pub fn bitwise_start(&self) -> RowIndex

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

Source

pub fn memory_start(&self) -> RowIndex

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

Source

pub fn ace_start(&self) -> RowIndex

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

Source

pub fn kernel_rom_start(&self) -> RowIndex

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

Source

pub fn padding_start(&self) -> RowIndex

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

Source

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

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

Source

pub fn into_trace( self, trace_len: usize, pc_transcript_state: PrecompileTranscriptState, ) -> ChipletsTrace

Returns an execution trace of the chiplets containing the stacked traces of the Hasher, Bitwise, ACE, Memory chiplets, and kernel ROM chiplet.

Trait Implementations§

Source§

impl Debug for Chiplets

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<D> OwoColorize for D

Source§

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>
where C: Color,

Set the foreground color generically Read more
Source§

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>
where C: Color,

Set the background color generically. Read more
Source§

fn black(&self) -> FgColorDisplay<'_, Black, Self>

Change the foreground color to black
Source§

fn on_black(&self) -> BgColorDisplay<'_, Black, Self>

Change the background color to black
Source§

fn red(&self) -> FgColorDisplay<'_, Red, Self>

Change the foreground color to red
Source§

fn on_red(&self) -> BgColorDisplay<'_, Red, Self>

Change the background color to red
Source§

fn green(&self) -> FgColorDisplay<'_, Green, Self>

Change the foreground color to green
Source§

fn on_green(&self) -> BgColorDisplay<'_, Green, Self>

Change the background color to green
Source§

fn yellow(&self) -> FgColorDisplay<'_, Yellow, Self>

Change the foreground color to yellow
Source§

fn on_yellow(&self) -> BgColorDisplay<'_, Yellow, Self>

Change the background color to yellow
Source§

fn blue(&self) -> FgColorDisplay<'_, Blue, Self>

Change the foreground color to blue
Source§

fn on_blue(&self) -> BgColorDisplay<'_, Blue, Self>

Change the background color to blue
Source§

fn magenta(&self) -> FgColorDisplay<'_, Magenta, Self>

Change the foreground color to magenta
Source§

fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>

Change the background color to magenta
Source§

fn purple(&self) -> FgColorDisplay<'_, Magenta, Self>

Change the foreground color to purple
Source§

fn on_purple(&self) -> BgColorDisplay<'_, Magenta, Self>

Change the background color to purple
Source§

fn cyan(&self) -> FgColorDisplay<'_, Cyan, Self>

Change the foreground color to cyan
Source§

fn on_cyan(&self) -> BgColorDisplay<'_, Cyan, Self>

Change the background color to cyan
Source§

fn white(&self) -> FgColorDisplay<'_, White, Self>

Change the foreground color to white
Source§

fn on_white(&self) -> BgColorDisplay<'_, White, Self>

Change the background color to white
Source§

fn default_color(&self) -> FgColorDisplay<'_, Default, Self>

Change the foreground color to the terminal default
Source§

fn on_default_color(&self) -> BgColorDisplay<'_, Default, Self>

Change the background color to the terminal default
Source§

fn bright_black(&self) -> FgColorDisplay<'_, BrightBlack, Self>

Change the foreground color to bright black
Source§

fn on_bright_black(&self) -> BgColorDisplay<'_, BrightBlack, Self>

Change the background color to bright black
Source§

fn bright_red(&self) -> FgColorDisplay<'_, BrightRed, Self>

Change the foreground color to bright red
Source§

fn on_bright_red(&self) -> BgColorDisplay<'_, BrightRed, Self>

Change the background color to bright red
Source§

fn bright_green(&self) -> FgColorDisplay<'_, BrightGreen, Self>

Change the foreground color to bright green
Source§

fn on_bright_green(&self) -> BgColorDisplay<'_, BrightGreen, Self>

Change the background color to bright green
Source§

fn bright_yellow(&self) -> FgColorDisplay<'_, BrightYellow, Self>

Change the foreground color to bright yellow
Source§

fn on_bright_yellow(&self) -> BgColorDisplay<'_, BrightYellow, Self>

Change the background color to bright yellow
Source§

fn bright_blue(&self) -> FgColorDisplay<'_, BrightBlue, Self>

Change the foreground color to bright blue
Source§

fn on_bright_blue(&self) -> BgColorDisplay<'_, BrightBlue, Self>

Change the background color to bright blue
Source§

fn bright_magenta(&self) -> FgColorDisplay<'_, BrightMagenta, Self>

Change the foreground color to bright magenta
Source§

fn on_bright_magenta(&self) -> BgColorDisplay<'_, BrightMagenta, Self>

Change the background color to bright magenta
Source§

fn bright_purple(&self) -> FgColorDisplay<'_, BrightMagenta, Self>

Change the foreground color to bright purple
Source§

fn on_bright_purple(&self) -> BgColorDisplay<'_, BrightMagenta, Self>

Change the background color to bright purple
Source§

fn bright_cyan(&self) -> FgColorDisplay<'_, BrightCyan, Self>

Change the foreground color to bright cyan
Source§

fn on_bright_cyan(&self) -> BgColorDisplay<'_, BrightCyan, Self>

Change the background color to bright cyan
Source§

fn bright_white(&self) -> FgColorDisplay<'_, BrightWhite, Self>

Change the foreground color to bright white
Source§

fn on_bright_white(&self) -> BgColorDisplay<'_, BrightWhite, Self>

Change the background color to bright white
Source§

fn bold(&self) -> BoldDisplay<'_, Self>

Make the text bold
Source§

fn dimmed(&self) -> DimDisplay<'_, Self>

Make the text dim
Source§

fn italic(&self) -> ItalicDisplay<'_, Self>

Make the text italicized
Source§

fn underline(&self) -> UnderlineDisplay<'_, Self>

Make the text underlined
Make the text blink
Make the text blink (but fast!)
Source§

fn reversed(&self) -> ReversedDisplay<'_, Self>

Swap the foreground and background colors
Source§

fn hidden(&self) -> HiddenDisplay<'_, Self>

Hide the text
Source§

fn strikethrough(&self) -> StrikeThroughDisplay<'_, Self>

Cross out the text
Source§

fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

Set the foreground color at runtime. Only use if you do not know which color will be used at compile-time. If the color is constant, use either OwoColorize::fg or a color-specific method, such as OwoColorize::green, Read more
Source§

fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

Set the background color at runtime. Only use if you do not know what color to use at compile-time. If the color is constant, use either OwoColorize::bg or a color-specific method, such as OwoColorize::on_yellow, Read more
Source§

fn fg_rgb<const R: u8, const G: u8, const B: u8>( &self, ) -> FgColorDisplay<'_, CustomColor<R, G, B>, Self>

Set the foreground color to a specific RGB value.
Source§

fn bg_rgb<const R: u8, const G: u8, const B: u8>( &self, ) -> BgColorDisplay<'_, CustomColor<R, G, B>, Self>

Set the background color to a specific RGB value.
Source§

fn truecolor(&self, r: u8, g: u8, b: u8) -> FgDynColorDisplay<'_, Rgb, Self>

Sets the foreground color to an RGB value.
Source§

fn on_truecolor(&self, r: u8, g: u8, b: u8) -> BgDynColorDisplay<'_, Rgb, Self>

Sets the background color to an RGB value.
Source§

fn style(&self, style: Style) -> Styled<&Self>

Apply a runtime-determined style
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more