The new prover, which is an open-sourced zero-knowledge virtual machine (zkVM), is based on RISC-V, a newer programming framework that Ethereum co-founder Vitalik Buterin has suggested to replace the current EVM, because it will make the blockchain more efficient.