Optimisation · DEFLATE
Faster or smaller, proved correct.
Miners replace the LZ77 parser of miniz_oxide's DEFLATE encoder and prove in Lean that its output decodes back to the input. Every accepted parser is timed and measured on a fixed corpus.
- Of validator weight
- 20%
- On the frontier
- 43
- Miners scored
- 100
- Submissions
- 225
- In the queue
- 0
Scored
- Miner
- Reference parser
- Not admitted
- Pareto frontier
- Scoring limit
Every submission
Submissions
Sort by
- 5GmcbB…DUYeT1On the frontier#225
- Gate
- Accepted
- Admission
- Admitted
- Time
- 0.56×
- Size
- 34.91%
2 Oct 2026, 14:27 UTC
- 5HmB4U…jjFUtMOn the frontier#224
- Gate
- Accepted
- Admission
- Admitted
- Time
- 2.26×
- Size
- 34.15%
2 Oct 2026, 14:18 UTC
- 5HizBA…GgP8hCOn the frontier#223
- Gate
- Accepted
- Admission
- Admitted
- Time
- 1.89×
- Size
- 34.17%
2 Oct 2026, 14:14 UTC
- 5GgrbT…3CKTPyOn the frontier#222
- Gate
- Accepted
- Admission
- Admitted
- Time
- 1.61×
- Size
- 34.21%
2 Oct 2026, 13:20 UTC
- 5DPZqe…TLD9zuOn the frontier#221
- Gate
- Accepted
- Admission
- Admitted
- Time
- 2.24×
- Size
- 34.17%
2 Oct 2026, 12:57 UTC
- 5GcAmJ…XCgNkj#220
- Gate
- Accepted
- Admission
- Admitted
- Time
- 2.13×
- Size
- 34.17%
2 Oct 2026, 12:53 UTC
- 5G4CaN…NrdQaV#219
- Gate
- Accepted
- Admission
- Dominated
- Time
- 4.24×
- Size
- 34.18%
2 Oct 2026, 12:01 UTC · Beaten on both axes
- 5GgPXf…K5w2VkOn the frontier#218
- Gate
- Accepted
- Admission
- Admitted
- Time
- 0.65×
- Size
- 34.57%
2 Oct 2026, 11:33 UTC
- 5EZAwz…FwdTaA#217
- Gate
- Accepted
- Admission
- Admitted
- Time
- 2.22×
- Size
- 34.18%
2 Oct 2026, 10:52 UTC
- 5GZYDL…FPthgF#216
- Gate
- Accepted
- Admission
- Dominated
- Time
- 0.56×
- Size
- 34.88%
2 Oct 2026, 10:48 UTC · Beaten on both axes
- 5GWpcR…5Wo4qDOn the frontier#215
- Gate
- Accepted
- Admission
- Admitted
- Time
- 1.38×
- Size
- 34.21%
2 Oct 2026, 10:36 UTC
- 5G4CaN…NrdQaV#214
- Gate
- Refused
- Admission
- Pending
- Time
- –
- Size
- –
2 Oct 2026, 10:22 UTC
- 5FhVLC…Bx3zzpOn the frontier#213
- Gate
- Accepted
- Admission
- Admitted
- Time
- 1.77×
- Size
- 34.18%
2 Oct 2026, 09:01 UTC
- 5FsmJD…Jq8VVnOn the frontier#212
- Gate
- Accepted
- Admission
- Admitted
- Time
- 1.29×
- Size
- 34.22%
2 Oct 2026, 08:43 UTC
- 5G4CaN…NrdQaV#211
- Gate
- Refused
- Admission
- Pending
- Time
- –
- Size
- –
2 Oct 2026, 07:52 UTC
- 5EnaKQ…rfHGKTOn the frontier#210
- Gate
- Accepted
- Admission
- Admitted
- Time
- 0.56×
- Size
- 34.87%
2 Oct 2026, 04:27 UTC
- 5Ev1GJ…eZGDckOn the frontier#209
- Gate
- Accepted
- Admission
- Admitted
- Time
- 0.79×
- Size
- 34.40%
2 Oct 2026, 04:27 UTC
- 5Cf1rN…hSEs31On the frontier#208
- Gate
- Accepted
- Admission
- Admitted
- Time
- 0.63×
- Size
- 34.66%
2 Oct 2026, 04:27 UTC
- 5FRxzQ…A3cWuGOn the frontier#207
- Gate
- Accepted
- Admission
- Admitted
- Time
- 0.72×
- Size
- 34.48%
2 Oct 2026, 04:27 UTC
- 5Gxxqt…8WdDwVOn the frontier#206
- Gate
- Accepted
- Admission
- Admitted
- Time
- 0.53×
- Size
- 35.10%
2 Oct 2026, 03:00 UTC
How it is scored
The rules
- 01The competition sets 20% of the validator's weights. The rest goes to the treasury.
- 02Only parsers on the Pareto frontier of time and size are paid, and only while they stay on it. How much each one gets depends on how much of the frontier it holds: a point that opens a new trade-off earns more than one squeezed between close neighbours.
- 03If one hotkey has several parsers on the frontier, only the oldest of them is paid.
- 04A parser counts only if it is at most 10× the incumbent's time and compresses to at most 40% on average.
- 05A parser that is faster without compressing better has to prove the gain: the lower end of a 95% bootstrap interval must be above zero.
- 06One submission earns at most 3,600 α over its lifetime. After that its share goes to the treasury.
- 07A miner's source stays private while it is on the frontier. It is published once something beats it.