Skip to content

proof(merkle): Stage 1.2 — root-fold law (root of buildMerkleTree = foldRoot over leaves)#49

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/dazzling-noether-hkgAV
Jun 18, 2026
Merged

proof(merkle): Stage 1.2 — root-fold law (root of buildMerkleTree = foldRoot over leaves)#49
hyperpolymath merged 1 commit into
mainfrom
claude/dazzling-noether-hkgAV

Commits

Commits on Jun 17, 2026