fix(proximity-gap): resolve AHIV22 proof obligations (#226 #227 #234)#385

Draft

eliasjudin wants to merge 3 commits intoVerified-zkEVM:mainfrom

eliasjudin:elias/issue-227-ahiv22-natcard-helper

Commits on Mar 4, 2026

feat(proximity-gap): resolve AHIV22 proof obligations (#226 #227 #234)

eliasjudin
and
Aristotle-Harmonic
committed
fix(proximity-gap): restore XOR contract for AHIV22 Lemma 4.4
eliasjudin
committed

Commits on Mar 8, 2026

refactor(proximity-gap): split AHIV22 support lemmas

eliasjudin
and
codex
committed