# Ethereum — X 热门讨论 (2026-09-25 18:56 UTC)
## @realNayem (Crypto Nayem) · 09-25 14:00 · ♥205 ↻4 💬109 Bitget did not lose the keys. They lost the system that tells the keys what to sign.
$351.6M left hot and warm wallets at 18:31 UTC on Sep 24. 19 transfers. ETH, XRP, USDT, USDC, AVAX, BNB, across Ethereum, XRPL, Avalanche, BSC, and Arbitrum. Early chain watchers counted about $183M because they missed networks. Bitget's number is $351.6M. Biggest CEX hit this year.
Gracy Chen says a backend wallet system was compromised, transaction data was spoofed, and Bitget's own authorization process signed the exit. Private keys ruled out. Cold wallets untouched. Outflow stopped. Bitget Wallet, the self custody app, is a different stack and was not hit.
Right now: deposits and trading are open. Withdrawals are not. She will not give a time she cannot keep. Earlier she said hours or days, not weeks. Some hacker wallets are frozen. Law enforcement and the chain teams are in. North Korea is her read from IP and method. That is not a confirmed attribution.
"User funds are safe" means the protection fund, not that the coins came back. Fund is over $464M, including 5,500 BTC. This loss eats most of it. BTC moves, so the dollar cover moves until they settle.
I do not care about the North Korea headline yet. I care that an exchange can hold the keys and still get drained if the signer trusts a lying backend. If you cannot withdraw, you do not have the money. You have a promise.
#Bitget https://x.com/realNayem/status/2103484745263059019
## @fradamt (Francesco) · 09-25 15:06 · ♥205 ↻38 💬18 One step closer to 4-8x faster Ethereum finality!
It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one.
Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified!
What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed.
The work wasn't limited to just:
Design the protocol -> Formally verify it
Instead, the loop became more like:
Design -> Formal Model -> Find exactly what breaks and why -> Redesign it.
For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process.
A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol.
Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them.
In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster. https://x.com/fradamt/status/2103501375279706556
## @3orovik (borovik) · 09-25 14:19 · ♥201 ↻9 💬25 ETH has been undervalued for at least 5 years
I think within 1-2 years, we will see over $10,000 per ETH, and maybe even higher
It’s clear Ethereum is a core part of the future https://x.com/3orovik/status/2103489490765631739