Speed means nothing without security.

With @veridiseInc, we’re making formal verification a core part of R0VM.

So far we’ve proven 122 of the 123 components for core RISC-V functionality in our v2 circuit are deterministic. https://t.co/cmaYKELhig

RISC Zero is building the first formally verified RISC-V zkVM.

Using @VeridiseInc's Picus tool, we're mathematically proving determinism in our circuits.

Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise.