Bitcoin Covenants: Introspection vs Template Approaches
Bitcoin's covenant debate splits on one question: how much can a script inspect its own transaction? A clear breakdown of both camps.
№ 002BitcoinBitcoin Miniscript: Catching Unsatisfiable Script Branches
Miniscript's compiler flags dead spending branches before funds move, a static analysis walkthrough showing exactly how the rejection mechanism works.
№ 003BitcoinBitcoin Taproot Internal Key Commitment Explained
Taproot's internal key commitment binds script paths at construction, making retroactive invention mathematically impossible. The precise mechanism, examined.
№ 004BitcoinBitcoin Script Minimal Push Encoding Rules Explained
Bitcoin's script interpreter rejects non-minimal push opcodes silently. The exact rule, the malleability problem it solves, and where developers go wrong.
№ 005BitcoinBitcoin Script Clean Stack Rule and Taproot Witness Discount
How Bitcoin's clean stack rule shapes Taproot witness discount calculations, with a concrete worked example of script weight and fee math.
№ 006BitcoinBitcoin's Median Time Past Rule Explained
Miners set their own block timestamps. Bitcoin's Median Time Past rule is why that doesn't let them unlock CLTV-protected coins early, the mechanic, precisely.
№ 007BitcoinBitcoin Script Clean Stack Rules in Tapscript
How Bitcoin's clean stack rule works after Tapscript execution, why it differs from legacy Script, and what it means for spending conditions.
№ 008BitcoinBitcoin Timelocks: Absolute vs Relative Lock Mechanisms
OP_CLTV and OP_CSV enforce time against different clocks. Conflating them breaks scripts at consensus level, here is the exact distinction.
№ 009BitcoinBitcoin Covenant Opcodes: Trust Assumptions Compared
OP_CTV, OP_VAULT, and CSFS enforce spending rules differently. Their trust assumptions diverge sharply, and that gap determines your real attack surface.
№ 010BitcoinBitcoin Miniscript: Complex Spending Conditions Explained
Miniscript compiles human-readable Bitcoin spending policies into verifiable, non-malleable Script, concrete mechanism and a worked treasury example inside.
№ 011BitcoinBitcoin Covenant Proposals: Security Assumptions Compared
CTV, CSFS, APO, and CAT rest on structurally different trust models. A mechanical breakdown of what actually separates them, and why it matters.
№ 012BitcoinBitcoin Script and Recursive Covenants: The Opcode Gap
Bitcoin Script cannot inspect its own outputs, making recursive covenants impossible today. The mechanics, the proposals, and the tradeoffs, examined plainly.