The new prover, which is based on RISC-V, a newer programming framework that Ethereum co-founder Vitalik Buterin has suggested to replace the current EVM with.