Skip to content

proof(merkle): Stage 1 — buildMerkleTree correctness (WIP) - #46

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

proof(merkle): Stage 1 — buildMerkleTree correctness (WIP)#46
hyperpolymath merged 1 commit into
mainfrom
claude/dazzling-noether-hkgAV

proof(merkle): Stage 1 helper lemmas (index / splitAt / transport)

4cfd5dd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar