Skip to content

proof: Stage 2 core — verifier soundness (2.2) + hex codec soundness (2.3)#52

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/dazzling-noether-hkgAV
Jun 18, 2026
Merged

proof: Stage 2 core — verifier soundness (2.2) + hex codec soundness (2.3)#52
hyperpolymath merged 2 commits into
mainfrom
claude/dazzling-noether-hkgAV

proof(verify): Stage 2.2 — verifier soundness (acceptance ⇒ refs matc…

fa64527
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar