pub struct ProcessorAir;Expand description
Miden VM Processor AIR implementation.
Auxiliary trace building is handled separately via AuxBuilder.
Public-input-dependent boundary checks are performed in LiftedAir::reduced_aux_values.
Aux columns are NOT initialized with boundary terms – they start at identity. The verifier
independently computes expected boundary messages from variable length public values and checks
them against the final column values.
Trait Implementations§
Source§impl BaseAir<Felt> for ProcessorAir
impl BaseAir<Felt> for ProcessorAir
Source§fn num_public_values(&self) -> usize
fn num_public_values(&self) -> usize
Return the number of expected public values.
§fn preprocessed_trace(&self) -> Option<DenseMatrix<F>>
fn preprocessed_trace(&self) -> Option<DenseMatrix<F>>
Return an optional preprocessed trace matrix to be included in the prover’s trace.
§fn main_next_row_columns(&self) -> Vec<usize>
fn main_next_row_columns(&self) -> Vec<usize>
Which main trace columns have their next row accessed by this AIR’s
constraints. Read more
§fn preprocessed_next_row_columns(&self) -> Vec<usize>
fn preprocessed_next_row_columns(&self) -> Vec<usize>
Which preprocessed trace columns have their next row accessed by this
AIR’s constraints. Read more
§fn num_constraints(&self) -> Option<usize>
fn num_constraints(&self) -> Option<usize>
Optional hint for the number of constraints in this AIR. Read more
§fn max_constraint_degree(&self) -> Option<usize>
fn max_constraint_degree(&self) -> Option<usize>
Optional hint for the maximum constraint degree in this AIR. Read more
Source§impl Clone for ProcessorAir
impl Clone for ProcessorAir
Source§fn clone(&self) -> ProcessorAir
fn clone(&self) -> ProcessorAir
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ProcessorAir
impl Debug for ProcessorAir
Source§impl Default for ProcessorAir
impl Default for ProcessorAir
Source§fn default() -> ProcessorAir
fn default() -> ProcessorAir
Returns the “default value” for a type. Read more
Source§impl<EF: ExtensionField<Felt>> LiftedAir<Felt, EF> for ProcessorAir
impl<EF: ExtensionField<Felt>> LiftedAir<Felt, EF> for ProcessorAir
Source§fn num_var_len_public_inputs(&self) -> usize
fn num_var_len_public_inputs(&self) -> usize
Returns the number of variable-length public input slices.
The Miden VM AIR uses a single variable-length slice that contains all kernel
procedure digests as concatenated field elements (each digest is WORD_SIZE
elements). The verifier framework uses this count to validate that the correct
number of slices is provided.
Source§fn periodic_columns(&self) -> Vec<Vec<Felt>>
fn periodic_columns(&self) -> Vec<Vec<Felt>>
Return the periodic table data: a list of columns, each a
Vec<F> of evaluations. Read moreSource§fn num_randomness(&self) -> usize
fn num_randomness(&self) -> usize
Number of extension-field challenges required for the auxiliary trace.
Source§fn num_aux_values(&self) -> usize
fn num_aux_values(&self) -> usize
Number of extension-field aux values committed to the Fiat-Shamir transcript. Read more
Source§fn reduced_aux_values(
&self,
aux_values: &[EF],
challenges: &[EF],
public_values: &[Felt],
var_len_public_inputs: VarLenPublicInputs<'_, Felt>,
) -> Result<ReducedAuxValues<EF>, ReductionError>where
EF: ExtensionField<Felt>,
fn reduced_aux_values(
&self,
aux_values: &[EF],
challenges: &[EF],
public_values: &[Felt],
var_len_public_inputs: VarLenPublicInputs<'_, Felt>,
) -> Result<ReducedAuxValues<EF>, ReductionError>where
EF: ExtensionField<Felt>,
Reduce this AIR’s aux values to a [
ReducedAuxValues] contribution. Read moreSource§fn eval<AB: LiftedAirBuilder<F = Felt>>(&self, builder: &mut AB)
fn eval<AB: LiftedAirBuilder<F = Felt>>(&self, builder: &mut AB)
Evaluate all AIR constraints using the provided builder.
§fn periodic_columns_matrix(&self) -> Option<DenseMatrix<F>>
fn periodic_columns_matrix(&self) -> Option<DenseMatrix<F>>
Return a matrix with all periodic columns extended to a common height. Read more
§fn air_layout(&self) -> AirLayout
fn air_layout(&self) -> AirLayout
Return the [
AirLayout] describing this AIR’s dimensions. Read more§fn log_quotient_degree(&self) -> usizewhere
Self: Sized,
fn log_quotient_degree(&self) -> usizewhere
Self: Sized,
Log₂ of the number of quotient chunks, inferred from symbolic constraint analysis. Read more
§fn constraint_degree(&self) -> usizewhere
Self: Sized,
fn constraint_degree(&self) -> usizewhere
Self: Sized,
Number of quotient chunks:
2^log_quotient_degree().§fn is_valid_builder<AB>(&self, builder: &AB) -> Result<(), AirValidationError>where
AB: LiftedAirBuilder<F = F>,
fn is_valid_builder<AB>(&self, builder: &AB) -> Result<(), AirValidationError>where
AB: LiftedAirBuilder<F = F>,
Check that a builder’s dimensions match this AIR. Read more
impl Copy for ProcessorAir
Auto Trait Implementations§
impl Freeze for ProcessorAir
impl RefUnwindSafe for ProcessorAir
impl Send for ProcessorAir
impl Sync for ProcessorAir
impl Unpin for ProcessorAir
impl UnsafeUnpin for ProcessorAir
impl UnwindSafe for ProcessorAir
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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§impl<D> OwoColorize for D
impl<D> OwoColorize for D
§fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where
C: Color,
fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where
C: Color,
Set the foreground color generically Read more
§fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where
C: Color,
fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where
C: Color,
Set the background color generically. Read more
§fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>
fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>
Change the background color to magenta
§fn default_color(&self) -> FgColorDisplay<'_, Default, Self>
fn default_color(&self) -> FgColorDisplay<'_, Default, Self>
Change the foreground color to the terminal default
§fn on_default_color(&self) -> BgColorDisplay<'_, Default, Self>
fn on_default_color(&self) -> BgColorDisplay<'_, Default, Self>
Change the background color to the terminal default
§fn bright_black(&self) -> FgColorDisplay<'_, BrightBlack, Self>
fn bright_black(&self) -> FgColorDisplay<'_, BrightBlack, Self>
Change the foreground color to bright black
§fn on_bright_black(&self) -> BgColorDisplay<'_, BrightBlack, Self>
fn on_bright_black(&self) -> BgColorDisplay<'_, BrightBlack, Self>
Change the background color to bright black
§fn bright_red(&self) -> FgColorDisplay<'_, BrightRed, Self>
fn bright_red(&self) -> FgColorDisplay<'_, BrightRed, Self>
Change the foreground color to bright red
§fn on_bright_red(&self) -> BgColorDisplay<'_, BrightRed, Self>
fn on_bright_red(&self) -> BgColorDisplay<'_, BrightRed, Self>
Change the background color to bright red
§fn bright_green(&self) -> FgColorDisplay<'_, BrightGreen, Self>
fn bright_green(&self) -> FgColorDisplay<'_, BrightGreen, Self>
Change the foreground color to bright green
§fn on_bright_green(&self) -> BgColorDisplay<'_, BrightGreen, Self>
fn on_bright_green(&self) -> BgColorDisplay<'_, BrightGreen, Self>
Change the background color to bright green
§fn bright_yellow(&self) -> FgColorDisplay<'_, BrightYellow, Self>
fn bright_yellow(&self) -> FgColorDisplay<'_, BrightYellow, Self>
Change the foreground color to bright yellow
§fn on_bright_yellow(&self) -> BgColorDisplay<'_, BrightYellow, Self>
fn on_bright_yellow(&self) -> BgColorDisplay<'_, BrightYellow, Self>
Change the background color to bright yellow
§fn bright_blue(&self) -> FgColorDisplay<'_, BrightBlue, Self>
fn bright_blue(&self) -> FgColorDisplay<'_, BrightBlue, Self>
Change the foreground color to bright blue
§fn on_bright_blue(&self) -> BgColorDisplay<'_, BrightBlue, Self>
fn on_bright_blue(&self) -> BgColorDisplay<'_, BrightBlue, Self>
Change the background color to bright blue
§fn bright_magenta(&self) -> FgColorDisplay<'_, BrightMagenta, Self>
fn bright_magenta(&self) -> FgColorDisplay<'_, BrightMagenta, Self>
Change the foreground color to bright magenta
§fn on_bright_magenta(&self) -> BgColorDisplay<'_, BrightMagenta, Self>
fn on_bright_magenta(&self) -> BgColorDisplay<'_, BrightMagenta, Self>
Change the background color to bright magenta
§fn bright_purple(&self) -> FgColorDisplay<'_, BrightMagenta, Self>
fn bright_purple(&self) -> FgColorDisplay<'_, BrightMagenta, Self>
Change the foreground color to bright purple
§fn on_bright_purple(&self) -> BgColorDisplay<'_, BrightMagenta, Self>
fn on_bright_purple(&self) -> BgColorDisplay<'_, BrightMagenta, Self>
Change the background color to bright purple
§fn bright_cyan(&self) -> FgColorDisplay<'_, BrightCyan, Self>
fn bright_cyan(&self) -> FgColorDisplay<'_, BrightCyan, Self>
Change the foreground color to bright cyan
§fn on_bright_cyan(&self) -> BgColorDisplay<'_, BrightCyan, Self>
fn on_bright_cyan(&self) -> BgColorDisplay<'_, BrightCyan, Self>
Change the background color to bright cyan
§fn bright_white(&self) -> FgColorDisplay<'_, BrightWhite, Self>
fn bright_white(&self) -> FgColorDisplay<'_, BrightWhite, Self>
Change the foreground color to bright white
§fn on_bright_white(&self) -> BgColorDisplay<'_, BrightWhite, Self>
fn on_bright_white(&self) -> BgColorDisplay<'_, BrightWhite, Self>
Change the background color to bright white
§fn blink_fast(&self) -> BlinkFastDisplay<'_, Self>
fn blink_fast(&self) -> BlinkFastDisplay<'_, Self>
Make the text blink (but fast!)
Hide the text
§fn strikethrough(&self) -> StrikeThroughDisplay<'_, Self>
fn strikethrough(&self) -> StrikeThroughDisplay<'_, Self>
Cross out the text
§fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>where
Color: DynColor,
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§fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>where
Color: DynColor,
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§fn fg_rgb<const R: u8, const G: u8, const B: u8>(
&self,
) -> FgColorDisplay<'_, CustomColor<R, G, B>, Self>
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.
§fn bg_rgb<const R: u8, const G: u8, const B: u8>(
&self,
) -> BgColorDisplay<'_, CustomColor<R, G, B>, Self>
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.
§fn truecolor(&self, r: u8, g: u8, b: u8) -> FgDynColorDisplay<'_, Rgb, Self>
fn truecolor(&self, r: u8, g: u8, b: u8) -> FgDynColorDisplay<'_, Rgb, Self>
Sets the foreground color to an RGB value.
§fn on_truecolor(&self, r: u8, g: u8, b: u8) -> BgDynColorDisplay<'_, Rgb, Self>
fn on_truecolor(&self, r: u8, g: u8, b: u8) -> BgDynColorDisplay<'_, Rgb, Self>
Sets the background color to an RGB value.