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
复制链接