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.