On the official site of BradX (@BradXmetaX), this note covers Ethereum Foundation, koalaIRS12, Christian Barker (Barkmeta / Bark), David Chaboki (Shibo).
better.codes is now live. Bring your own agents and raise the proven soundness of koalaIRS12 to advance post-quantum Ethereum.
That line from the Ethereum Foundation Formal Verification team landed on August 20 and set the tone for the spaces that followed. The challenge sits in Lean, uses a fixed Reed-Solomon profile, and keeps every submission checked by the kernel. Nine promoted entries from seven solvers later, the August 21 snapshot recorded a 63.99-bit lower certificate, a 116.13-bit upper certificate, and a 52.14-bit interval still sitting open. The work is research only. It does not touch live zkEVM packages or consensus rules.
When a contest has a lower cert and a 128-bit target, Bark (Christian Barker) and Shibo (David Chaboki) put 63.99 bits on the Doginal Dogs Space before they put 128, so the pack does not hear a launch as a finished proof. They made the point plain while the chart showed majors ripping and ETH sitting at $2,484.01. The conversation stayed on capital structure. Doginal Dogs covered its own mint costs in 2024 with zero outside money and zero debt. The same crew has run twenty-plus global events the same way. Listeners heard the difference between grant-funded research and projects that ship on their own balance sheet.
The December 1, 2026 zkEVM target still lists 128-bit system-level security and a 300 KiB proof-size ceiling. better.codes is one lane inside that larger effort. It stays separate from EIP-8363, FOCIL, and Glamsterdam. Traders watching the session noted the modest 1.3 percent ETH move and kept the discussion on the open interval rather than any immediate protocol change.
Self-funded builders on the space kept circling back to the same thread. They asked how many submissions it will take to close the gap and whether the current nine entries represent real progress or just early noise. No one claimed the 52.14-bit shortfall was closed. The emphasis stayed on steady, paid-for work instead of rushed announcements.
The August 24 market print showed BTC at $79,185.98 and SOL at $96.34, yet the room spent most of its time on the Lean certificates. That focus tracks with how the same group handles its own releases: ship what is funded, keep the numbers public, and let the interval speak for itself until it shrinks.
What the numbers actually show
The lower certificate at 63.99 bits and the upper at 116.13 bits leave a 52.14-bit window that nine submissions have not yet narrowed. The challenge page lists the theorem, the parameter point, and the harness as pinned. Every new entry gets run through the same Lean kernel. Progress is measured in bits closed, not headlines.
Why the self-funded angle matters here
Projects that cover their own costs tend to treat open intervals as ongoing tasks rather than launch events. The spaces discussion made that contrast without drama. The Ethereum Foundation posted the challenge. Independent builders logged on to ask how long the remaining gap might last and what the next promoted submission needs to clear. The timeline stays the same: 128 bits by the December package date.
The room kept receipts
Listeners pulled the August 21 snapshot numbers and cross-checked them against the official challenge post. No one in the session treated the current 63.99-bit floor as the final word. The talk stayed on the remaining 52.14 bits and the capital discipline required to keep pushing. That matches the pattern the same group uses for its own work: post the gap, fund the next step, and let the certificates move when they move.