RISC Zero zkVM: write Rust, prove in R0, verify onchain
Quote112 words
Explains RISC Zero's general-purpose zkVM that runs any language compiling to RISC-V, so devs write Rust, run it in R0 and verify proofs onchain without custom circuits. Verifier contracts are live on Ethereum, Arbitrum, Optimism, Base and Starknet.
Key claims
R0 runs programs in any language compiled to RISC-V
Verifier contracts live on Ethereum, Arbitrum, Optimism, Base and Starknet
How to onboard the next 1'000'000 devs and build mass adoption ready applications?
Verifiable computation, a.k.a. @RiscZero
The R0 general-purpose zkVM is able to run programs in any language that can be compiled down to the RISC-V instruction set.
No need to design complicated ZK circuits to scale your app.
1️⃣ Write your code in Rust.
2️⃣ Run code in R0 zkVM
3️⃣ Verify execution proofs on-chain
@RiscZero verifier contracts are live across multiple chains, including Ethereum mainnet, @arbitrum, @optimism, @base, @starknet and more.
ZK is the endgame.
R0 is also one of the most performant zkVMs in the market.
Check out my data-driven deep dive on the numbers below! 👇
x.com/zerokn0wledge_/status/1808782962852241439
QUOTING @RiscZero
"Just use normal Rust code to do your zero-knowledge proofs" RISC Zero CEO @BruestleJeremy set the stage at Boundless with his talk ZK Proofs In Action 🟡
"Just use normal Rust code to do your zero-knowledge proofs" RISC Zero CEO @BruestleJeremy set the stage at Boundless with his talk ZK Proofs In Action 🟡
What came next · since 20 Jul 2024
Since then
Zero has written 7 more pieces on RISC Zero since this one.