Building high-performance ZK systems to power the next era of computing.
Shorts
The Future of Verifiable Computation Is Coming We're launching R0 zkVM 1.0, the world's first production-ready general purpose zkVM, to enable a future where you can prove anything and verify everywhere. A future where zero knowledge is universal.
1,751,874 次观看
Introducing Kailua: A hybrid architecture that gives OP chains 1-hour finality without the higher cost of constant ZK proving.
123,027 次观看
RISC Zero is building the first formally verified RISC-V zkVM. Using Veridise'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.
49,738 次观看
RISC Zero is now fully open source. 🟡 We released our entire circuit source code and compiler tech. Empowering developers, partners, and auditors worldwide to confidently build, verify, and innovate.
56,939 次观看
ZK just got cheaper. Electron is the FIRST compatible aggregator for Boundless, slashing proof verification costs by 95%. Aggregation reduces costs as network usage grows, so you can speedrun with us.