3 Repositories
Rust miden-ir Libraries
MidenIR for compiling to Miden Assembly from higher-level languages
Miden IR This repository provides a compiler for the Miden VM, specifically for Miden Assembly. It does this by lowering from a higher-level intermedi
10 Mar 30, 2023
A domain-specific language for writing AIR constraints for Miden VM
AirScript A domain-specific language for expressing AIR constraints for STARKs, especially for STARK-based virtual machines like Miden VM. An in-depth
16 Nov 9, 2022
A domain-specific language for writing AIR constraints for Miden VM
AirScript A domain specific language to write AIR constraints for the Miden VM. NOTE: This project is in the initial stages of development. Overview A
25 Dec 23, 2022