Archive • Proof of Keags • Buttondown

The Myth of the Valid Transaction

September 8, 2026

Why Bitcoin consensus judges block extensions rather than transactions in isolation

Taking "Don't Trust. Verify." Seriously

July 20, 2026

Introducing btc-verified, a project formalizing Bitcoin's protocol semantics in Lean

Formal Vibefication

May 12, 2026

Taking agents from crap to cracked.