TABConf 6: Covenants and STARK proof verification with OP CAT

About this episode

This episode provides a technical update on covenants and STARK proof verification on Bitcoin using OP_CAT, discussing real applications and current implementations.

A TABConf 6 technical update on the progress of covenants and verifying STARK proofs on Bitcoin using the OP_CAT opcode. The talk walks through real applications, the current open source implementation, and a signet toy experiment that verifies a Fibonacci sequence using a chain of covenant linked transactions within standard relay policy limits. Expect a developer focused view of where the work stands today, what’s already running, and what OP_CAT enables for this design space. Recorded live at TABConf 6 in 2024.

Topics covered

• covenants
• STARK proof verification
• Bitcoin
• OP_CAT
• open source implementation
• developer focus

Keywords

• covenants
• STARK proofs
• Bitcoin
• OP_CAT
• open source
• Fibonacci sequence
• chain of covenant linked transactions

Mentioned in this episode

Organizations: TABConf

Products: OP_CAT, STARK proofs

Places: Bitcoin

More episodes of TABConf Sessions

• TABConf 4: Bitcoin Legal Panel with Justine Harper, Hussein Badakhchani, Zack Shapiro, and Desiree Dickerson · April 1, 2026 · 42 min
• TABConf 6: Build a Web Wallet with BDK 1.0 · March 24, 2026 · 56 min
• TABConf 6: Soft Fork Covenant Dependent Layer 2 Review with Peter Todd · March 17, 2026 · 56 min
• TABConf 6: FROST, The Production Impact and Why It Matters · March 4, 2026 · 42 min
• TABConf 7 Live 2025: Bitcoin Fundamentals and Self Custody Workshop with William K. Santiago · February 25, 2026 · 1h 20m
• TABConf 7 Live 2025: Fedimint Deep Dive Workshop with Justin · February 17, 2026 · 27 min