BTCBTC
💲77258.01
+
0.35%
ETHETH
💲2267.88
+
0.43%
ZECZEC
💲1211.76
+
4.91%
SOLSOL
💲92.24
-
0.18%
XAUXAU
💲3943.47
-
0.53%
USDCUSDC
💲1.00
-
0%

Cointelegraph
Cointelegraph|2026年11月03日 21:24
⚡️ 最新消息：以太坊的 leanVM 工具实现了端到端的形式化验证，使其在所有三层都朝着量子抗性迈进了一步。
+5
曾提及
分享至：

脉络

11月04日 00:22以太坊leanVM完成形式化验证，目标2028年
11月03日 22:16ETH是以太坊区块链最重要的应用案例
11月03日 20:44德雷克计划在2028年前完成以太坊量子防御
11月03日 18:01以太坊交易确认时间缩短至12秒
11月03日 17:59Aave V4上线抵押品兑换功能
11月03日 17:32可信硬件与隐私通信是以太坊使命的一部分
11月03日 17:30Vitalik Buterin呼吁建立可信赖的硬件
11月03日 14:15AZTEC推出TIERRA以加速以太坊消息传递
11月03日 14:05以太坊隐私网络Aztec推出重大升级
11月03日 14:00以太坊 Layer 2 Aztec 获得 Tierra V6 升级

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读