📄️ Operand Stack
Stack rules and restrictions.
📄️ Stack Operation Constraints
Operation-specific constraints.
📄️ System Operations
AIR constraints for Miden VM system operations.
📄️ Field Operations
AIR constraints for Miden VM field operations.
📄️ u32 Operations
Semantics and AIR constraints of operations over u32 values.
📄️ Stack Manipulation
AIR constraints for Miden VM stack manipulation operations.
📄️ I/O Operations
AIR constraints for Miden VM input / output operations.
📄️ Cryptographic Operations
AIR constraints for Miden VM cryptographic operations.