Vitalik:Diamond iO 让程式混淆從「不可能」走向「理論上可行」,但安全假設仍待驗證

robot
摘要生成中

PANews 7月29日消息,以太坊聯合創始人 Vitalik Buterin 發表《混淆(第二部分):Diamond iO》技術文章,介紹一種新型程序混淆協議。此前保守型混淆方案的運行時間超過宇宙壽命,完全不可行。Diamond iO 透過修改 BGG+14 屬性加密方案,將運行時間大幅縮短,使程序混淆從「絕對不可能」推進到「理論上可以看到希望」的階段。

Vitalik 解釋,Diamond iO 的核心是將 FHE 計算嵌套在 ABE 內部,透過三種關鍵機制實現:對輸出編碼的特殊處理以實現條件 FHE 解密;對函數進行調整以輸出偽隨機結果;透過張量融合方式讓評估者為任意輸入生成唯一編碼。該方案相比保守型混淆更簡潔,僅有 FHE 嵌套在 ABE 中一層,無需複雜的子線性隨機編碼、函數加密、混淆電路等構造塔。

文章指出,Diamond iO 依賴 all-product LWE 和 evasive LWE 兩項較新的密碼學假設,安全性仍需更多驗證。主要效率瓶頸來自雜湊計算深度和「亞指數安全」參數要求。Vitalik 提出多項最佳化方向,包括改進 Goldreich PRG 實現、尋找更高效的 FHE 方案、折疊 ABE 與 FHE 層等,並希望 Diamond iO 能獲得更多關注和分析,最終實現可運行的混淆協議。

ETH1.87%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 打賞
  • 回覆
  • 轉發
  • 分享
回覆
請輸入回覆內容
請輸入回覆內容
暫無回覆