miden-air 0.22.3

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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

//! Chiplets constraints module (partial).
//!
//! Currently we implement:
//! - chiplet selector constraints
//! - hasher chiplet main-trace constraints
//! - bitwise chiplet main-trace constraints
//! - memory chiplet main-trace constraints
//! - ACE chiplet main-trace constraints
//! - kernel ROM chiplet main-trace constraints
//!
//! Chiplet bus constraints are enforced in the `chiplets::bus` module.

pub mod ace;
pub mod bitwise;
pub mod bus;
pub mod hasher;
pub mod kernel_rom;
pub mod memory;
pub mod selectors;

use miden_crypto::stark::air::LiftedAirBuilder;

use crate::{Felt, MainTraceRow};

// ENTRY POINTS
// ================================================================================================

/// Enforces chiplets main-trace constraints.
pub fn enforce_main<AB>(
    builder: &mut AB,
    local: &MainTraceRow<AB::Var>,
    next: &MainTraceRow<AB::Var>,
) where
    AB: LiftedAirBuilder<F = Felt>,
{
    selectors::enforce_chiplet_selectors(builder, local, next);
    hasher::enforce_hasher_constraints(builder, local, next);
    bitwise::enforce_bitwise_constraints(builder, local, next);
    memory::enforce_memory_constraints(builder, local, next);
    ace::enforce_ace_constraints(builder, local, next);
    kernel_rom::enforce_kernel_rom_constraints(builder, local, next);
}