É difícil? Sim Nossos bugs de solidez devastadores? Sim Estamos mais perto do que você imagina? Sim A partir do dia 1, sim, no mesmo dia em que lançamos nosso sistema de provas, @RiscZero começamos o longo processo de verificação formal de nosso zkVM. Recentemente lançámos "Picus" que prova matematicamente o determinismo nos nossos circuitos durante a IC! Esta é a causa de 96% dos bugs de solidez em sistemas ZK (Per ZK-Security). Este esforço, 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.