幣界網消息，Vitalik在X平臺表示，AI可將程序安全驗證為數學定理，安全定義需覆蓋密鑰、服務器、設備、操作系統、數據庫、網絡及緩存層風險，對於安全關鍵組件應驗證整個程序。以太坊未來數年將沿此方向推進，區塊鏈尤其是兼具擴展性與隱私性的區塊鏈需要實現軟件安全。