Awesome

EVM at Risc0

Run Solidity code inside SputnikVM inside Risc0.

Just run it. It requires solc.

$ just prove