0xMiden/miden-vm

0xMiden / miden‑vm is an open‑source, STARK‑powered virtual machine designed for executing cryptographically verifiable programs. It provides a high‑performance