Honest Majority by Common Prefix

(00:00) Intro (01:39) Journey into Blockchain (04:09) Why Formal Verification for Smart Contracts (08:39) ACT Framework (12:37) State Transition Systems & Mathematical Models (21:37) Practical Application (28:10) LLMs & The Future of Formal Verification (31:29) Vision

Timestamps: (0:00)  – Intro (3:17)  – Science and Engineering Synergy at Pod (9:12)  – Pod Network's Latest Research (13:22)  – Recovery Mechanisms (21:12)  – Future Research Directions & Advice for New Researchers (26:15)  – Outro

Timestamps: (00:00) Intro (2:38) Lefteris' Role and Background in Blockchain (4:56) Development of Sui and Mist's Other Products (12:27) Technical Details of Walrus and Seal (27:36) Future of Decentralized Storage

(00:00) Intro (02:00) Journey Into Blockchain Research (05:34) Explaining Loss Versus Rebalancing (12:29) Reducing Losses Through Faster Block Times (25:11) Future Research Directions (30:00) Papers and Resources

Timestamps: (00:16) Introduction and background (03:00) Joining Babylon (05:43) The core idea behind Trustless Bitcoin Vaults (07:28) What “trustless lending” actually means (12:01) Deep diving into the protocol (14:38) BitVM and garbled circuits (18:48) Resources & recommended reading (21:30) Roadmap and upcoming milestones (22:22) What's next for the space (24:55) Advice for engineers bu...

Timestamps: (00:28) Introduction and background (02:03) From academic prototypes to building real systems (06:38) Narwhal/Tusk and the "mempool saga" (10:05) FastPay (10:55) Libra winding down (12:13) Origins of Sui (16:18) Mysticeti (22:30) Recommended reading (24:40) Looking ahead: execution, privacy, usability, and building real applications Description: In the fifth episode of Honest...

Timestamps: (00:00) Introduction and background (03:07) Pod origin story (06:58) From auctions to first-principles market design (09:58) System level optimization (15:15) Global, fast, and fair markets as Pod's north star (18:10) Roadmap (19:15) Looking ahead: global markets, payments, and adoption Description: In the fourth episode of Honest Majority, we speak with Shresth Agrawal, CEO of Pod...

In the third episode of Honest Majority, we speak with Aggelos Kiayias, Professor at the University of Edinburgh and Chief Scientist at IOG, about the foundations of blockchain consensus and how formal security assumptions shape real-world protocols. The conversation covers Aggelos’ path into cryptography, his early work on modeling Bitcoin’s consensus, and the motivation behind Proof-of-Stake sys...

Timestamps: (00:39) What is Dedaub? (01:50) Entry into the space (04:50) Why is static analysis important in Web3? (07:25) How do vulnerability metrics differ between academia and industry? (09:39) Deep dive on Dedaub's Decompiler (15:11) What are the solidity level challenges? (18:35) How does static analysis work? (21:15) Upcoming product launches from Dedaub (24:47) What about security? (27...

Timestamps: (00:00) Intro (00:45) First steps in the space (04:34) Bain Capital: Origin Story (06:10) Is New York the new Crypto Capital? (07:43) Exciting research: ZK DA (12:06) Technical deep dive (21:16) Outlook for 2026 and beyond (26:55) Outro Papers mentioned: 1. Fraud and Data Availability Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities 2. ZODA: Ze...