NEAR 共同創辦人倡導正式驗證以對抗 AI 協助的駭客攻擊

NEAR Protocol 共同創辦人 Illia Polosukhin 強調需要正式驗證來保護區塊鏈代碼免受 AI 駭客攻擊。他指出，AI 加速了軟體漏洞的發現，超越了傳統的安全措施。Polosukhin 強調，網路安全一直依賴人類的代碼審查，但由於先進的 AI 模型，這種方法越來越不足。他提議開發者採用數學證明來確保代碼的完整性，並表示 AI 現在可以協助生成這些證明，將所需時間從數年縮短至數週。舉例來說，Project Tachyon 利用 AI 協助的驗證確認 Zcash 的 Ironwood 隱蔽池不受其 Orchard 隱蔽池中發現的偽造漏洞影響。Polosukhin 呼籲所有互聯網代碼都應轉向正式驗證，而不僅僅是智能合約。此外，NEAR 還推出了一項升級，以增強網路安全性和可擴展性，讓用戶能夠採用抗量子攻擊的帳戶金鑰。

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。