
Episode #38
S17 E38: Keagan McClelland (Keags) on Lightning Metrics, Covenants, Consensus Politics & Verifying Bitcoin
Keagan McClellan (Keags) co-founded Start9 Labs, worked on Sapio with Jeremy Rubin at Judica during the CTV saga, spent time at Lightning Labs maintaining LND, and is now building BTC Verified, a formal specification and verification project for Bitcoin's consensus rules written in Lean 4. He is also a self-described member of Bitcoin's "progressive wing" who nonetheless defends the rising bar for consensus changes, a pluralist who spends all his working hours on Bitcoin, and a security thinker who refused to dunk on Coldcard even while sitting across from someone who very much wanted him to. Time stamps: 00:00 β Intro and sound check 00:27 β Introducing Keagan "Keags" McClelland 01:14 β Bitcoin origin story: darknet markets and a CS degree in 2015 03:42 β Procrastinating at Amazon by reading ICO white papers 05:11 β Leaving Amazon for Salt Lending 06:24 β How Start9 Labs was founded 07:52 β Leaving Start9 for Jeremy Rubin's Judica (Sapio) 09:47 β What CTV (formerly OP_SECURE_THE_BAG) enables 12:35 β Mastercoin's original pitch, Rare Pepes, and play before serious use 15:44 β The Lindy effect and institutional inertia 18:20 β Sponsors + giveaway rules 22:24 β The road to Lightning Labs and LND 23:55 β Lightning as a complexity class change 25:28 β Data locality, privacy, and incentives in payment channels 27:33 β The 133 MB block problem 30:20 β Scaling takes decades: internet lessons 31:24 β Centralization, Moore's law, and what scaled the web 34:58 β Zcash's Near Intents as outsourced Bitcoin privacy 37:05 β Pluralism and the freedom to transact 39:05 β The gravitational well of money 41:36 β When does a shitcoin stop being a shitcoin? 45:43 β Every soft fork since Satoshi 47:36 β The consensus wall: CTV and BIP300 51:56 β BIP 110 case study: incoherent goals, broken design 56:05 β Why information theory defeats spam filters 58:56 β Node mythology and economic weight 1:05:17 β Miners can activate invisible soft forks 1:07:18 β Luke's soft fork definition and herd immunity 1:10:45 β Chat drama and "how much Bitcoin do you own?" 1:14:15 β RBF, Bitrefill, and policy vs consensus 1:17:21 β Can fees alone secure Bitcoin? The 50% hash rate threshold 1:24:56 β Giveaway reveal: the number is 37 1:26:55 β The Coldcard exploit 1:34:10 β The AI exploit era: "cannot be affected" vs "have not been" 1:39:13 β Why the conspiracy theories teach the wrong lesson 1:42:51 β Against security through obscurity 1:47:27 β Onboarding friction and the paranoia continuum 1:55:42 β Vaults explained, and building them without CTV 2:00:42 β Pre-signed transactions, toxic waste, and Liana 2:05:45 β Would covenants have saved Coldcard users? (No) 2:16:53 β Magic wand: why Simplicity beats CTV and GSR 2:20:33 β Witness size, block size, and what BCH got right 2:24:50 β Why Bitcoin should copy homework 2:29:49 β The two hard forks: BIP 110 vs Ecash 2:33:16 β BTC Verified: formal verification of Bitcoin consensus 2:37:10 β TABConf plans 2:39:23 β Outro and sponsor thanks






