Where RiscZero Fits in The Modular Thesis

The Rollup - A podcast by The Rollup

Categories:

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