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(577)

Rollup TV: Megaeth, AI Supercycle EP8 Zcash, Vechain, FOMC Special by Kalshi and Framework

Rollup TV: Megaeth, AI Supercycle EP8 Zcash, Vechain, FOMC Special by Kalshi and Framework

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...

30 Loka 20255h 6min

Rachel from Circle: Why Stablecoin-as-Gas Changes Everything

Rachel from Circle: Why Stablecoin-as-Gas Changes Everything

Circle just solved one of crypto's biggest UX problems: paying gas fees with the tokens you're already using.In this episode, we sit down with Rachel Mayer to discuss why they built Arc as an L1 inste...

29 Loka 202529min

Rollup TV: Arc, Circle, Dango Exchange and LEGION

Rollup TV: Arc, Circle, Dango Exchange and LEGION

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...

28 Loka 20251h 22min

Why Every Major App Will Issue Their Own Stablecoin with Luca Prosperi from M0

Why Every Major App Will Issue Their Own Stablecoin with Luca Prosperi from M0

The infrastructure of money is being completely rewritten, and most people don't see it happening.In this episode, we sit down with Luca Prosperi, founder of M0, to discuss why every major app will is...

27 Loka 202536min

The Stablecoin Supercycle Is Here and Banks Are About To Join with Tony McLaughlin

The Stablecoin Supercycle Is Here and Banks Are About To Join with Tony McLaughlin

Stablecoins aren't crypto assets, they're negotiable instruments that banks should process like checks.In this episode of Stabled Up, we sit down with Tony McLaughlin, CEO of Ubyx and former Swift exe...

25 Loka 202549min

Why DAT Mania Is Dead And What Comes Next With Haseeb Qureshi

Why DAT Mania Is Dead And What Comes Next With Haseeb Qureshi

DAT mania is over and it reveals the fundamental problems with retail speculation and user-generated markets.In this episode, we sit down with Haseeb Qureshi from Dragonfly to discuss why the DAT craz...

24 Loka 202552min

Rollup TV: Trezor and Haseeb from Dragonfly

Rollup TV: Trezor and Haseeb from Dragonfly

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...

24 Loka 20251h 46min

Why Jupiter Is Launching Its Own Stablecoin with Kash Dhanda

Why Jupiter Is Launching Its Own Stablecoin with Kash Dhanda

Jupiter controls 15-20% of all onchain crypto users. Now they're launching their own stablecoin.In this episode of Stabled Up, we sit down with Kash Dhanda, founder of Jupiter, to discuss how they sur...

23 Loka 202542min