新聞加密貨幣Vitalik Buterin 認為 SNARKs、FHE 與 iO 達到 10 倍以下開銷的機率為 60%

Vitalik Buterin 認為 SNARKs、FHE 與 iO 達到 10 倍以下開銷的機率為 60%

作者: Hokanews·

重點速覽

  • Vitalik Buterin 估計,SNARKs、FHE 與不可區分混淆最終達到 10 倍以下運算開銷的機率為 60%。
  • Buterin 預期 SNARKs 將是三項技術中第一個跨過 10 倍以下開銷門檻者,可能在本十年結束前實現。
  • SNARKs 已用於 zk-rollup 等實際運行的區塊鏈系統,而 FHE 與 iO 大致仍處於研究階段。
  • FHE 可在無需解密的情況下對加密資料執行運算,自該技術於 2000 年代晚期被提出以來,降低其開銷一直是核心挑戰。
  • Buterin 的說法是機率估計而非確認的時間表,且未為 FHE 或 iO 給出時程。
Vitalik Buterin 認為 SNARKs、FHE 與 iO 達到 10 倍以下開銷的機率為 60%

以太坊共同創辦人 Vitalik Buterin 給予三項先進密碼學技術——SNARKs、全同態加密(FHE)與不可區分混淆(iO)——最終達到低於 10 倍運算開銷 60% 的機率。Buterin 表示,這些技術中最先達到該門檻的可能是 SNARKs,此里程碑有望在本十年結束前實現。該言論由 Cointelegraph 在 X 上的貼文 中報導。

這項估計指向密碼學技術的長期效率目標,這些技術已用於或正被研究應用於涉及隱私、驗證與運算的場景。SNARKs 已部署於實際運行的區塊鏈系統,而 FHE 與 iO 大致仍處於研究階段,這也解釋了為何 Buterin 預期 SNARKs 會率先跨過門檻。

SNARKs 可能率先達到門檻

在三項技術中,Buterin 預期 SNARKs 將第一個實現低於 10 倍的開銷,但他並未提供確切年份。

SNARKs(簡潔非交互式知識論證)允許一方證明某項運算已正確執行,而無需另一方獨立重現整個運算。該技術已成為區塊鏈產業中零知識系統的重要組成部分,包括在鏈下批次處理交易並將經驗證的結果發布到以太坊的 zk-rollup。

此效率門檻的重要性在於密碼學證明所伴隨的運算成本。較低的開銷可使先進驗證技術在運算資源與處理時間受限的應用中更為實用。目前,生成證明通常遠比直接執行底層運算昂貴,這也是這些技術尚未全面普及的原因之一。

FHE 與 iO 仍屬較長期展望

Buterin 的評估也納入了全同態加密與不可區分混淆。

FHE 允許在加密資料上直接執行運算,而無需先解密。這使其成為需要在保密底層資訊的前提下進行運算的應用(如隱私保護資料處理)之重要研究領域。FHE 於 2000 年代晚期首次被提出,此後降低其開銷一直是該領域的核心挑戰。

不可區分混淆是更進階的密碼學技術,旨在讓外界難以判斷經混淆程式的運作方式,同時保留其功能。它已被研究作為多種隱私與密碼學應用的潛在基礎,不過其實用化建構普遍被認為比 SNARKs 或 FHE 更為遙遠。

Buterin 的 60% 估計適用於三項技術最終皆達到 10 倍以下開銷門檻的可能性。他的說法並未確立該里程碑必將實現,也未為 FHE 或 iO 提供保證的時間表。

本十年結束前的目標

聲明中唯一提及的具體時間點,涉及預期率先達到門檻的技術。Buterin 表示這很可能是 SNARKs,並可能在本十年結束前實現。

該估計的重點在於效率,而非底層密碼學技術的問世。SNARKs、FHE 與 iO 已是確立的密碼學研究領域,但大幅降低運算開銷仍是重要的技術挑戰。近年來證明系統的進展,包括更新型 SNARK 建構的開發,已持續降低開銷,而這正是 Buterin 估計所呼應的趨勢。

目前為止,Buterin 的評估提出的是一項機率,而非已確認的發展。其聲明中界定的關鍵里程碑,在於 SNARKs 能否在本十年結束前達到低於 10 倍的開銷。