Vitalik 解析 Diamond iO 密碼學混淆協議，將程式碼隱藏複雜度「降級」

以太坊共同創辦人 Vitalik Buterin 於 7 月 28 日在其官方部落格發表密碼學混淆系列的第二篇文章，解析「Diamond iO」協議架構。相較於主流 iO 協議所需的「星系級」運算時間，Diamond iO 成功將複雜度降至「行星級」，Vitalik 認為只需幾次關鍵優化，部分特定用例有望實現商業落地。

Diamond iO 架構突破：「行星級」運算強度

（來源：Vitalik.eth）

傳統 iO 技術通常在屬性基加密（ABE）內部執行全同態加密（FHE）運算，再透過層層疊加的協議塔來確保評估者只有在正確執行後才能解密，這種架構帶來了毀滅性的運算負擔。Diamond iO 透過對 BGG+14 ABE 方案的兩大核心修改解決了這個問題：引入全新的條件式 FHE 解密機制，以及新的輸入編碼生成機制，使整體運算強度大幅降低至大致等同函數加密（FE）。

在運作流程中，評估者獲得輔助項、隱藏輸入 z 的 FHE 加密、公開輸入位元 x 及低範數 FHE 解密金鑰 s；協議巧妙運用「桶式左移運算子（Bucket-wise left shift）」來縮放位元權重以避免誤差爆炸，最終透過「陷阱門（Trapdoor）」提取結果，該陷阱門只對正確執行電路形狀的運算放行。

安全性假設：Evasive LWE 和 All-product LWE 防堵歸零攻擊

Diamond iO 最具爭議但也最具創新性的部分是其輸入編碼的生成機制，依賴兩個較新的密碼學假設：由 Wee22 提出的 Evasive LWE，以及 Diamond iO 獨有的 All-product LWE。這兩大假設有效防止了評估者透過相減等方式洩露秘密，避開了此前屢次擊潰早期混淆協議的「歸零攻擊」。

安全性方面，協議採用了「PROM bootstrap」技術：讓隱藏輸入 z 包含真正的秘密與隨機 PRF 金鑰，並計算帶有偏移量的新函數，再透過 XOR 雜湊處理，成功將對偽隨機功能的混淆轉化為通用的 iO 協議。

Vitalik 坦言，這些假設相對新穎且帶有一定風險，未來仍需密碼學界投入更多心力進行安全分析與驗證。

未來優化方向：更高效 PRF、進階 FHE 協議與 STARK 整合優化

Diamond iO 目前面臨的效能瓶頸包括：BGG+ 評估開銷（ABE 與 FHE 的乘積）、內部 PRF 使用深度依賴輸入長度的 Goldreich PRG 樹、只能容忍低深度電路以防誤差累積，以及需要使用龐大的亞指數安全參數。Vitalik 提出的未來優化方向如下：

· 使用更高效的 PRF 取代 Goldreich 樹

· 換用更先進的 FHE 協議（如 BGV/CKKS 或 packed GSW）

· 進一步合併 ABE 與 FHE 層以降低開銷

· 專門針對結合 STARK 證明的「iO 完整程式」進行針對性優化

Vitalik 在文章結尾表示，Diamond iO 最大的價值在於其結構相對簡單、易於分析，開發者不需要精通過去 20 年來所有複雜構造就能理解核心，他期盼這篇文章能吸引更多研究者投入安全分析與效能優化。

常見問題

Diamond iO 的「行星級」複雜度具體代表什麼？

Vitalik 在文章中以「星系級（Galactic）」形容傳統 iO 協議所需的運算時間，意指比宇宙壽命還長的計算量；Diamond iO 成功將複雜度降至「行星級（Planetary）」，雖然在今日硬體條件下仍不可行，但已顯著縮短了從理論到實用的距離，Vitalik 認為幾次關鍵優化後部分特定用例有望商業落地。

Diamond iO 依賴哪兩個新密碼學假設，它們解決了什麼問題？

Diamond iO 依賴 Evasive LWE（由 Wee22 提出）和 All-product LWE（Diamond iO 獨有），這兩個假設有效防止了評估者透過相減等方式洩露秘密，避開了此前屢次擊潰早期混淆協議的「歸零攻擊（Zeroizing attacks）」；Vitalik 坦言這些假設相對新穎，未來需要密碼學界進行更多安全分析。

Diamond iO 目前主要面臨哪些效能瓶頸？

主要瓶頸包括：BGG+ 評估開銷（ABE 與 FHE 的乘積）、內部 PRF 使用深度依賴輸入長度的 Goldreich PRG 樹、只能容忍低深度電路以防止誤差爆炸，以及需要使用龐大的亞指數安全參數；Vitalik 建議的改進方向包括更高效的 PRF、進階 FHE 協議（如 BGV/CKKS）以及 ABE 與 FHE 層的合併。