Edan Yago is the co-author of BitcoinOS: the first Zero Knowledge proof system to get verified on Bitcoin's main net. BitcoinOS is a significant breakthrough, as it endows Bitcoin with extended financial features without the need for a soft fork.

Time stamps:

Introducing Edan Yago... again in season 15! (00:00:45 )

BitcoinOS, The Shared Computation & Smart Contract System for Bitcoin (00:02:36 )

Introduction of BitSnark (00:05:55 )

Emulation of Conditional Payments Without a Covenant Soft Fork (00:06:13 )

BitSnark vs. BitVM (00:06:51 )

Taproot's Untapped Role (00:09:37 )

Scalability of Bitcoin (00:13:14 )

Understanding zk Proofs & Rollups (00:15:39 )

Defining Zero Knowledge Proofs (00:17:35 )

Potential of zk in Bitcoin OS (00:20:13 )

Bitcoin's Unique UTXOs with ZK Proofs (00:20:41 )

Future of Bitcoin Transactions (00:21:45 )

Scalability and Bitcoin Transactions (00:22:58 )

Concerns About Miners' Incentives (00:23:15 )

Value of Bitcoin Block Space (00:25:29 )

DeFi and Bitcoin Settlement Time (00:26:48 )

Rollups vs. Sidechains (00:29:04 )

Permissionless Innovations (00:31:30 )

Trust Assumptions in Bitcoin OS (00:35:22 )

Optimistic Verification Explained (00:36:34 )

Economic Shift in Bitcoin Mining (00:39:09 )

Importing Smart Contracts (00:40:42 )

Fragmentation and Consolidation (00:41:08 )

Bitcoin's Monetary Network Effect (00:44:46 )

Native Privacy in Bitcoin (00:45:45 )

Creating Private Addresses (00:47:10 )

Counterparty and Historical Context (00:48:37 )

Transaction Costs in Bitcoin OS (00:49:45 )

Interoperability with Existing Projects (00:51:07 )

Value of Existing Systems (00:53:55 )

Covenants and Soft Forks (00:55:10 )

Trade-offs of Soft Forks (00:57:37 )

Concerns about Unintended Consequences (00:59:25 )

Cultural Hardening of Bitcoin (01:00:12 )

Testing Zcash Transactions (01:01:04 )

User-Friendly Software Implementation (01:01:19 )

Excitement for Sovereign and Rollups (01:04:01 )

Philosophical Debate on Bitcoin Code Changes (01:05:28 )

Decentralization as a Tool (01:06:56 )

Role of the Lightning Network (01:08:14 )

Custodial Solutions vs. Self-Custody (01:11:44 )

Cold Storage Capabilities in BitcoinOS (01:15:12 )

Running a BitcoinOS Node (01:15:47 )

Token Necessity for Bitcoin OS (01:16:14 )

Encouraging Node Operation with Tokens (01:18:02 )

Bitcoin's Resurgence (01:19:47 )

Long-term Commitment (01:20:47 )

Living Off Bitcoin (01:21:09 )

Follow Yago and Projects (01:21:32 )

Conclusion (01:22:29 )