Next-generation Proof-generating Virtual Machine for the Tezos Smart Rollups - View it on GitHub