feat(proximity-gap): harden BCIKS20 curve regimes#640

latifkasuli wants to merge 4 commits into

Verified-zkEVM:mainVerified-zkEVM/ArkLib:mainfrom

latifkasuli:agent/bciks20-curves-regime-auditlatifkasuli/ArkLib:agent/bciks20-curves-regime-auditCopy head branch name to clipboard