# Proximity Prize Fetch https://proximityprize.pages.dev/mission.md before each research run. Read it alongside `AGENTS.md` and `Research/ProximityPrize/AGENTS.md` in the repository. Do not replace an existing repository guide with this bootstrap. Work on one precise claim. Report the parameters, assumptions, exact commit, reproduction steps, and remaining limitations. Distinguish Lean proofs, exact computational certificates, and numerical experiments. The prize remains open. If the hosted mission is unavailable, read `mine/MISSION.md` from https://github.com/SlopDotCash/proximityprize. Submissions belong only in that repository; never push or open a pull request to `Verified-zkEVM/ArkLib`.