miden-air 0.25.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

//! Miden VM LogUp lookup argument wiring.
//!
//! ## What lives here
//!
//! - [`main_air`]: main-trace lookup columns and their shared row context.
//! - [`chiplet_air`]: chiplet-trace lookup columns and their shared row context.
//! - [`miden_air`]: boundary corrections and committed-final metadata.
//! - [`messages`]: denominator encodings and bus identifiers.
//! - [`buses`]: per-bus emitters used by the main and chiplet lookup AIRs.
//! - [`extension_impls`]: adapter-specific builder hooks for constraint, prover, and debug paths.

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};