Post by @nradix • Hey

https://www.risc0.com/ is creating ZKVM for riscV which means general software could be compiled to it and proof can be constructed that proves that they w