// the find
0xMiden/miden-vm
STARK-based virtual machine
Miden VM is a STARK-based zero-knowledge virtual machine written in Rust, part of the Polygon Miden ecosystem. You write programs in Miden Assembly, execute them, and get a cryptographic proof that the execution was correct — without the verifier needing to re-run anything. It's aimed at ZK application developers who need a general-purpose VM rather than writing circuits by hand.
The architecture is well-decomposed: core, assembly, processor, AIR, prover, and verifier are separate crates with clear ownership, which makes the codebase navigable even if the math is dense. The nondeterminism and customizable host design is genuinely useful — you can feed secret witness data to the VM and prove you used it correctly without exposing it in the proof. Multi-core proof generation via rayon is a first-class feature, not an afterthought, with real benchmark numbers across several machine classes. The precompiles design (deferring expensive ops to the host while still producing auditable STARK evidence) is a smart escape hatch for operations that would be prohibitively expensive natively.
Memory consumption at proof time is brutal — 2.9 GB for 2^18 cycles and 11 GB for 2^20 on a single core. That puts any serious workload out of reach on developer laptops and makes cloud deployment costs non-trivial. The project is explicitly alpha and unaudited, so production use is off the table regardless of how mature the code looks. Recursive proof verification is listed as planned but not yet shipped, which is the feature most ZK applications actually need to compose proofs efficiently. The assembly language is the only high-level interface; there's no higher-level language or compiler targeting Miden, meaning developers are stuck writing and debugging stack machine code directly.