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
26
27
28
29
30
31
32

//! Stack constraints module.
//!
//! This module exposes the general stack transition, stack ops, stack arith/u32, stack crypto,
//! and stack overflow constraints.

pub mod columns;
pub mod crypto;
pub mod general;
pub mod ops;
pub mod overflow;
pub mod stack_arith;

use crate::{MainCols, MidenAirBuilder, constraints::op_flags::OpFlags};

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

/// Enforces stack main-trace constraints for this group.
pub fn enforce_main<AB>(
    builder: &mut AB,
    local: &MainCols<AB::Var>,
    next: &MainCols<AB::Var>,
    op_flags: &OpFlags<AB::Expr>,
) where
    AB: MidenAirBuilder,
{
    general::enforce_main(builder, local, next, op_flags);
    overflow::enforce_main(builder, local, next, op_flags);
    ops::enforce_main(builder, local, next, op_flags);
    crypto::enforce_main(builder, local, next, op_flags);
    stack_arith::enforce_main(builder, local, next, op_flags);
}