密碼學領域的「聖杯」技術迎來重要理論進展！據 Vitalik Buterin 官方部落格於今（28）日發布的最新長文，以太坊共同創辦人 Vitalik 深入解析了全新的密碼學混淆協議「Diamond iO」。該協議透過大膽的密碼學假設與架構創新，成功將程式碼混淆的理論運算時間從遙不可及的「星系級」降至「行星級」，讓隱藏程式碼內部邏輯的終極技術距離實際應用更近了一步。
（前情提要：Vitalik 讚Qwen模型識別匿名能力：AI 看穿他的數學思維習慣，散文偽裝全失效）
（背景補充：以太坊第三次重大迭代》Vitalik 解析 Lean Ethereum 路線圖：幾乎所有重要組件都會被替換）
在區塊鏈與密碼學的世界中，如何讓一段程式碼在公開環境下執行，卻能完美隱藏其內部的私鑰與邏輯，一直被視為技術上的「聖杯」。台北時間 7 月 28 日，以太坊共同創辦人 Vitalik Buterin 發表了關於密碼學混淆（Indistinguishability Obfuscation, iO）系列的第二篇文章，向大眾揭開了「Diamond iO」協議的神秘面紗。
相較於主流 iO 協議動輒需要比宇宙壽命還長的「星系級（Galactic）」運算時間，Diamond iO 雖然在今日的硬體條件下依然不可行，但已成功將複雜度降至「行星級（Planetary）」。Vitalik 認為，只要再經過幾次關鍵優化，這項技術極有可能在部分特定用例中實現真正的商業落地。
打破層層堆疊，Diamond iO 的架構瘦身
在先前的文章中，Vitalik 介紹了較為保守的 iO 技術樹，其運作原理通常是在屬性基加密（ABE）內部執行全同態加密（FHE）運算，再透過層層疊加的協議塔來確保評估者只有在正確執行後才能解密。然而，這種架構帶來了毀滅性的運算負擔。
Diamond iO 的核心突破在於它對 BGG+14 ABE 方案進行了兩大關鍵修改：引入了完全不同的條件式 FHE 解密機制，以及全新的輸入編碼生成機制。這使得 Diamond iO 的整體運算強度大幅下降，大致等同於函數加密（Functional Encryption, FE），而非過去那種深不見底的複雜堆疊。
在運作流程上，評估者會先獲得輔助項、隱藏輸入 $z$ 的 FHE 加密、公開輸入位元 $x$ 以及低範數 FHE 解密金鑰 $s$。接著，評估者在編碼上執行 FHE 評估以得出密文的 BGG+ 編碼，並利用「已知明文可乘法、加法同源」的特性進行解密運算。協議中巧妙運用了「桶式左移運算子（Bucket-wise left shift）」來縮放不同位元的權重以避免誤差爆炸，最後再透過「陷阱門（Trapdoor）」提取結果 —— 這道陷阱門只會對正確執行電路形狀的運算放行，確保了機制的安全性。
引入全新假設，防堵歸零攻擊
為確保安全證明上的嚴謹性，Diamond iO 在函數 $f(x,z)$ 端也進行了調整。為了讓輸出在所有輸入下呈現「聯合偽隨機」，協議採用了名為「PROM bootstrap」的技術：讓隱藏輸入 $z$ 包含真正的秘密與隨機 PRF 金鑰，並計算出帶有偏移量的新函數 $f'(x,z) = f(x,z_{\text{secret}}) \cdot q/2 + \text{PRF}(k,x)$。此外，在輸出端與輸入端利用 XOR 雜湊處理，成功將「只對偽隨機功能的混淆」轉化為通用的 iO 協議。
在安全性方面，Diamond iO 最具爭議但也最具創新的是其輸入編碼的生成機制。為了防止評估者透過相減等方式洩露秘密，該協議依賴了兩個較新的密碼學假設：由 Wee22 提出的 Evasive LWE，以及 Diamond iO 獨有的 All-product LWE。這兩大假設有效避開了過去屢次擊潰早期混淆協議的「歸零攻擊（Zeroizing attacks）」，但 Vitalik 也坦言，這些假設相對新穎且帶有一定風險，未來仍需密碼學界投入更多心力進行安全分析與驗證。
未來展望：尋找更高效的替代方案
儘管架構已大幅簡化，Diamond iO 目前仍面臨諸多具體的效能瓶頸。Vitalik 指出，目前的瓶頸主要卡在 BGG+ 的評估開銷（ABE 與 FHE 的乘積），以及內部 PRF（目前使用深度依賴輸入長度的 Goldreich PRG 樹）。同時，該協議目前只能容忍低深度的電路以防止誤差過度累積，並需要使用較龐大的亞指數安全參數。
對此，Vitalik 提出了多項未來的可能優化方向，包含：使用更高效的 PRF 取代 Goldreich 樹、換用更先進的 FHE 協議（如 BGV/CKKS 或 packed GSW）、進一步合併 ABE 與 FHE 層，以及專門針對結合 STARK 證明的「iO 完整程式」進行針對性優化。
在文章的結尾，Vitalik 總結道，Diamond iO 最大的價值在於其結構相對簡單、易於分析，開發者不需要精通過去 20 年來的所有複雜構造就能理解其核心。他期盼這篇文章能吸引更多研究者投入安全分析與效能優化，最終讓這項深具顛覆性的技術真正走入我們的數位生活。
📍相關報導📍
Vitalik Buterin 關聯錢包沉寂一年突轉移「7,000 枚 ETH」，社群恐慌：連創辦人都要跳船了？
