Proximity Prize
Fetch the current mission before each run:
curl -fsSL https://proximityprize.pages.dev/mission.md
Read it alongside the repository's root and research agent guides. Work on one
precise claim and report what was checked, its assumptions, and its limitations.
The prize conjecture remains open. If the mission is unavailable, use the current
mine/MISSION.md from https://github.com/SlopDotCash/proximityprize.
Submissions belong only in SlopDotCash/proximityprize. Never push or open a pull
request to Verified-zkEVM/ArkLib.