⚡️看完 V 神的最新奶文《A shallow dive into formal verification》,我又忍不住加仓了
$ETH !
可以很明显感觉到,V 神 @VitalikButerin 现在几乎所有长期思考,最后都会落到同一个核心:
如何在能力越来越强的同时,依然保留验证、约束、退出与个人主权。
这也是我觉得 ETH 和很多 AI 项目最大的区别,总是有一个很纯粹的东西打动你!
这篇其实已经不只是技术文章了,而是在重新回答一个很cypherpunk的现实问题:
当 AI 开始大规模写代码之后,人类还能不能继续信任软件?
尤其 Crypto、ZK、跨链、AI Agent、自动化金融协议这些东西叠在一起之后,系统复杂度已经开始超出人类审计上限。
这其实也是我觉得全文最有意思的地方:
很多人觉得 AI 会强化去中心化,因为 AI 降低了创造门槛;
但 Vitalik 看到的,恰恰是另一面——
AI 也会极大强化中心化,如果最后所有的安全都只能依赖公司托管、黑盒AI,那 cypherpunk 那套东西就结束了。
所以他本质上是在给 AI 时代重新寻找可信中立层。
而他最后找到的答案,其实和以太坊这些年一直在做的是同一件事:
不追求效率最大化,而是追求“可验证”,AI + Formal Verification,其实就像 Blockchain + ZK。
👉原文在这: