从 KelpDAO 到 Verifiable UI:为何「可验证界面」是新的去中心化安全底线?
一次安全事故,再次暴露了 DeFi 直到今天仍在大规模依赖的单点验证、层层嵌套的默认信任。
Foresight News 现场报道,Vitalik 在对话肖风中表示,目前抗量子计算算法技术已有成熟方案,以太坊不仅想只做抗量子计算的链,还要抗 AI。
同时其表示,近期黑客事件非常严重,未来可通过 AI 与形式化验证等方法提升智能合约可信性非常重要。AI 时代下 DeFi 协议里安全的代码会更安全,而一般的代码会变得不安全。以太坊有很多安全优势,问题也在于协议选择。

