Omong-omong, proposal @VitalikButerin baru-baru ini seputar penggantian EVM dengan RISC-V didasarkan pada hasil yang kami temukan dalam makalah ini tentang overhead pembuktian 800x EVM di SP1. Beberapa angka dari makalah: