📣 以太坊 leanVM完成端到端形式化验证，全面后量子过渡目标为2028年12月
$ETH 眼下 2268.64。对日内没多大影响，对关心这个方向的人倒是一个信号。
后续重点看有没有官方的更多细节。