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

ICOs, Regulation & Fair Token Launches, Offchain Founders on The Smart Account Future, Building DeFiโ€™s Yield Hub and Extendedโ€™s Starknet Leap with Derek Chiang, Steven Goldfeder

ICOs, Regulation & Fair Token Launches, Offchain Founders on The Smart Account Future, Building DeFiโ€™s Yield Hub and Extendedโ€™s Starknet Leap with Derek Chiang, Steven Goldfeder

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

21 Elo 20252h 2min

Why Chainlink Is Actually Beating XRP in the Institutional Race with Zach Rynes

Why Chainlink Is Actually Beating XRP in the Institutional Race with Zach Rynes

In today's episode, we sit down with Zach Rynes to explore:Why Chainlink Is Actually Flipping XRPThe Link Reserve: First Ever Off-Chain Revenue Buyback ProgramSwift, JP Morgan, UBS: Who's Really Worki...

20 Elo 202529min

Hyperliquid, Tokenization, Chainlink, CCIP & Tokenized Finance with Luke Cannon, Graham Ferguson and Zach Rynes.

Hyperliquid, Tokenization, Chainlink, CCIP & Tokenized Finance with Luke Cannon, Graham Ferguson and Zach Rynes.

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

19 Elo 20251h 33min

We Asked an RWA Expert About Asset Tokenization. Here's What We Learned with Ian De Bode

We Asked an RWA Expert About Asset Tokenization. Here's What We Learned with Ian De Bode

Imagine taking the best of stablecoins and applying it to stocks. Thatโ€™s what Ondo Global Markets is doing.In today's episode, we chat with Ian from Ondo Finance about their new Ondo Global Markets pl...

15 Elo 202525min

The GRID & Open AGI Future, Digital Asset Treasury, Borderless Markets & Ondo Chain, Trump, and $500K BTC with Himanshu Tyagi, David Hsu, Ian De Bode and Les Borsai

The GRID & Open AGI Future, Digital Asset Treasury, Borderless Markets & Ondo Chain, Trump, and $500K BTC with Himanshu Tyagi, David Hsu, Ian De Bode and Les Borsai

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

14 Elo 20252h 13min

How Arkham Built Crypto's Most Trusted Intelligence Platform with Miguel Morel

How Arkham Built Crypto's Most Trusted Intelligence Platform with Miguel Morel

On-chain intelligence is eating the world.In today's episode, we sit down with Miguel from Arkham Intelligence to explore how they've transformed blockchain analytics from raw transaction hashes into ...

14 Elo 202522min

Why Everything You Think You Know About Crypto Tops Is Wrong with NotSoFast

Why Everything You Think You Know About Crypto Tops Is Wrong with NotSoFast

ETH hits $4,500 and suddenly everyone's a believer again. Funny how that works. In today's episode, we take a trip back to crypto's wild west with NotSoFast, one of the OG speculative miners from 2016...

13 Elo 202527min

Mining, Bags, Bets, ZK & The Proving Race, Arkham, AI, Onchain Intel , IP World and The Future of Meme Coins with Notsofast, Maya Dotan, Miguel Morel and Red

Mining, Bags, Bets, ZK & The Proving Race, Arkham, AI, Onchain Intel , IP World and The Future of Meme Coins with Notsofast, Maya Dotan, Miguel Morel and Red

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

12 Elo 20251h 56min