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

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

免責聲明：本內容僅用於一般品牌傳播與資訊說明之目的，不構成任何金融、投資、法律或稅務建議。文中提及的活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售、交易任何加密資產，或使用任何服務的推薦、招攬或邀請。加密資產具有高波動性，並存在價值損失風險。WEEX 服務及線上活動的可用性可能因地區而異，並受當地適用法律法規及用戶資格要求限制。部分活動可能不適用於某些司法管轄區。您有責任確保訪問及使用 WEEX 服務符合當地適用法律法規。在參與任何涉及加密資產的活動前，請充分評估相關風險。