É difícil? Sim Nossos bugs de solidez devastadores? Sim Estamos mais perto do que você imagina? Sim Desde o dia 1, sim, no mesmo dia em que lançamos nosso sistema de provas, @RiscZero iniciamos o longo processo de verificação formal de nosso zkVM. Recentemente, lançamos o "Picus", que prova matematicamente o determinismo em nossos circuitos durante o CI! Esta é a causa de 96% dos bugs de solidez em sistemas ZK (por ZK-Security). Esse esforço, além de mais alguns em que estamos trabalhando, mostra que podemos chegar a um zkVM RISC-V comprovadamente sólido mais rápido do que você pensa.