
ZK Proof Generation & Verification Explained
If you've been listening in for a while you understand the idea behind ZKVMs and where we see them fitting into the modular stack. ZKVMs, from what we understand, are mostly focused on proof generation. However, a lesser known part of the ZK "magic" is directly verifying ZK proofs. We're interested in teams lowering the cost and time to verify. So, we sat down with Rob and John of zkVerify to discuss their dedicated blockchain for verifying ZK proofs, significantly reducing the costs and stabilizing the pricing of verification. We discussed the need to support different types of cryptography, why offering product developers the flexibility they need to create innovative applications in ZK is important, and proof aggregation. We also talked about how they settle proofs and whether or not its truly decentralized and trust-minimized. The idea behind integrating with multiple proof systems also came up as we discussed their plans to include Ethereum, Apechain, and Horizon's Eon within their proof verification system. While still in the early stages, the zkVerify team is already expanding into Bitcoin as well and pushing their mainnet soon. Hope you enjoy this somewhat technical, yet understandable ZK deep dive. 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 ๐๐๐ฆ๐๐๐๐๐ ๐๐ฅ: ๐๐ฏ๐ท๐ฆ๐ด๐ต๐ช๐ฏ๐จ ๐ช๐ฏ ๐ค๐ณ๐บ๐ฑ๐ต๐ฐ๐ค๐ถ๐ณ๐ณ๐ฆ๐ฏ๐ค๐บ ๐ข๐ฏ๐ฅ ๐๐ฆ๐๐ช ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ๐ด ๐ค๐ฐ๐ฎ๐ฆ๐ด ๐ธ๐ช๐ต๐ฉ ๐ช๐ฏ๐ฉ๐ฆ๐ณ๐ฆ๐ฏ๐ต ๐ณ๐ช๐ด๐ฌ๐ด ๐ช๐ฏ๐ค๐ญ๐ถ๐ฅ๐ช๐ฏ๐จ ๐ต๐ฆ๐ค๐ฉ๐ฏ๐ช๐ค๐ข๐ญ ๐ณ๐ช๐ด๐ฌ, ๐ฉ๐ถ๐ฎ๐ข๐ฏ ๐ฆ๐ณ๐ณ๐ฐ๐ณ, ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ ๐ง๐ข๐ช๐ญ๐ถ๐ณ๐ฆ ๐ข๐ฏ๐ฅ ๐ฎ๐ฐ๐ณ๐ฆ. ๐๐ต ๐ค๐ฆ๐ณ๐ต๐ข๐ช๐ฏ ๐ฑ๐ฐ๐ช๐ฏ๐ต๐ด ๐ต๐ฉ๐ณ๐ฐ๐ถ๐จ๐ฉ๐ฐ๐ถ๐ต ๐ต๐ฉ๐ช๐ด ๐ค๐ฉ๐ข๐ฏ๐ฏ๐ฆ๐ญ, ๐ธ๐ฆ ๐ฎ๐ข๐บ ๐ฆ๐ข๐ณ๐ฏ ๐ข ๐ค๐ฐ๐ฎ๐ฎ๐ช๐ด๐ด๐ช๐ฐ๐ฏ ๐ฐ๐ณ ๐ง๐ฆ๐ฆ ๐ข๐ด ๐ข ๐ด๐ฑ๐ฐ๐ฏ๐ด๐ฐ๐ณ๐ด๐ฉ๐ช๐ฑ, ๐ช๐ง ๐ต๐ฉ๐ช๐ด ๐ช๐ด ๐ต๐ฉ๐ฆ ๐ค๐ข๐ด๐ฆ ๐ธ๐ฆ ๐ธ๐ช๐ญ๐ญ ๐ข๐ญ๐ธ๐ข๐บ๐ด ๐ฎ๐ข๐ฌ๐ฆ ๐ด๐ถ๐ณ๐ฆ ๐ช๐ต ๐ช๐ด ๐ค๐ญ๐ฆ๐ข๐ณ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ด๐ต๐ณ๐ช๐ค๐ต๐ญ๐บ ๐ข๐ฏ ๐ฆ๐ฅ๐ถ๐ค๐ข๐ต๐ช๐ฐ๐ฏ๐ข๐ญ ๐ค๐ฐ๐ฏ๐ต๐ฆ๐ฏ๐ต ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ, ๐ฏ๐ฐ๐ต๐ฉ๐ช๐ฏ๐จ ๐ธ๐ฆ ๐ฐ๐ง๐ง๐ฆ๐ณ ๐ช๐ด ๐ง๐ช๐ฏ๐ข๐ฏ๐ค๐ช๐ข๐ญ ๐ข๐ฅ๐ท๐ช๐ค๐ฆ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ฏ๐ฐ๐ต ๐ฑ๐ณ๐ฐ๐ง๐ฆ๐ด๐ด๐ช๐ฐ๐ฏ๐ข๐ญ๐ด ๐ฐ๐ณ ๐ญ๐ช๐ค๐ฆ๐ฏ๐ด๐ฆ๐ฅ ๐ข๐ฅ๐ท๐ช๐ด๐ฐ๐ณ๐ด.
18 Juli 202458min

Economic Security within the Initia Ecosystem with JB from MilkyWay at Interwoven Day 2024
Economic Security within the Initia Ecosystem with JB from MilkyWay at Interwoven Day 2024 hosted by Initia.
16 Juli 20245min

A Discussion About Breaking Walled Gardens At Interwoven Day 2024
A Discussion About Breaking Walled Gardens At Interwoven Day 2024
15 Juli 20247min

The landscape of Chain Abstraction with Dean Tribble from Agoric
Debating the user-centric approach to Chain Abstraction with DeanTribbleย from Agoric.
14 Juli 202410min

Standards for intra-blockchain communication with Bryan Pellegrino from LayerZero Labs
sync or async? Bryan Pellegrinoย founder of Layer Zero Labsย weighs in on the standards for intra-blockchain communication. Listen here:
11 Juli 20243min

The Cross-Chain Intents Landscape with Catalyst
A problem we've been fiddling with in the interoperability landscape is this idea behind achieving maximum extensibility with regards to the creation of hundreds of new chains. We know that if there's going to be an overwhelming amount of chains, we need solutions that are permissionless and easy to spin up on new chains. For today's podcast, we sat down with Catalyst CTO Alexander, to discuss this situation and more. We talked about the concept of the unit of liquidity, which enables asynchronous asset swaps between different pools on different chains. We went on to discuss the best way to tackle the N-squared problem in which traditional cross-chain solutions require each chain to know the state of every other chain. We went on to talk about the idea of logic-dependent swaps, which allow for condition-based transactions. These swaps can be set to execute only if specific conditions are met, opening up novel use cases for onchain users. Catalyst is already live on the mainnet with three OP stack chains: Blast, OP, and Base, with plans to extend to more ecosystems over time. As the cross-chain landscape continues to evolve, with more app-specific chains emerging, Catalyst is aiming to solve this extensibility dilemma to address the challenges of scaling horizontally, in an interoperable way. Hope you enjoy! 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 ๐๐๐ฆ๐๐๐๐๐ ๐๐ฅ: ๐๐ฏ๐ท๐ฆ๐ด๐ต๐ช๐ฏ๐จ ๐ช๐ฏ ๐ค๐ณ๐บ๐ฑ๐ต๐ฐ๐ค๐ถ๐ณ๐ณ๐ฆ๐ฏ๐ค๐บ ๐ข๐ฏ๐ฅ ๐๐ฆ๐๐ช ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ๐ด ๐ค๐ฐ๐ฎ๐ฆ๐ด ๐ธ๐ช๐ต๐ฉ ๐ช๐ฏ๐ฉ๐ฆ๐ณ๐ฆ๐ฏ๐ต ๐ณ๐ช๐ด๐ฌ๐ด ๐ช๐ฏ๐ค๐ญ๐ถ๐ฅ๐ช๐ฏ๐จ ๐ต๐ฆ๐ค๐ฉ๐ฏ๐ช๐ค๐ข๐ญ ๐ณ๐ช๐ด๐ฌ, ๐ฉ๐ถ๐ฎ๐ข๐ฏ ๐ฆ๐ณ๐ณ๐ฐ๐ณ, ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ ๐ง๐ข๐ช๐ญ๐ถ๐ณ๐ฆ ๐ข๐ฏ๐ฅ ๐ฎ๐ฐ๐ณ๐ฆ. ๐๐ต ๐ค๐ฆ๐ณ๐ต๐ข๐ช๐ฏ ๐ฑ๐ฐ๐ช๐ฏ๐ต๐ด ๐ต๐ฉ๐ณ๐ฐ๐ถ๐จ๐ฉ๐ฐ๐ถ๐ต ๐ต๐ฉ๐ช๐ด ๐ค๐ฉ๐ข๐ฏ๐ฏ๐ฆ๐ญ, ๐ธ๐ฆ ๐ฎ๐ข๐บ ๐ฆ๐ข๐ณ๐ฏ ๐ข ๐ค๐ฐ๐ฎ๐ฎ๐ช๐ด๐ด๐ช๐ฐ๐ฏ ๐ฐ๐ณ ๐ง๐ฆ๐ฆ ๐ข๐ด ๐ข ๐ด๐ฑ๐ฐ๐ฏ๐ด๐ฐ๐ณ๐ด๐ฉ๐ช๐ฑ, ๐ช๐ง ๐ต๐ฉ๐ช๐ด ๐ช๐ด ๐ต๐ฉ๐ฆ ๐ค๐ข๐ด๐ฆ ๐ธ๐ฆ ๐ธ๐ช๐ญ๐ญ ๐ข๐ญ๐ธ๐ข๐บ๐ด ๐ฎ๐ข๐ฌ๐ฆ ๐ด๐ถ๐ณ๐ฆ ๐ช๐ต ๐ช๐ด ๐ค๐ญ๐ฆ๐ข๐ณ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ด๐ต๐ณ๐ช๐ค๐ต๐ญ๐บ ๐ข๐ฏ ๐ฆ๐ฅ๐ถ๐ค๐ข๐ต๐ช๐ฐ๐ฏ๐ข๐ญ ๐ค๐ฐ๐ฏ๐ต๐ฆ๐ฏ๐ต ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ, ๐ฏ๐ฐ๐ต๐ฉ๐ช๐ฏ๐จ ๐ธ๐ฆ ๐ฐ๐ง๐ง๐ฆ๐ณ ๐ช๐ด ๐ง๐ช๐ฏ๐ข๐ฏ๐ค๐ช๐ข๐ญ ๐ข๐ฅ๐ท๐ช๐ค๐ฆ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ฏ๐ฐ๐ต ๐ฑ๐ณ๐ฐ๐ง๐ฆ๐ด๐ด๐ช๐ฐ๐ฏ๐ข๐ญ๐ด ๐ฐ๐ณ ๐ญ๐ช๐ค๐ฆ๐ฏ๐ด๐ฆ๐ฅ ๐ข๐ฅ๐ท๐ช๐ด๐ฐ๐ณ๐ด.
4 Juli 202443min

Where Lumio Fits in The Modular Thesis
There's quite a bit of conversation ongoing in the zeitgest of the modular research community. We tend to lean into technical topics more than the flavor of the day, but for this episode we managed to do both. We were joined by Alejo Pinto, one of the founders of Lumio, to discuss their modular VM abstraction framework, enabling developers to build and deploy apps everywhere, as well as the state of sequencing and composability in the space. Lumio supports popular VMs like SVM, Move VM, and Parallel EVM, enabling applications to be deployed across various execution environments. This framework is designed to simplify life for devs by maintaining full compatibility with these VMs without requiring any code changes, thus promoting a "build-once-deploy-anywhere" philosophy. This is pretty aligned with the modular thesis of build whatever, as well as a core pillar, optionality. During our conversation with Alejo, we also touched on the hot topic of composability. Alejo shared his views on the debate between synchronous atomic composability and asynchronous environments, highlighting the tradeoffs between having a single global state machine like Solana versus a modularized scaling system. One significant aspect of Lumio's work is its approach to shared and decentralized sequencers. Alejo emphasized the role of shared sequencing in optimizing crosschain messaging and contract calls, and highlighted the ongoing research and development in this area with projects like Espresso. Join us as we explore how Lumio fits in the modular thesis with their modular VM abstraction framework. 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 ๐๐๐ฆ๐๐๐๐๐ ๐๐ฅ: ๐๐ฏ๐ท๐ฆ๐ด๐ต๐ช๐ฏ๐จ ๐ช๐ฏ ๐ค๐ณ๐บ๐ฑ๐ต๐ฐ๐ค๐ถ๐ณ๐ณ๐ฆ๐ฏ๐ค๐บ ๐ข๐ฏ๐ฅ ๐๐ฆ๐๐ช ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ๐ด ๐ค๐ฐ๐ฎ๐ฆ๐ด ๐ธ๐ช๐ต๐ฉ ๐ช๐ฏ๐ฉ๐ฆ๐ณ๐ฆ๐ฏ๐ต ๐ณ๐ช๐ด๐ฌ๐ด ๐ช๐ฏ๐ค๐ญ๐ถ๐ฅ๐ช๐ฏ๐จ ๐ต๐ฆ๐ค๐ฉ๐ฏ๐ช๐ค๐ข๐ญ ๐ณ๐ช๐ด๐ฌ, ๐ฉ๐ถ๐ฎ๐ข๐ฏ ๐ฆ๐ณ๐ณ๐ฐ๐ณ, ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ ๐ง๐ข๐ช๐ญ๐ถ๐ณ๐ฆ ๐ข๐ฏ๐ฅ ๐ฎ๐ฐ๐ณ๐ฆ. ๐๐ต ๐ค๐ฆ๐ณ๐ต๐ข๐ช๐ฏ ๐ฑ๐ฐ๐ช๐ฏ๐ต๐ด ๐ต๐ฉ๐ณ๐ฐ๐ถ๐จ๐ฉ๐ฐ๐ถ๐ต ๐ต๐ฉ๐ช๐ด ๐ค๐ฉ๐ข๐ฏ๐ฏ๐ฆ๐ญ, ๐ธ๐ฆ ๐ฎ๐ข๐บ ๐ฆ๐ข๐ณ๐ฏ ๐ข ๐ค๐ฐ๐ฎ๐ฎ๐ช๐ด๐ด๐ช๐ฐ๐ฏ ๐ฐ๐ณ ๐ง๐ฆ๐ฆ ๐ข๐ด ๐ข ๐ด๐ฑ๐ฐ๐ฏ๐ด๐ฐ๐ณ๐ด๐ฉ๐ช๐ฑ, ๐ช๐ง ๐ต๐ฉ๐ช๐ด ๐ช๐ด ๐ต๐ฉ๐ฆ ๐ค๐ข๐ด๐ฆ ๐ธ๐ฆ ๐ธ๐ช๐ญ๐ญ ๐ข๐ญ๐ธ๐ข๐บ๐ด ๐ฎ๐ข๐ฌ๐ฆ ๐ด๐ถ๐ณ๐ฆ ๐ช๐ต ๐ช๐ด ๐ค๐ญ๐ฆ๐ข๐ณ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ด๐ต๐ณ๐ช๐ค๐ต๐ญ๐บ ๐ข๐ฏ ๐ฆ๐ฅ๐ถ๐ค๐ข๐ต๐ช๐ฐ๐ฏ๐ข๐ญ ๐ค๐ฐ๐ฏ๐ต๐ฆ๐ฏ๐ต ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ, ๐ฏ๐ฐ๐ต๐ฉ๐ช๐ฏ๐จ ๐ธ๐ฆ ๐ฐ๐ง๐ง๐ฆ๐ณ ๐ช๐ด ๐ง๐ช๐ฏ๐ข๐ฏ๐ค๐ช๐ข๐ญ ๐ข๐ฅ๐ท๐ช๐ค๐ฆ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ฏ๐ฐ๐ต ๐ฑ๐ณ๐ฐ๐ง๐ฆ๐ด๐ด๐ช๐ฐ๐ฏ๐ข๐ญ๐ด ๐ฐ๐ณ ๐ญ๐ช๐ค๐ฆ๐ฏ๐ด๐ฆ๐ฅ ๐ข๐ฅ๐ท๐ช๐ด๐ฐ๐ณ๐ด.
3 Juli 20241h

The C.A.K.E Framework, Credible Accounts, and Resource Locks
The C.A.K.E framework established that chain abstraction is a collaborative effort, and not a one winner takes all situation. This idea for how the intents and chain abstraction stack works was originally created by Frontier Research and now there is a C.A.K.E working group. Since then, they have also spun off a new project called OneBalance focusing on credible accounts and achieving the chain abstraction experience. We were joined by Stephane, an ex-Flashbots team, and now leading the OneBalance team. We talked about their focus on developing a chain abstracted stack via credible accounts and resource locks. These innovations prevent double-spending and make secure cross-chain messaging possible without the need to lock assets on the source chain. Collaboration is at the heart of OneBalance's mission, along with other chain abstraction contributors. Rather than replacing existing wallet infrastructure like MetaMask or Rabby, OneBalance aims to integrate its credible account capabilities into them to make the transition for users easier. We asked how Stephane sees OneBalance getting traction and what the process would be like for active users to switch to their solution. We also discussed the role that solver networks play in the chain abstraction ecosystem, executing transactions on behalf of users and ensuring fast fills. We discussed the permissionless access, speed, and price optimization properties of solver networks, which allows them to tackle the "order flow trilemma". We also talked about MEV and local consensus towards the end, and uncovered a bold thesis from Stephane...His vision? Every validator and user account to operate as its own rollup. Watch or listen to todays episode to learn about the CAKE framework and credible accounts as a means to achieving the chain abstracted future. 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 ๐๐๐ฆ๐๐๐๐๐ ๐๐ฅ: ๐๐ฏ๐ท๐ฆ๐ด๐ต๐ช๐ฏ๐จ ๐ช๐ฏ ๐ค๐ณ๐บ๐ฑ๐ต๐ฐ๐ค๐ถ๐ณ๐ณ๐ฆ๐ฏ๐ค๐บ ๐ข๐ฏ๐ฅ ๐๐ฆ๐๐ช ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ๐ด ๐ค๐ฐ๐ฎ๐ฆ๐ด ๐ธ๐ช๐ต๐ฉ ๐ช๐ฏ๐ฉ๐ฆ๐ณ๐ฆ๐ฏ๐ต ๐ณ๐ช๐ด๐ฌ๐ด ๐ช๐ฏ๐ค๐ญ๐ถ๐ฅ๐ช๐ฏ๐จ ๐ต๐ฆ๐ค๐ฉ๐ฏ๐ช๐ค๐ข๐ญ ๐ณ๐ช๐ด๐ฌ, ๐ฉ๐ถ๐ฎ๐ข๐ฏ ๐ฆ๐ณ๐ณ๐ฐ๐ณ, ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ ๐ง๐ข๐ช๐ญ๐ถ๐ณ๐ฆ ๐ข๐ฏ๐ฅ ๐ฎ๐ฐ๐ณ๐ฆ. ๐๐ต ๐ค๐ฆ๐ณ๐ต๐ข๐ช๐ฏ ๐ฑ๐ฐ๐ช๐ฏ๐ต๐ด ๐ต๐ฉ๐ณ๐ฐ๐ถ๐จ๐ฉ๐ฐ๐ถ๐ต ๐ต๐ฉ๐ช๐ด ๐ค๐ฉ๐ข๐ฏ๐ฏ๐ฆ๐ญ, ๐ธ๐ฆ ๐ฎ๐ข๐บ ๐ฆ๐ข๐ณ๐ฏ ๐ข ๐ค๐ฐ๐ฎ๐ฎ๐ช๐ด๐ด๐ช๐ฐ๐ฏ ๐ฐ๐ณ ๐ง๐ฆ๐ฆ ๐ข๐ด ๐ข ๐ด๐ฑ๐ฐ๐ฏ๐ด๐ฐ๐ณ๐ด๐ฉ๐ช๐ฑ, ๐ช๐ง ๐ต๐ฉ๐ช๐ด ๐ช๐ด ๐ต๐ฉ๐ฆ ๐ค๐ข๐ด๐ฆ ๐ธ๐ฆ ๐ธ๐ช๐ญ๐ญ ๐ข๐ญ๐ธ๐ข๐บ๐ด ๐ฎ๐ข๐ฌ๐ฆ ๐ด๐ถ๐ณ๐ฆ ๐ช๐ต ๐ช๐ด ๐ค๐ญ๐ฆ๐ข๐ณ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ด๐ต๐ณ๐ช๐ค๐ต๐ญ๐บ ๐ข๐ฏ ๐ฆ๐ฅ๐ถ๐ค๐ข๐ต๐ช๐ฐ๐ฏ๐ข๐ญ ๐ค๐ฐ๐ฏ๐ต๐ฆ๐ฏ๐ต ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ, ๐ฏ๐ฐ๐ต๐ฉ๐ช๐ฏ๐จ ๐ธ๐ฆ ๐ฐ๐ง๐ง๐ฆ๐ณ ๐ช๐ด ๐ง๐ช๐ฏ๐ข๐ฏ๐ค๐ช๐ข๐ญ ๐ข๐ฅ๐ท๐ช๐ค๐ฆ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ฏ๐ฐ๐ต ๐ฑ๐ณ๐ฐ๐ง๐ฆ๐ด๐ด๐ช๐ฐ๐ฏ๐ข๐ญ๐ด ๐ฐ๐ณ ๐ญ๐ช๐ค๐ฆ๐ฏ๐ด๐ฆ๐ฅ ๐ข๐ฅ๐ท๐ช๐ด๐ฐ๐ณ๐ด.
2 Juli 202447min





















