zerokn0wledge

RISC Zero zkVM: bringing RISC-V languages to web3

Thread289 words
BreakdownZKL1/L2RISC ZeroNautilus ChainEclipseCelestia

Argues RISC Zero's zkVM, built on the RISC-V instruction set, can onboard devs using C++, Rust or Python, unlike EVM-only zkEVMs. It can power new rollups or L1s and issue receipts that Ethereum contracts verify for off-chain compute.

Key claims
RISC-V targets are reachable from C++, Rust and Python
The zkVM receipt standard lets existing contracts verify off-chain computation
0/ the #EVM is undoubtedly one of the most important innovations the crypto space has seen to date but to onboard the next 1 MILLION devs to #web3, we also need VM implementations that support languages beyond Solidity mini-馃У on why @RiscZero is a GAME-CHANGER 馃殌 (0/8) 1/ @RiscZero is building a #zkVM that runs the popular ISA known as RISC V. This is exciting because it means that @RiscZero's virtual zk computer (the zkVM) can support a wide range of programming languages... 2/ ...as the most popular languages (e.g. C++ or Rust) and interpreted languages like Python, can be easily compiled to target the RISC V instruction set 3/ the @RiscZero zkVM isn't the first zkVM in the blockchain space. The past few weeks we saw @zksync & @0xPolygon launch their #zkEVMs (using EVM instruction set language) the @RiscZero VM however, is especially exciting because it supports the RISC V instruction set 4/ considering the global adoption RISC V has, this could be a catalyst for onboarding the next BIG wave of devs to #web3 馃殌 5/ the @RiscZero zkVM can be used to create new rollups or even L1s. One simply has to combine the #zkVM with settlement & data availability layers accordingly to create a fully-fledged smart contract platform, able to support a wide array of programming languages 6/ an example of that is the @nautilus_chain rollup, which I've covered a while back (see thread below) 馃敼 settlement: @EclipseFND 馃敼 DA: @CelestiaOrg 馃敼 execution: @nautilus_chain x.com/expctchaos/status/1640730503035891714 7/ alternatively, the #zkVM receipt standard can be used by existing contracts (e.g. on #Ethereum) to verify off-chain computational work 8/ @RiscZero's zkVM will be a game-changer and lead the way into a new era of dApp development 鈿欙笍馃洜 x.com/expctchaos/status/1640617217875406850

2 images on X

Open on X

What came next 路 since 04 Apr 2023

Since then

Zero has written 15 more pieces on RISC Zero since this one.

zerokn0wledge avatar
Working together

Research, advisory and builds for deep-tech teams.