資料來源:ArkStream Capital
前言
過去,密碼學技術在人類文明進步中佔據了舉足輕重的地位,尤其在資訊安全和隱私保護領域中發揮了不可替代的作用。它不僅為各領域的資料傳輸和儲存提供了堅實的保護,而且它的非對稱加密公私鑰體系和雜湊函數,更是在2008年由中本聰進行創造性地融合,設計出了解決雙花問題的工作量證明機制,從而推動了比特幣這一革命性數位貨幣的誕生,並開啟了區塊鏈產業的新時代。
隨著區塊鏈產業的不斷演進和快速發展,一系列前沿的密碼技術不斷浮現,其中零知識證明(ZKP)、多方計算(MPC)和全同態加密(FHE)等最為突出。這些技術在多個場景中得到了廣泛應用,例如ZKP結合Rollup方案解決區塊鏈的「不可能三角」問題,MPC結合公私鑰體系推動用戶入口的大規模應用(Mass Adoption)。至於被視為加密學聖杯之一的全同態加密FHE,其獨特的特性使得第三方能夠在不解密的情況下,對加密資料進行任意次數的計算和操作,從而實現可組合的鏈上隱私計算,為多個領域和場景帶來了新的可能。
快速概覽FHE
當我們提到FHE(全同態加密)時,我們可以先理解其名稱背後的含義。首先,HE代表同態加密技術,其核心特性在於允許對密文進行計算和操作,而這些操作能夠直接對應到明文上,即保持加密資料的數學屬性不變。而FHE中的「F」則意味著這種同態性達到了全新的高度,允許對加密資料進行無限次的計算和操作。
為了幫助理解,我們選用最簡單的線性函數作為加密演算法,並且結合單次操作說明加法同態和乘法同態。當然,實際FHE使用的是一系列更為複雜的數學演算法,並且,這些演算法對於計算資源(CPU和記憶體)要求極高。
儘管FHE的數學原理深奧且複雜,但在此我們不過多展開。值得一提的是,在同態加密的領域中,除了FHE之外,還有部分同態加密和有些同態加密這兩種形式。它們主要區別在於支援的操作類型和允許的運算次數不同,但同樣為實現加密資料的計算和操作提供了可能。不過,為了保持內容的簡潔性,我們在這裡也不做深入討論。
在FHE產業中,儘管有不少知名企業參與研究和開發,不過,微軟和Zama憑藉他們卓越的開源產品(程式碼庫),凸顯了無與倫比的可用性和影響力。他們為開發者提供了穩定且高效的FHE實現,這些貢獻極大地推動了FHE技術的持續發展和廣泛應用。
微軟的SEAL:一款由微軟研究院精心打造的FHE庫,不僅支援全同態加密,也相容於部分同態加密。 SEAL提供了高效的C++接口,並透過整合眾多最佳化演算法和技術,顯著提升了運算效能和效率。
Zama的TFHE:是一個專注於高效能全同態加密的開源函式庫。 TFHE透過C語言介面提供服務,並運用一系列先進的最佳化技術和演算法,旨在實現更快速的運算速度和更低的資源消耗。
依照最簡化的思路,體驗FHE的操作流程大致如下:
-
產生金鑰:使用FHE庫/框架產生一對公私鑰。
-
加密資料:使用公鑰對需要進行FHE計算處理的資料進行加密。
-
進行同態計算:利用FHE庫提供的同態計算功能,對加密的資料執行各種計算操作,例如加法、乘法等。
-
解密結果:當需要查看計算結果時,合法的使用者使用私鑰對計算結果進行解密。
在FHE的實務中,解密金鑰的管理方案(產生、流轉和使用等)尤其關鍵。由於加密資料的計算和操作結果在某些時刻和場景下需要解密以供使用,那麼,解密金鑰便成為了確保原始資料和加工資料安全與完整性的核心。關於解密金鑰的管理,其方案其實與傳統金鑰管理有許多相似之處,但鑑於FHE的特殊性,也可以設計採取更嚴謹和細緻的策略。
對於區塊鏈而言,由於其去中心化、透明化和不可篡改等特性,引入閾值的多方安全計算方案(Threshold Multi-Party Computation, TMPC)是極具潛力的選擇。這種方案允許多個參與者共同管理和控制解密金鑰,只有當達到預設的閾值數量(即參與者數量)時,才能成功解密資料。這樣不僅能提高金鑰管理的安全性,也能降低單一節點被攻破的風險,為FHE在區塊鏈環境中的應用提供了強而有力的保障。
打下基礎的fhEVM
從最小侵入性角度出發,實現FHE在區塊鏈上的應用,最理想的方式是將其封裝為通用的智能合約程式碼庫,以確保輕巧性和靈活性。然而,此方案的前提是智慧合約虛擬機器必須預先支援FHE所需的複雜數學運算和加密操作的特定指令集。如果虛擬機器無法滿足這些要求,則必須深入虛擬機器的核心架構進行客製化和改造,以適應FHE演算法的需求,從而實現其無縫整合。
作為廣泛採用且經過長時間驗證的虛擬機,EVM自然而然地成為了實現FHE的首選。然而,在這個領域的實踐者寥寥無幾,其中,我們再次注意到開源TFHE的Zama公司。原來,Zama不僅提供了基礎的TFHE庫外,而且作為一家專注於將FHE技術應用於人工智慧和區塊鏈領域的科技公司,還推出了兩款重要開源產品:Concrete ML 和fhEVM。 Concrete ML 專注於機器學習隱私計算。透過Concrete ML,資料科學家和ML從業者可以在保護隱私的前提下,對敏感資料進行機器學習模型的訓練和推斷,從而充分利用資料資源而無需擔心隱私洩露。另一款產品fhEVM 則是支援Solidity 實現隱私運算的全同態EVM。 fhEVM 讓開發者可以在以太坊智慧合約中使用全同態加密技術,實現隱私保護和安全計算。
透過閱讀fhEVM的資料,我們了解到fhEVM的核心特性是:
-
fhEVM:在非EVM字節碼層面,以內嵌函數形式,透過整合Zama開源FHE庫的多個不同狀態的預編譯合約,提供了FHE的操作支援。另外,專門為FHE打造了一片特定的EVM記憶體和儲存區域,用於儲存、讀寫和驗證FHE的密文;
-
基於分散式閾值協定設計的解密機制:支援在多個使用者和多個合約之間混合加密資料的全域FHE金鑰和鏈上儲存加密金鑰、多個驗證者之間以閾值的多方安全計算方案分享解密金鑰的非同步加密機制;
-
降低開發者使用門檻的Solidity合約庫:設計了FHE的加密資料類型、操作類型、解密呼叫和加密輸出等;
Zama的fhEVM為區塊鏈應用中的FHE技術提供了堅實的起點,但考慮到Zama主要側重於技術研發,其解決方案更偏向於技術層面,而在工程落地和商業應用方面的思考相對較少。因此,fhEVM在推向實際應用的過程中,可能會遭遇各種預料之外的挑戰,包括但不限於技術門檻和性能優化等問題。
建構生態的FHE-Rollups
單純的fhEVM本身並不能單獨構成一個專案或完整的生態體系,它更像是以太坊生態中多樣化的客戶端之一。若要作為獨立專案立足,fhEVM必須依託公鏈層級的架構或採用Layer2/Layer3的解決方案。 FHE公鏈的發展方向不可避免地要解決如何減少FHE運算資源在分散式驗證者節點之間的冗餘和浪費。相反,本身作為公鏈執行層存在的Layer2 / Layer3方案可以將計算工作分配到少數節點,極大減低計算開銷的數量級。正因如此,Fhenix作為先行者,積極探索將fhEVM與Rollup技術結合,提出建構先進的FHE-Rollups型Layer2解決方案。
考慮到ZK Rollups技術涉及複雜的ZKP機制,且需要龐大的運算資源來產生驗證所需的證明,結合全FHE本身的特性,直接實現基於ZK Rollups的FHE-Rollups方案將面臨許多的挑戰。因此,在目前階段,相較於ZK Rollups,採用Optimistic Rollups方案來作為Fhenix的技術選擇會更為實際和高效。
Fhenix的技術堆疊主要包括以下幾個關鍵元件:Arbitrum Nitro’s fraud prover的變種,它可以在WebAssembly進行詐欺證明,因此,FHE邏輯可以先編譯成WebAssembly進行安全運行。核心庫fheOS提供了將FHE邏輯整合到智能合約中所需的所有功能。閾值服務網路(TSN)是另一個重要元件,它託管著秘密共享的網路金鑰,使用特定演算法的秘密共享技術將其分割成多份來確保安全性,並且在必要時,負責解密資料等任務。
基於上述的技術棧,Fhenix發布了首個公開版本Fhenix Frontier。儘管這是有不少限制和功能缺失的早期版本,但它已經全方位提供了智能合約程式碼庫、Solidity API、合約開發工具鏈(如Hardhat/Remix)、前端互動JavaScript庫等的使用說明。對此有興趣的開發者和生態項目方可以參考官方文件進行探索。
Chain-Agnostic的FHE Coprocessors
在FHE-Rollups的基礎上,Fhenix巧妙地引入了Relay模組,旨在賦能各類公鏈、L2及L3網絡,使得它們能夠接入FHE Coprocessors使用FHE功能。這意味著,即便原先的Host Chain並不支援FHE,現在也能間接享受FHE的強大功能。然而,由於FHE-Rollups的證明挑戰期通常長達7天,這在一定程度上限制了FHE的廣泛應用。為了克服這個挑戰,Fhenix聯手EigenLayer,透過EigenLayer的Restaking機制,為FHE Coprocessors的服務提供了更為快速方便的通道,大大提升了整個FHE Coprocessors的效率和靈活性。
FHE Coprocessors的使用流程簡單明了:
-
應用合約在Host Chain上呼叫FHE Coprocessor執行加密計算操作
-
Relay合約排隊請求
-
Relay節點監聽Relay合約並將呼叫轉發至專用的Fhenix Rollup
-
FHE Rollup執行FHE計算操作
-
閾值網路解密輸出
-
Relay節點將結果和樂觀證明回傳給合約
-
合約驗證樂觀證明並將結果發送給呼叫方
-
應用合約結合呼叫結果繼續執行合約
Fhenix參與指南
如果你是開發者,你可以深入研究Fhenix的資料文檔,並基於這些文檔開發屬於你自己的FHE型應用,以探索其在實際應用中的潛力。
如果你是用戶,不妨嘗試體驗Fhenix的FHE-Rollups所提供的dApps,感受FHE帶來的資料安全性與隱私保護。
如果你是研究員,強烈建議你仔細閱讀Fhenix的資料文檔,深入了解FHE的原理、技術細節和應用前景,以便在你的研究領域內做出更有價值的貢獻。
FHE最佳應用場景
FHE技術展現了廣泛的應用前景,特別是在全鏈遊戲、DeFi以及AI等領域,我們堅定地相信其在這些領域擁有巨大的發展潛力和廣泛的應用空間:
-
隱私保護的全鏈遊戲:FHE技術為遊戲經濟體中的金融交易和玩家操作提供了強大的加密保障,有效防止了即時操縱行為,確保了遊戲的公平性和公正性。同時,FHE也能夠匿名化玩家的活動,顯著降低了玩家金融資產和個人資訊外洩的風險,從而全方位保護玩家的隱私安全。
-
DeFi/MEV:隨著DeFi活動的蓬勃發展,不少DeFi操作在黑暗森林中成為了MEV攻擊的目標。為了解決這項挑戰,FHE能夠在保證業務邏輯計算處理的前提下,有效地保護DeFi中不願洩露的敏感數據,如持倉數量、清算線、交易滑點等。透過應用FHE,鏈上DeFi的健康狀況可以顯著地提升,從而大幅降低不良MEV行為的發生頻率。
-
AI:AI模型的訓練依賴資料集,當涉及使用個體資料進行訓練時,確保個體敏感資料的安全成為首要前提。為此,FHE技術成為AI模型訓練個體隱私資料的理想方案,它允許AI在加密資料上進行處理,從而在不洩露任何個人敏感資訊的情況下完成訓練過程。
FHE的社區認可度
技術的發展並非僅靠其硬核的特性就能實現。要實現技術的成熟與持續進步,必須依賴持續完善的學術研發與積極建立的社區力量。在這方面,FHE被成為加密學界的聖杯,其潛力與價值早已被廣泛認可。 2020年,Vitalik Buterin在《Exploring Fully Homomorphic Encryption》一文中,對FHE技術給予了高度的認可與支持。近期,他在社群媒體上再次發聲,無疑地再次強化了這一立場,並為FHE技術的發展呼籲了更多的資源和力量。與之對應的是,不斷湧現的新項目、非營利研究和教育組織,持續注入的市場資金,這一切似乎都在預示著一場技術爆發的序曲即將奏響。
潛力的FHE初期生態
在FHE生態的發展初期,除了核心基礎技術服務公司Zama和備受矚目的Fhenix這項優質專案外,還有一系列同樣出色的專案值得我們深入了解與關注:
-
Sunscreen:透過自助研發建構的FHE編譯器,支援傳統程式語言進行FHE轉換,設計對應FHE密文去中心化儲存存儲,最後以SDK形式為Web3應用輸出FHE特性
-
Mind Network:結合EigenLayer的Restaking機制,專門為AI和DePIN網絡擴展安全性的FHE網絡
-
PADO Labs:推出融合ZKP和FHE的zkFHE,並在其上建構的去中心化計算網絡
-
**Arcium:**前身是Solana的隱私協議Elusiv,近期轉型成為結合了FHE的平行機密計算網絡
-
Inco Network:基於Zama的fhEVM,專注於優化FHE的計算成本和效率,進而發展完整生態的Layer1
-
Treat:由Shiba團隊與Zama聯手打造,致力於延展Shiba生態的FHE Layer3
-
octra:基於OCaml、AST、ReasonML和C++開發的支援隔離執行環境的FHE網絡
-
BasedAI:支援為LLM模型引入FHE功能的分散式網絡
-
Encifher:前身是BananaHQ,現更名為Rize Labs,正圍繞著FHE做FHEML
-
Privasea:NuLink核心團隊所打造的FHE網絡,採用Zama的Concrete ML框架,旨在在AI領域的ML推理過程中實現資料隱私保護
對於非贏利性研究和教育機構,我們強烈推薦FHE.org和FHE Onchain,它們為整個生態的學術研究和教育普及提供了寶貴的資源。
由於篇幅有限,我們未能一一列舉FHE生態中所有優秀的項目。但請相信,這個生態中蘊含了無限的潛力與機遇,值得我們持續深入探索與發掘。
總結
我們對FHE技術的前景充滿樂觀,並對Fhenix這個計畫抱持著極高的期待。一旦Fhenix主網發布和正式上線,我們預期不同領域的應用將因為FHE技術而得到提升。我們堅信,這個充滿創新與活力的未來,已經近在咫尺。
參考文獻
https://zama.ai/
https://github.com/microsoft/SEAL
https://mindnetwork.xyz/
https://www.inco.org/
https://x.com/treatsforShib
https://docs.octra.org/
https://x.com/encifherio
https://www.getbased.ai/
https://www.privasea.ai/
https://x.com/fhe_org
https://x.com/FHEOnchain
https://vitalik.eth.limo/general/2020/07/20/homomorphic.html
https://x.com/MessariCrypto/status/1720134959875457352
https://foresightnews.pro/article/detail/59947