miden-air 0.23.0

Algebraic intermediate representation of Miden VM processor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//! Miden-side wiring for the LogUp lookup-argument module.
//!
//! Holds the Miden-specific pieces: the [`MainLookupAir`](main_air::MainLookupAir) and
//! [`ChipletLookupAir`](chiplet_air::ChipletLookupAir) sub-AIRs, the seven bus emitters
//! (plus the [`lookup_op_flags`](buses::lookup_op_flags) helper) in [`buses`], the
//! shared [`emit_miden_boundary`](miden_air::emit_miden_boundary) function, the
//! [`MIDEN_COLUMN_SHAPE`](miden_air::MIDEN_COLUMN_SHAPE) and
//! [`NUM_LOGUP_COMMITTED_FINALS`](miden_air::NUM_LOGUP_COMMITTED_FINALS) constants, and the
//! Miden-side extension-trait impls pinning the generic
//! [`ConstraintLookupBuilder`](crate::lookup::ConstraintLookupBuilder) /
//! [`ProverLookupBuilder`](crate::lookup::ProverLookupBuilder) adapters to the Miden
//! `LookupBuilder<F = Felt>` trait.
//!
//! The `LookupAir` and `AuxBuilder` trait impls themselves live on
//! [`crate::ProcessorAir`]; the field-polymorphic core (traits, adapters, accumulators,
//! debug walkers) lives in [`crate::lookup`].

pub(crate) mod buses;
pub mod chiplet_air;
mod extension_impls;
pub mod main_air;
pub mod messages;
pub mod miden_air;

pub use messages::{BusId, MIDEN_MAX_MESSAGE_WIDTH};