Submit a record

There is no site submission form for this challenge: a record is a pull request to the compiler repository. The correctness theorem is the referee — if your fork builds, the axiom audit is clean, and the frozen spec still elaborates, your rewrite is correct by construction.

Fork the repo and branch from the current record's record-NNN tag (or any older one — building on older records is allowed and encouraged).
Optimize. Iterate locally with scripts/opt_harness.sh full against the public corpus, and keep the proof gate green with scripts/opt_harness.sh check.
Open a PR targeting arena, stating which record you branched from (Based-on: record-NNN); CI verifies it by git ancestry.
Once public CI is green, the scoring bot picks your PR up automatically: a sandboxed, offline runner re-verifies everything independently and reports one number — total gas. Each account gets 3 private scoring runs per UTC day.
Beat the current record by ≥ 0.1% → your PR is not merged: your exact head commit is tagged record-NNN+1 in the arena repo, the leaderboard entry points at the branch on your fork, and you enter the leaderboard permanently.

GitHub Repo How it works

Season 1 is open

The season is live and open to public pull requests. It opens on record-0, the reference-compiler baseline of 90,698,381 total gas over the private test suite. Take the record at ≥ 0.1% relative improvement in total gas while the correctness theorem still proves; each winning submission is archived as a record-N tag. Records publish total gas only — per-contract results are never published.