@ducmko
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. https://t.co/GbvCltzcV1
0 reply
0 recast
0 reaction