Unit 8: the reference witness layer, ASSERT_MY_ANNEX, and bitlisp-commit - #68

Open

EvanWinget wants to merge 17 commits into

mainfrom

unit-8-witness-layer

Commits on Sep 6, 2026

conditions: ASSERT_MY_ANNEX (0x39) and the annex admission rule
EvanWinget
committed
66fd49d
vectors: 0x39 flips from gap to ASSERT_MY_ANNEX
EvanWinget
committed
5253749
spec: the nil program is spendable by anyone
EvanWinget
committed
f454598
spend: the witness layer, SPEC.md sections 2 to 4
EvanWinget
committed
4ca2488
spec: the challenge tag is spelled BIP0340/challenge
EvanWinget
committed
1422ede
vectors: the spend suite
EvanWinget
committed
843b9a9
tests: the witness layer against its oracles
EvanWinget
committed
43bcbd2
tools: bitlisp-commit, what an output commits to
EvanWinget
committed
a177b76
docs: the witness layer recorded
EvanWinget
committed
9ba6c27
secp256k1: the x-only tweak helper is dead code
EvanWinget
committed
6bcbe76
vectors: the annex digest's compact-size boundary
EvanWinget
committed
629b04b
docs: the mutation pass of 2026-09-06
EvanWinget
committed
7b118c5
spec: review fold-ins, the family of six and the view's annex hash
EvanWinget
committed
d907f8c
spend: review fold-ins, one tagged hash and one compact size
EvanWinget
committed
bd89255
tools: review fold-ins for bitlisp-commit
EvanWinget
committed
586fdcc
tests: review fold-ins for the witness layer
EvanWinget
committed
ff05ed2
docs: review fold-ins for the witness layer
EvanWinget
committed
2507c52