GitHub repository: lambdaclass/VMtropy
Primary language: Rust
Description: Proof of concept for a ZK snark-based VM running Aleo Instructions.