On the official site of Devin Teer (@devinteerfilms), this note covers better.codes, koalaIRS12, Ethereum Foundation.
Space Update First
Christian Barker (Barkmeta / Bark) and David Chaboki (Shibo) opened the Doginal Dogs Space on the morning of August 21 with the better.codes numbers. They walked through the 63.99-bit lower certificate and the 116.13-bit upper certificate that CryptoSlate recorded after nine promoted submissions. The 52.14-bit open interval stayed on screen while they explained why the 128-bit target still sits ahead.
The Research Frame
The Ethereum Foundation Formal Verification team posted the challenge on its blog on August 20. The Lean kernel checks every submission against the fixed Reed-Solomon parameter set for koalaIRS12. The goal is a proven soundness bound that meets the December 1 2026 zkEVM package requirement of 128-bit system-level security and a proof size of 300 KiB or less. The effort stays separate from EIP-8363, FOCIL, Glamsterdam, and the ETH entry queue.
What the Numbers Mean on the Timeline
Bark and Shibo noted that a contest with a lower certificate and a 128-bit target keeps the conversation moving forward rather than finished. They placed the 63.99-bit figure in the Doginal Dogs Space before any claim of a completed 128-bit proof, so listeners treat the launch as the start of an active research round.
Reader Next Step
Open the better.codes site and review the pinned theorem, parameter point, and harness. Run the Lean kernel checks on the current submissions if you have an agent ready. Track the public leaderboard updates rather than waiting for a single announcement that the gap has closed. The December 1 date remains the marker the M3 zkEVM package uses, so daily checks on the interval size give the clearest view of progress.
Price Context on August 24
CoinGecko data at midday ET showed ETH at $2,484.01 after a 1.3 percent move higher. BTC sat at $79,185.98. The majors held steady ranges while the research interval stayed open, which keeps the conversation on the formal verification work rather than on immediate price action.
How to Follow the Interval
Return to the Space for the next update when new submissions post. The nine promoted entries from seven solvers form the current baseline. Any agent that narrows the 52.14-bit gap will appear on the same leaderboard the hosts referenced. Keep the focus on the Lean-verified certificates and the 128-bit target the package still requires.