Where RiscZero Fits in The Modular Thesis
The Rollup15 Touko 2024

Where RiscZero Fits in The Modular Thesis

We believe in a future of verifiable computation. The modular future cannot exist without zk.


After last weeks video asking "Will ZK eat the modular stack?" and realizing its all but guaranteed, we have set out to learn more about how zkVMs and ZK will make an impact. Our focus today centers on how RiscZero utilizes zk proofs and how zkVM works.


At the core of RiscZero's mission is the democratization of ZK technology, making it accessible and simpler for everyone. This effort is crucial as it enables the verification of computations in significantly less time than it takes to perform them, fostering scalable cross-verification without redundancy. We discussed the global state layer with regards to zkVM, and how Risc Zero is implemented into different rollup frameworks such as Sovereign Labs.


RiscZeroโ€™s use of the RISC-V architecture streamlines the integration of ZK proofs by allowing developers to leverage existing codebases, which drastically simplifies the development process.


ZK isn't so easy to understand, we tried to make it as easy as possible for you. Hope you enjoy.


The Rollup


00:00 Introduction

04:12 Intro to zkVMs

06:08 Verifiable Computation

08:49 Development of zkVMs

11:08 Role of RISC-V Chips

12:19 zkVM Impact on Rollups

19:24 Implementations of zkVM

28:49 Lowering Costs of ZK Proofs

45:46 zkVMs in the Modular Stack



RISC Zero Website: https://www.risczero.com/


RISC Zero Socials: / risczero




๐—ช๐—ฒ ๐˜๐—ฟ๐˜† ๐—ผ๐˜‚๐—ฟ ๐—ฏ๐—ฒ๐˜€๐˜ ๐˜๐—ผ ๐—ฝ๐—ฟ๐—ผ๐—ฑ๐˜‚๐—ฐ๐—ฒ ๐—ต๐—ถ๐—ด๐—ต-๐—พ๐˜‚๐—ฎ๐—น๐—ถ๐˜๐˜†, ๐—ป๐—ผ๐—ป-๐—ฏ๐—ถ๐—ฎ๐˜€๐—ฒ๐—ฑ, ๐—ฒ๐—ฑ๐˜‚๐—ฐ๐—ฎ๐˜๐—ถ๐—ผ๐—ป๐—ฎ๐—น ๐—ฐ๐—ผ๐—ป๐˜๐—ฒ๐—ป๐˜ ๐—ณ๐—ผ๐—ฟ ๐˜๐—ต๐—ฒ ๐—ฐ๐—ฟ๐˜†๐—ฝ๐˜๐—ผ ๐—ฒ๐—ฐ๐—ผ๐˜€๐˜†๐˜€๐˜๐—ฒ๐—บ. ๐—ฆ๐˜‚๐—ฝ๐—ฝ๐—ผ๐—ฟ๐˜ ๐˜‚๐˜€ ๐˜„๐—ต๐—ถ๐—น๐—ฒ ๐—น๐—ฒ๐—ฎ๐—ฟ๐—ป๐—ถ๐—ป๐—ด ๐—บ๐—ผ๐—ฟ๐—ฒ ๐—ฎ๐—ฏ๐—ผ๐˜‚๐˜ ๐—ถ๐—บ๐—ฝ๐—ผ๐—ฟ๐˜๐—ฎ๐—ป๐˜ ๐—ฐ๐—ผ๐—ป๐—ฐ๐—ฒ๐—ฝ๐˜๐˜€ ๐—ฏ๐˜† ๐—ฐ๐—น๐—ถ๐—ฐ๐—ธ๐—ถ๐—ป๐—ด ๐—ฎ๐—ป๐˜† ๐—ผ๐—ณ ๐˜๐—ต๐—ฒ ๐—น๐—ถ๐—ป๐—ธ๐˜€ ๐—ฏ๐—ฒ๐—น๐—ผ๐˜„ ๐—ณ๐—ผ๐—ฟ ๐—ณ๐—ฟ๐—ฒ๐—ฒ ๐—ฟ๐—ฒ๐˜€๐—ผ๐˜‚๐—ฟ๐—ฐ๐—ฒ๐˜€:


Website: https://therollup.co/


Spotify: https://open.spotify.com/show/1P6ZeYd.

.

Podcast: https://therollup.co/category/podcast


Follow us on X: https://www.x.com/therollupco


Follow Rob on X: https://www.x.com/robbie_rollup


Follow Andy on X: https://www.x.com/ayyyeandy


Join our TG group: https://t.me/+8ARkR_YZixE5YjBh


The Rollup Disclosures: https://therollup.co/the-rollup-discl


.

.

.

๐——๐—œ๐—ฆ๐—–๐—Ÿ๐—”๐—œ๐— ๐—˜๐—ฅ: ๐˜๐˜ฏ๐˜ท๐˜ฆ๐˜ด๐˜ต๐˜ช๐˜ฏ๐˜จ ๐˜ช๐˜ฏ ๐˜ค๐˜ณ๐˜บ๐˜ฑ๐˜ต๐˜ฐ๐˜ค๐˜ถ๐˜ณ๐˜ณ๐˜ฆ๐˜ฏ๐˜ค๐˜บ ๐˜ข๐˜ฏ๐˜ฅ ๐˜‹๐˜ฆ๐˜๐˜ช ๐˜ฑ๐˜ญ๐˜ข๐˜ต๐˜ง๐˜ฐ๐˜ณ๐˜ฎ๐˜ด ๐˜ค๐˜ฐ๐˜ฎ๐˜ฆ๐˜ด ๐˜ธ๐˜ช๐˜ต๐˜ฉ ๐˜ช๐˜ฏ๐˜ฉ๐˜ฆ๐˜ณ๐˜ฆ๐˜ฏ๐˜ต ๐˜ณ๐˜ช๐˜ด๐˜ฌ๐˜ด ๐˜ช๐˜ฏ๐˜ค๐˜ญ๐˜ถ๐˜ฅ๐˜ช๐˜ฏ๐˜จ ๐˜ต๐˜ฆ๐˜ค๐˜ฉ๐˜ฏ๐˜ช๐˜ค๐˜ข๐˜ญ ๐˜ณ๐˜ช๐˜ด๐˜ฌ, ๐˜ฉ๐˜ถ๐˜ฎ๐˜ข๐˜ฏ ๐˜ฆ๐˜ณ๐˜ณ๐˜ฐ๐˜ณ, ๐˜ฑ๐˜ญ๐˜ข๐˜ต๐˜ง๐˜ฐ๐˜ณ๐˜ฎ ๐˜ง๐˜ข๐˜ช๐˜ญ๐˜ถ๐˜ณ๐˜ฆ ๐˜ข๐˜ฏ๐˜ฅ ๐˜ฎ๐˜ฐ๐˜ณ๐˜ฆ. ๐˜ˆ๐˜ต ๐˜ค๐˜ฆ๐˜ณ๐˜ต๐˜ข๐˜ช๐˜ฏ ๐˜ฑ๐˜ฐ๐˜ช๐˜ฏ๐˜ต๐˜ด ๐˜ต๐˜ฉ๐˜ณ๐˜ฐ๐˜ถ๐˜จ๐˜ฉ๐˜ฐ๐˜ถ๐˜ต ๐˜ต๐˜ฉ๐˜ช๐˜ด ๐˜ค๐˜ฉ๐˜ข๐˜ฏ๐˜ฏ๐˜ฆ๐˜ญ, ๐˜ธ๐˜ฆ ๐˜ฎ๐˜ข๐˜บ ๐˜ฆ๐˜ข๐˜ณ๐˜ฏ ๐˜ข ๐˜ค๐˜ฐ๐˜ฎ๐˜ฎ๐˜ช๐˜ด๐˜ด๐˜ช๐˜ฐ๐˜ฏ ๐˜ฐ๐˜ณ ๐˜ง๐˜ฆ๐˜ฆ ๐˜ข๐˜ด ๐˜ข ๐˜ด๐˜ฑ๐˜ฐ๐˜ฏ๐˜ด๐˜ฐ๐˜ณ๐˜ด๐˜ฉ๐˜ช๐˜ฑ, ๐˜ช๐˜ง ๐˜ต๐˜ฉ๐˜ช๐˜ด ๐˜ช๐˜ด ๐˜ต๐˜ฉ๐˜ฆ ๐˜ค๐˜ข๐˜ด๐˜ฆ ๐˜ธ๐˜ฆ ๐˜ธ๐˜ช๐˜ญ๐˜ญ ๐˜ข๐˜ญ๐˜ธ๐˜ข๐˜บ๐˜ด ๐˜ฎ๐˜ข๐˜ฌ๐˜ฆ ๐˜ด๐˜ถ๐˜ณ๐˜ฆ ๐˜ช๐˜ต ๐˜ช๐˜ด ๐˜ค๐˜ญ๐˜ฆ๐˜ข๐˜ณ. ๐˜ž๐˜ฆ ๐˜ข๐˜ณ๐˜ฆ ๐˜ด๐˜ต๐˜ณ๐˜ช๐˜ค๐˜ต๐˜ญ๐˜บ ๐˜ข๐˜ฏ ๐˜ฆ๐˜ฅ๐˜ถ๐˜ค๐˜ข๐˜ต๐˜ช๐˜ฐ๐˜ฏ๐˜ข๐˜ญ ๐˜ค๐˜ฐ๐˜ฏ๐˜ต๐˜ฆ๐˜ฏ๐˜ต ๐˜ฑ๐˜ญ๐˜ข๐˜ต๐˜ง๐˜ฐ๐˜ณ๐˜ฎ, ๐˜ฏ๐˜ฐ๐˜ต๐˜ฉ๐˜ช๐˜ฏ๐˜จ ๐˜ธ๐˜ฆ ๐˜ฐ๐˜ง๐˜ง๐˜ฆ๐˜ณ ๐˜ช๐˜ด ๐˜ง๐˜ช๐˜ฏ๐˜ข๐˜ฏ๐˜ค๐˜ช๐˜ข๐˜ญ ๐˜ข๐˜ฅ๐˜ท๐˜ช๐˜ค๐˜ฆ. ๐˜ž๐˜ฆ ๐˜ข๐˜ณ๐˜ฆ ๐˜ฏ๐˜ฐ๐˜ต ๐˜ฑ๐˜ณ๐˜ฐ๐˜ง๐˜ฆ๐˜ด๐˜ด๐˜ช๐˜ฐ๐˜ฏ๐˜ข๐˜ญ๐˜ด ๐˜ฐ๐˜ณ ๐˜ญ๐˜ช๐˜ค๐˜ฆ๐˜ฏ๐˜ด๐˜ฆ๐˜ฅ ๐˜ข๐˜ฅ๐˜ท๐˜ช๐˜ด๐˜ฐ๐˜ณ๐˜ด.


#RiscZero #zkVM #ZKproofs #Airdrops #Ethereum #Modularblockchains #Modularity

Jaksot(582)

Rollup TV: Money Moves Fast EP #3 & zkVerify

Rollup TV: Money Moves Fast EP #3 & zkVerify

The Rollup TV is brought to you by:Boundless: https://beboundless.xyz/AltLayer: https://www.altlayer.io/Vertex: https://vertexprotocol.com/Subsquid: https://www.sqd.ai/Join The Rollup Family:Website: ...

30 Syys 20252h 7min

Why Prediction Markets Will Become The Largest Financial Market with Kalshi Co-Founder Tarek Mansour

Why Prediction Markets Will Become The Largest Financial Market with Kalshi Co-Founder Tarek Mansour

We sit down with Tarek Mansour, co-founder and CEO of Kalshi, to cover:- From Goldman & Citadel to Building Kalshi- Why Every Question About the Future Deserves a Market- The $2B Vision: Becoming the ...

29 Syys 202521min

Why AI Will Replace the Labor Force with Emad Mostaque

Why AI Will Replace the Labor Force with Emad Mostaque

Today we chat with Emad Mostaque to cover:-Why Open Source AI Is Non-Negotiable-Private Portable AI vs. Corporate Data Harvesting-Foundation Coin: A New Economic Model for AI-Organic Datasets & Cultur...

28 Syys 202555min

How Plasma Plans To Win The Trillion-Dollar Stablecoin Battle with Paul Faecks

How Plasma Plans To Win The Trillion-Dollar Stablecoin Battle with Paul Faecks

Today we sit down with Paul Faecks to cover:-Why Plasma's Launch Avoided All the FUD-280M Binance Users Getting On-Chain Yields-The $SPL Token Economics Strategy-Plasma One: Neo-Banking for the Unbank...

27 Syys 202529min

Tether's $500B Valuation: Why Stablecoins Are Becoming The New Goldman Sachs with Carl Vogel and Bhau Kotecha

Tether's $500B Valuation: Why Stablecoins Are Becoming The New Goldman Sachs with Carl Vogel and Bhau Kotecha

In today's episode, we sit down with Carl Vogel of 6thMan Ventures and Bhau Kotecha of Paxos Labs to explore:-Tether's $500B Valuation: Bullish or Bearish?-AI Agents & Stablecoin Payment Rails-Stablec...

26 Syys 202535min

Why The Future of Interactive Streaming Is Onchain with Jesse Pollock

Why The Future of Interactive Streaming Is Onchain with Jesse Pollock

Today we sit down with Jesse Pollak to cover:-How Base Flips the 95% Platform Tax on Creators-Control the Stream: Viewers as Remote Controllers-Creator Coins Done Right vs. Wrong-Why Mini-Apps Are the...

26 Syys 202522min

Rollup TV: Base, Vaneck and Stabled Up EP #2

Rollup TV: Base, Vaneck and Stabled Up EP #2

The Rollup TV is brought to you by:AltLayer: https://www.altlayer.io/SQD: https://www.sqd.ai/Kalshi: https://t.co/UEGdJMRFFZNEAR: https://kalshi.onelink.me/1r91/kalshixFrax: https://frax.comPolygon: h...

25 Syys 20252h 23min

Why T+2 Settlement Is About to Become Obsolete with Carlos Domingo

Why T+2 Settlement Is About to Become Obsolete with Carlos Domingo

We chat with Carlos Domingo to cover:-RLUSD Partnership: Instant Liquidity for BlackRock & VanEck-Why T+2 Settlement Is Becoming Obsolete-Tokenized Treasuries as High-Quality Collateral-Multi-Chain St...

24 Syys 202519min