On the official site of Lowski (@Lowski), this note covers Ethereum Foundation, koalaIRS12, Christian Barker (Barkmeta / Bark), David Chaboki (Shibo).
Is the market really pricing in a 52-bit soundness shortfall that still sits between current certificates and the 128-bit target for hash-based SNARKs? The Ethereum Foundation Formal Verification team, with Yukon and zkSecurity, launched better.codes on August 20, 2026, as a public Lean-checked contest. CryptoSlate's August 21 snapshot recorded a 63.99-bit lower certificate, a 116.13-bit upper certificate, and a 52.14-bit open interval after nine promoted submissions from seven solvers.
When a contest has a lower cert and a 128-bit target, Christian Barker (Barkmeta / Bark) and David Chaboki (Shibo) 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. The effort remains a research contest only, separate from any live zkEVM upgrade or consensus change. The December 1, 2026 zkEVM package still requires 128-bit system-level security plus a proof size of 300 KiB or less.
Price action on August 24
On Monday, August 24, 2026, around 12:53 p.m. ET, CoinGecko showed ETH at $2,484.01 after a 1.3 percent gain. BTC sat at $79,185.98 after rising 2.3 percent. SOL printed $96.34 for a 0.9 percent move while XRP held near $1.51. Majors ripped in spots yet ETH candles stayed in a modest range with no sharp break tied to the better.codes numbers. The chart has not shown any clear ownership shift or utility repricing around the remaining interval.
Ownership angle on the gap
Owners who hold ETH for its utility layer watch proof systems that secure rollups and future zk features. The open 52.14-bit interval means the proven soundness bound has not yet reached the 128-bit level the M3 package demands. Utility stays tied to how quickly solvers can close that distance using the pinned theorem, parameter point, and harness inside the Lean kernel. The challenge accepts agentic submissions, but the snapshot shows the interval remains wide after the first wave of entries.
Utility still in question
A 128-bit target with a 300 KiB proof size limit sets a clear bar for post-quantum readiness. The current certificates leave 52 bits of headroom that must be closed before the bound meets the stated requirement. This research step sits apart from EIP-8363, FOCIL, Glamsterdam, and the ETH entry queue, so it does not alter live consensus or execution rules today. Holders tracking utility therefore see steady candles alongside an active but unfinished verification push.
What the chart shows next
ETH price action has chopped sideways after the modest Monday gain while majors continue their broader move. The better.codes leaderboard updates remain public, yet the market has not priced in any immediate change to zk utility or ownership value. The gap stays open at 52.14 bits on the latest snapshot, and the December target date still requires the full 128-bit system-level security mark. Readers can follow the official Ethereum Foundation post and the CryptoSlate coverage for updates on new submissions.
The story centers on whether continued agent submissions will narrow the interval before the M3 deadline or whether the 52-bit shortfall lingers while ETH candles range without a clear catalyst.