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 просмотров

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 просмотров

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 просмотров

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 просмотров

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 просмотров

Videos

Больше нет контента для загрузки