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

Episodes

  1. 1D AGO

    How Things Work #6: Selective Censorship Resistance and Multiple Concurrent Proposers

    On this episode of "How Things Work", we chat with Max Resnick and Ashwin Sekar from Anza about Constellation, their proposal for Multiple Concurrent Proposers (MCP) on Solana. First, we look back at the history of transaction broadcast (and the public mempools on Bitcoin and Ethereum where it all started). Next, we dig into the rise of onchain finance and the significant changes it has driven to the "order flow" of transactions (very few ever see the public mempool anymore). Then, we chat about Selective Censorship Resistance (SCR) and why blockchains should provide it (in addition to liveness and safety). Last, we discuss Anza's proposal for Multiple Concurrent Proposers on Solana (and how it provides SCR). ## Speakers * Patrick O'Grady (Commonware): https://x.com/_patrickogrady * Max Resnick (Anza): https://x.com/MaxResnick * Ashwin Sekar (Anza): https://x.com/Ashwinningg ## References * Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges: https://arxiv.org/abs/1904.05234 * Ethereum is a Dark Forest: https://www.paradigm.xyz/2020/08/ethereum-is-a-dark-forest * Proposer-Builder Separation (PBS): https://ethresear.ch/t/proposer-block-builder-separation-friendly-fee-market-designs/9725 * Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus: https://arxiv.org/abs/2105.11827 * Multiplicity: https://ethresear.ch/t/multiplicity-a-gadget-for-multiple-concurrent-block-proposers/14962 * FOCIL: https://ethresear.ch/t/fork-choice-enforced-inclusion-lists-focil-a-simple-committee-based-inclusion-list-proposal/19870 * BRAID: https://www.youtube.com/watch?v=mJLERWmQ2uw * Vryx: https://hackmd.io/@patrickogrady/rys8mdl5p * Multiple Concurrent Proposers: Why and How: https://arxiv.org/abs/2509.23984 * Constellation: https://constellation.anza.xyz

    1h 50m

  2. 09/03/2025

    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/

    1h 42m

  3. 07/16/2025

    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

    1h 30m

  4. 06/03/2025

    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

    1h 31m

  5. 04/23/2025

    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

    1h 34m

  6. 03/18/2025

    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

    1h 29m

  7. 02/06/2025

    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/

    1h 35m
  • 7 Episodes

Ratings & Reviews

5
out of 5
2 Ratings

About

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

Information

  • Creator
    Commonware
  • Years Active
    2025 - 2026
  • Episodes
    7
  • Rating
    Clean
  • Copyright
    © 2025 Commonware, Inc.
  • Show Website
    How Things Work