RISC Zero's banner
RISC Zero's profile picture

RISC Zero

@RiscZero44,376 subscribers

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.

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 görüntüleme

Introducing Kailua: A hybrid architecture that gives OP chains 1-hour finality without the higher cost of constant ZK proving.

Introducing Kailua: A hybrid architecture that gives OP chains 1-hour finality without the higher cost of constant ZK proving.

123,027 görüntüleme

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.

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 görüntüleme

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.

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 görüntüleme

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.

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.

33,104 görüntüleme

Videos

Daha fazla içerik yok.