Apresentando o R0VM 2.0. O zkVM construído para a era em tempo real.
7/ Velocidade não significa nada sem segurança. Com @veridiseInc, estamos tornando a verificação formal uma parte essencial do R0VM. Até agora, provamos que 122 dos 123 componentes para a funcionalidade principal do RISC-V em nosso circuito v2 são determinísticos.
RISC Zero
RISC Zero22 de mar. de 2025
O RISC Zero está construindo o primeiro zkVM RISC-V formalmente verificado. Usando a ferramenta Picus da @VeridiseInc, estamos provando matematicamente o determinismo em nossos circuitos. Nosso objetivo: um zkVM que seja incrivelmente rápido e comprovadamente seguro, para que os desenvolvedores nunca precisem se comprometer.
437,15K