Miden has its own virtual machine.
Not the EVM.
The Miden VM was designed from scratch to make ZK proving efficient.
Instructions are written in Miden Assembly.
Programs compile into execution traces.
Traces become proofs.
This matters because the EVM was never designed with ZK in mind.
Adapting it to ZK is expensive and limiting.
Building a VM for ZK from the ground up means proofs are cheaper, faster, and more expressive.
Most ZK rollups inherit the EVM's constraints.
Miden chose not to.
@0xMiden