Trace-generating virtual machine for the Maat programming language
CPU constraint system (AIR) for the Maat programming language
Stack-based virtual machine for the Maat programming language
Zero knowledge STARK prover and verifier for the Maat programming language
The Maat programming language -- Rust-native syntax for writing zero-knowledge proofs
Bytecode code generation for the Maat programming language
Bytecode format and serialization for the Maat virtual machine (MVM)