Bytecode format and serialization for the Maat virtual machine (MVM)
Bytecode code generation for the Maat programming language
The Maat programming language -- Rust-native syntax for writing zero-knowledge proofs
Module system and multi-file compilation for the Maat programming language
Runtime value system for the Maat programming language
Trace-generating virtual machine for the Maat programming language
Zero knowledge STARK prover and verifier for the Maat programming language
Stack-based virtual machine for the Maat programming language
Source span and location types for the Maat compiler