Skip to content

proof(merkle): Stage 1.1 — buildMerkleTree/getLeafHash soundness (re-land after #46) - #47

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

proof(merkle): Stage 1.1 — buildMerkleTree/getLeafHash soundness (re-land after #46)#47
hyperpolymath merged 1 commit into
mainfrom
claude/dazzling-noether-hkgAV

proof(merkle): prove buildMerkleTree/getLeafHash round-trip soundness…

2402f00
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar