Vitalik Buterin:以太坊未來升級需20年,AI助力形式化驗證
2026-11-10 12:00:22
幣界網消息,據Moneycontrol報道,以太坊聯合創始人Vitalik Buterin在採訪中表示,未來幾年以太坊將推進一系列升級,目標是盡可能廣泛地應用零知證明和AI。他指出,這些技術過去只應用於應用層,放入主網底層風險太大,但如今技術已成熟。他強調,AI的應用能顯著加快進程,尤其是在形式化驗證方面,以確保新寫的代碼安全。
來源:X
本內容只為提供市場資訊,不構成投資建議。
關注WalletJYS官方帳號,及時關注最新動態









