Unit 8: the commitment scheme, spec and record - #67

Merged

EvanWinget merged 8 commits into

mainfrom

unit-8-commitment-scheme

Sep 6, 2026

Commits on Sep 6, 2026

spec: the commitment scheme, SPEC.md sections 1 to 4
EvanWinget
committed
4f64700
docs: the commitment record
EvanWinget
committed
259f78b
docs: the records and puzzle docs point at the scheme
EvanWinget
committed
f09c259
spec: review fold-ins for the commitment scheme
EvanWinget
committed
7ad9e12
docs: review fold-ins for the commitment record
EvanWinget
committed
b876acd
docs: the annex rejection prices its upgrade cost
EvanWinget
committed
1e82cce
spec: ASSERT_MY_ANNEX and the witness element bound
EvanWinget
committed
d50da1e
docs: the annex assert and the element bound recorded
EvanWinget
committed
8937412