Vitalik：AI與形式化驗證將重塑以太坊安全與開發
0
PANews 4月22日消息， Vitalik Buterin在與蕭風對話中 表示，AI正快速提升漏洞發現能力，疊加形式化驗證有望實現更安全的智能合約開發，甚至讓非程式設計師也能建立無漏洞合約。 同時，他強調以太坊L1將持續聚焦去中心化與安全，並推進抗量子密碼學（如雜湊與STARK）與ZK技術應用，以因應未來AI與量子運算帶來的安全挑戰。
來源:
登入回覆
登入分享您的看法評論
相關文章
|Square
下載BTCC APP，您的加密之旅從這啟程
立即行動 掃描 加入我們的 100M+ 用戶行列