BTCBTC
💲82009.82
+
1.59%
ETHETH
💲2441.70
+
3.76%
SOLSOL
💲105.72
+
3.65%
ZECZEC
💲1222.25
+
13.02%
USDCUSDC
💲1.00
-
0%
XAUXAU
💲4179.48
+
0.92%

vitalik.eth
vitalik.eth|2026年05月18日 12:41
很多人声称，有了AI辅助的漏洞发现，安全代码（以及任何无需信任的东西）将变得不可能。 但我对此持更乐观的看法，而AI辅助的形式化验证是其中一个主要原因：
分享至：

脈絡

05月31日 08:02AI对交易者来说是一座巨大的金矿
05月31日 02:30XRP Ledger新提案阻止闪电贷攻击
05月19日 01:06AI辅助形式化验证成软件安全开发终极形态

熱門快訊

APP下載

X

Telegram

Facebook

Reddit

複製鏈接

熱門閱讀