PANews 4月22日消息， Vitalik Buterin在與蕭風對話中表示，AI正快速提升漏洞發現能力，疊加形式化驗證可望實現更安全的智能合約開發，甚至讓非程式設計師也能建立無漏洞合約。同時，他強調以太坊L1將持續聚焦去中心化與安全，並推進抗量子密碼學（如雜湊與STARK）與ZK技術應用，以因應未來AI與量子運算帶來的安全挑戰。