Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure
coindesk|2026年05月18日 14:20
The Ethereum co-founder argued that AI-assisted "formal verification" could become one of the most important tools for cybersecurity in a new blog post.
+3分享至：
脈絡
熱門快訊
APP下載
X
Telegram
複製鏈接