Proof of concept for a ZK snark-based VM running Aleo Instructions. - View it on GitHub