Lean 4 formalization, Python verification, and manuscripts for two ePrint papers on FRI proximity gaps above the Johnson radius (Chai & Fan, IoTeX, 2026) — ePrint 2026/861 + 2026/858.
cryptography ethereum reed-solomon stark formal-verification fri mathlib zero-knowledge-proofs lean4 zk-stark proximity-gap correlated-agreement johnson-bound action-orbit interactive-oracle-proof succinct-proofs
-
Updated
May 20, 2026 - Python