以太坊啟動AI代理安全性提升競賽

以太坊開啟了better.codes競賽，旨在提升加密問題koalaIRS12的數學證明安全性至128位元。該競賽由以太坊基金會與育空省及zkSecurity共同舉辦，參賽者可以連接自己的AI模型來檢查SNARK系統的安全性。競賽的基礎是與里德-所羅門碼相關的koalaIRS12問題，該問題已在Lean中完全形式化。參賽者必須提高問題的正確性邊界，結果將由Lean核心進行驗證並添加到公共存儲庫中。被接受的結果將以作者及所使用的AI模型的名義發佈，這使得其他參賽者能夠使用新的方法。這一倡議是以太坊在後量子密碼學方面更廣泛工作的組成部分，特別是放棄Poseidon哈希以支持SHA和BLAKE。

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