How Things Work

Commonware

Exploring how blockchains (and the mechanisms that power them) work. Also available on YouTube: https://www.youtube.com/playlist?list=PLnVJ5S1DIyuFQ9cIE_oE-U3Wl3JDgZQ8A

单集

  1. 2025/09/03

    How Things Work #5: TEEs All The Way Down

    On this episode of "How Things Work", we chat with Jack Kearney, Arnaud Brousseau, and Zeke Mostov from Turnkey about architecting secure TEE-based applications (yes, there are insecure ones). We start by discussing why and where TEEs are used (and how they can play a role even when MPC and ZK are employed). Next, we explore the foundations you need to build before deploying a TEE (assuming you don't want to use Turnkey's OSS tools for doing so). Last, we cover how to safely update code running in TEEs and how to safely interact with external state. Speakers * Patrick O'Grady (Commonware): https://x.com/_patrickogrady * Jack Kearney (Turnkey): https://x.com/whojackjones * Arnaud Brousseau (Turnkey): https://x.com/arnaudbrousseau * Zeke Mostov (Turnkey): https://x.com/ZekeMostov References * Turnkey Whitepaper: https://whitepaper.turnkey.com/ * QuorumOS: https://github.com/tkhq/qos * StageX: https://codeberg.org/stagex/stagex * AWS Nitro: https://aws.amazon.com/ec2/nitro/

    1 小时 42 分钟

  2. 2025/07/16

    How Things Work #4: The Quick Merkle Database and Fast Ahead-of-Formation Optimization

    On this episode of "How Things Work", we chat with Ryan Zarick (raz), Isaac Zhang, and Thomas Kim from LayerZero about scaling blockchain throughput with their new authenticated database (QMDB) and a new approach to pre-block packing (FAFO). We first discuss the Quick Merkle Database (QMDB) and the insights that drive it state-of-the-art performance. Next, we discuss why the proof structure of QMDB works great with ZK and how to extend the (optional) compaction algorithm to apply changes to state. Last, we cover how Fast Ahead-of-Formation Optimization (FAFO) leverages QMDB to hit the mythical 1M TPS mark on a single machine. ## Speakers * Patrick O'Grady (Commonware): https://x.com/_patrickogrady * Ryan Zarick (LayerZero): https://x.com/ryanzarick * Isaac Zhang (LayerZero): https://x.com/IsaacN0tNewton * Thomas Kim (LayerZero): https://x.com/Thomas_S_Kim ## References * Vilmo: https://hackmd.io/@patrickogrady/vryx-poc#Introducing-Vilmo-Verifiable-State-Transitions-and-Sync-without-Merklization * Better than Vilmo: https://x.com/_patrickogrady/status/1879202544846799351 * QMDB: https://arxiv.org/abs/2501.05262 * QMDB Repository: https://github.com/LayerZero-Labs/qmdb * FAFO: https://layerzero.network/publications/FAFO_Whitepaper.pdf * FAFO Repository: https://github.com/LayerZero-Labs/fafo

    1 小时 30 分钟

  3. 2025/06/03

    How Things Work #3: Scaling Broadcast with Raptor Codes

    On this episode of "How Things Work", we chat with Kushal Babel and Babak Gilkalaye from Category Labs (the team building the Monad reference client) about their research into scaling blockchain broadcast. We first discuss the techniques existing blockchains (like Bitcoin, Ethereum, and Solana) use to disseminate data across p2p networks. Next, we dive into the "broadcast stack" (Data Transmission, Encoding, System and Broadcast Strategy) and explore how Monad is employing Raptor Codes to balance low latency with high throughput. Last, we discuss the tradeoffs (and open questions) of deploying pre-consensus broadcast instead of "in the hot path" broadcast. *** Speakers *** * Patrick O'Grady (Commonware): https://x.com/_patrickogrady * Kushal Babel (Category Labs): https://x.com/KushalBabel * Babak Gilkalaye (Category Labs): https://www.linkedin.com/in/babak-poorebrahim-gilkalaye-a5a20810a/ *** References *** * RFC 5053 (Raptor Forward Error Correction Scheme for Object Delivery): https://datatracker.ietf.org/doc/html/rfc5053 * Designing a Messaging Layer: https://www.category.xyz/blogs/raptorcast-designing-a-messaging-layer * RaptorCast: https://docs.monad.xyz/monad-arch/consensus/raptorcast * MonadBFT: https://docs.monad.xyz/monad-arch/consensus/monad-bft

    1 小时 31 分钟

  4. 2025/04/23

    How Things Work #2: Executable Semantic Frameworks and K

    In this episode of "How Things Work", we chat with Grigore Rosu about the 20+ year history of runtime verification and how his latest project, Pi Squared, is using Executable Semantic Frameworks (via K) to create a new type of blockchain execution environment that supports any programming language (including ones you write yourself). *** Speakers *** * Patrick O'Grady (Commonware): https://x.com/_patrickogrady * Grigore Rosu (Pi Squared): https://x.com/rosugrigore *** References *** * Runtime Verification: https://runtimeverification.com/ * Pi Squared: https://pi2.network/ * K Framework: https://github.com/runtimeverification/k * Pi Squared Multi-Language Demo: https://x.com/Pi_Squared_Pi2/status/1900191991612465338 * FastPay (High-Performance Byzantine Fault Tolerant Settlement): https://arxiv.org/abs/2003.11506 * Semantics-Based Execution and the LLVM Backend of the K Framework: https://pi2.network/papers/llvm-k-whitepaper

    1 小时 34 分钟

  5. 2025/03/18

    How Things Work #1: Partially Ordered Datasets

    For the second episode of "How Things Work", we chat with Shresth Agrawal about pod's recent work into Partially Ordered Datasets and how they can be used to deploy low-latency blockchain applications. We first discuss where pod originated and how different applications can be built without relying on total order. Then, we discuss how pod's recent work (Pod: An Optimal-Latency, Censorship-Free, and Accountable Generalized Consensus Layer) can provide the properties most applications want without running traditional consensus. Lastly, we explore how pod can be used as the backbone of complex gadgets that rely on censorship-resistant auctions. *** Speakers *** * Patrick O'Grady (Commonware): https://x.com/_patrickogrady * Shresth Agrawal (pod): https://x.com/shresth3103 *** References *** * Pod (An Optimal-Latency, Censorship-Free, and Accountable Generalized Consensus Layer): https://arxiv.org/abs/2501.14931 * Demystifying pod-core: https://pod.network/blog/demystifying-pod-core * Sui Lutris (A Blockchain Combining Broadcast and Consensus): https://arxiv.org/abs/2310.18042 * ABC (Proof-of-Stake without Consensus): https://arxiv.org/abs/1909.10926

    1 小时 29 分钟

  6. 2025/02/06

    How Things Work #0: ZODA and The Accidental Computer

    For the pilot episode of "How Things Work", we chat with the Alex Evans and Guillermo Angeris (from Bain Capital Crypto) about their research into blockchain scaling. We first pull back the curtain on Data Availability Sampling (DAS) and explore how systems today encode data for light client sampling. Then, we discuss how their recent work, ZODA (Zero-Overhead Data Availability), promises to make this process more (or even optimally) efficient by transforming the encoding of some data into a proof of its correctness. After that, we dive into a discussion about The Accidental Computer (Polynomial Commitments from Data Availability), a surprising result that shows that succinct proof systems can reuse work already done during data availability encoding to reduce (or wholly remove) work associated with the proof system's polynomial commitment scheme. Last, we chat about implementation progress (in Julia) and how blockchains could be designed to take advantage of this work. *** Speakers *** * Patrick O'Grady (Commonware): https://x.com/_patrickogrady * Alex Evans (Bain Capital Crypto): https://x.com/alexhevans * Guillermo Angeris (Bain Capital Crypto): https://x.com/GuilleAngeris *** References *** * Ligero (Lightweight Sublinear Arguments Without a Trusted Setup): https://eprint.iacr.org/2022/1608 * Fraud and Data Availability Proofs (Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities): https://arxiv.org/abs/1809.09044 * Sampling for Proximity and Availability: https://baincapitalcrypto.com/sampling-for-proximity-and-availability/ * ZODA (Zero-Overhead Data Availability): https://eprint.iacr.org/2025/034 * ZODA (An Explainer): https://baincapitalcrypto.com/zoda-explainer/ * The Accidental Computer (Polynomial Commitments from Data Availability): https://baincapitalcrypto.com/the-accidental-computer-polynomial-commitments-from-data-availability/

    1 小时 35 分钟
  • 6 集

评分及评论

5
共 5 分
2 个评分

关于

Exploring how blockchains (and the mechanisms that power them) work. Also available on YouTube: https://www.youtube.com/playlist?list=PLnVJ5S1DIyuFQ9cIE_oE-U3Wl3JDgZQ8A

信息

  • 创作者
    Commonware
  • 活跃年份
    2025年
  • 单集
    6
  • 分级
    儿童适宜
  • 版权
    © 2025 Commonware, Inc.
  • 节目网站
    How Things Work