RISC Zero buduje pierwszą formalnie zweryfikowaną maszynę RISC-V zkVM. Korzystając z narzędzia Picus firmy @VeridiseInc, matematycznie udowadniamy determinizm w naszych obwodach. Nasz cel: zkVM, który jest zarówno niewiarygodnie szybki, jak i bezpieczny, dzięki czemu programiści nigdy nie muszą iść na kompromis.