EVM at Risc0 Run Solidity code inside SputnikVM inside Risc0. Just run it. It requires solc. $ just prove