FHE全同態加密是即將崛起的下一代隱私保護技術,值得我們佈局。 FHE具備理想的隱私保護能力,但其的性能仍存在差距。我們相信隨著Crypto資本的進入,將會大大加速技術的發展與成熟,就像這幾年ZK的快速發展一樣。
全同態加密在Web3中可以用於交易隱私保護、AI隱私保護和隱私保護協處理器。其中我特別看好隱私保護EVM,它比現存的環簽名、混幣技術和ZK都要更靈活,更適合EVM。
我們研究了目前傑出的幾個FHE項目,大部分FHE的項目是今年到明年第一季上主網。在這些項目中,ZAMA技術最強但暫未聲明有發幣的計畫。此外,我們認為Fhenix是其中最優秀的FHE專案。
全同態加密是一種加密形式,它允許人們對密文進行任意多次的加法和乘法運算得到仍然是加密的結果,將其解密所得到的結果與對明文進行同樣的運算結果一樣。實現資料的「可算不可見」。
全同態特別適合外包計算,你可以將資料外包給外部算力去運算,同時又不用擔心資料外洩。
用通俗的話來講,比如,你運行著一家公司,公司的數據非常值錢,你想用好用的雲端服務來處理和計算這些數據,但你又擔心數據在雲端洩漏。那你就可以:
將資料進行全同態加密轉成密文後再上傳至雲端伺服器。例如,上圖中的數字5和10,會被加密成密文,用「X」, 」YZ」來表達。
當你需要對資料做運算的時候,例如你想讓兩個數字5和10相加,你只需要讓雲端伺服器上的密文」X」, 「YZ」進行演算法規定的明文+操作相對應的某種運算,得到的密文結果”PDQ”.
這個密文結果從雲端伺服器上下載下來後,經過解密得到明文。你會發現這個明文結果,就是5 + 10的運算結果。
明文只出現在你這裡,而雲端伺服器上儲存和運算的全都是密文資料。這樣你就不用擔心資料外洩了。這種隱私保護的方法非常理想。
半同態加密:半同態是容易且更實用的。半同態指的是密文只有一種同態特性,例如:加法同態/乘法同態。
近似同態:使得我們可以在密文上同時計算加法和乘法,但支援的次數非常有限。
有限級數全同態加密:允許我們對密文進行任意的加法乘法組合,沒有次數限制。但有一個新的複雜度上限,這個上限約束了函數的複雜度。
全同態加密:則需要支援任意多次的加法和乘法運算,沒有複雜度和次數的限制。
全同態加密在這裡是最困難最理想的,被稱作是「密碼學聖杯」。
全同態加密歷史悠久
1978年:全同態加密概念被提出。
2009年(第一代):第一個全同態方案被提出。
2011年(第二代):基於整數的全同態方案被提出。比上一個方案簡單,效率沒有提升。
2013年(第三代):一種建構FTE方案的新技術GSW被提出,效率更高,安全性更強。這項技術進一步改進,開發了FHEW和TFHE,進一步提高了效率。
2016年(第四代):一種近似同態加密方案CKKS被提出,是評估多項式近似的最有效的方法,特別適合隱私保護機器學習應用。
目前常用的同態加密庫支援的演算法主要是第三代和第四代演算法。演算法上的創新、工程上的最佳化、Blockchain更友善、硬體加速,隨著資本的進入是容易出現的。
常用的同態加密庫:
ZAMA TFHE 效能:
例如:ZAMA TFHE的256位元加和減明時200ms左右,計算時間約幾十ms百納秒,FHE計算速度大概比明文計算慢10^6 倍。部分優化了的操作大概比明文慢1000倍。當然,拿一個密文計算和明文計算做比較本來就是不公平的。隱私權是要付出代價的,何況是全同態這種理想的隱私權保護技術。
ZAMA計畫透過研發FHE的硬體來進一步提升效能。
Web3是去中心化的,全同態和Web3結合還有很多技術方向可以研究,比如下面這些。
創新的FHE方案、編譯器、函式庫,讓FHE更好用、更快、更適合區塊鏈。
FHE硬件,提高運算性能。
FHE + ZKP,用FHE隱私計算的同時,用ZK證明輸入輸出是滿足條件的,或證明FHE是正確執行的。
運算節點的防做惡,可以結合EigenLayer restaking等。
MPC解密方案,共享狀態經過了加密,金鑰往往採用的MPC分片,需要一個安全且高效能的閾值解密協定。
資料儲存DA層,需要更高吞吐的DA層,現有的Celestia不能滿足要求。
總的來說,我們認為FHE全同態加密是即將崛起的下一代隱私保護技術。 FHE具備理想的隱私保護能力,但其的性能仍存在差距。我們相信隨著Crypto資本的進入,將會大大加速技術的發展與成熟,就像這幾年ZK的快速發展一樣。 FHE這個賽道值得我們佈局。
FHE屬於隱私權保護賽道。簡單來說就包含 「交易隱私保護」+「AI隱私保護」+ 「隱私保護的協處理器」。
交易隱私保護還包括隱私保護的Defi, 投票,競標,防MEV等。
AI隱私保護還包括去中心化的身份標識,以及其它AI的模型和資料的隱私保護。
隱私保護協處理器是將全同態密文操作放在鏈下進行,並最終將結果返回到鏈上,可以用來做Trustless games等。
當然,隱私保護技術有多種,對比一下您就會知道FHE的特殊性的。
TEE是很快的,數據在可信硬體中是以明文形式存在併計算的,因此速度非常快。但它依賴安全硬件,實際上是信賴硬體的製造商,而非演算法,這種信任模式是中心化的。且TEE的一些運算驗證是需要連網到TEE製造商做遠端驗證的。這就不適合整合到區塊鏈上,做鏈上驗證。因為我們要求鏈上驗證,只需要區塊鏈的歷史資料節點就可以獨立完成,而不是應該依賴外部中心化的機構。
MPC安全多方運算也是一種保護隱私的多方運算技術。但這個技術往往需要多方同時在線,頻繁交互,通常不適合區塊鏈這種非同步的場景。 MPC我們多用來做分散的金鑰管理,在MPC錢包中,私鑰不會以完整形式儲存在任何一個地方。相反,私鑰被分成多個碎片(或部分),這些碎片分別儲存在不同的裝置或節點上。只有在需要簽名交易時,多個碎片會透過多方計算協議共同參與計算,產生簽名。
ZK零知識證明則多用於做計算證明,證明某一個計算過程是正確執行的,很少用來做隱私保護。 ZK和同態技術也是密不可分的,其中隱私保護的部分也用到了同態技術。
FHE全同態加密在密文運算過程中不需要中途交換數據,可以完全在伺服器/節點上計算。因此,沒有MPC的需要發起方/多方線上的要求,更適合用於區塊鏈。且相比TEE是Trustless的。唯一的不足在於性能不高。
因此,只要FHE逐步提升性能,它的隱私保護能力是更適合於Web3的。
同時,在交易隱私保護方面,全同態加密也更適合EVM。因為:
環簽名和混幣技術,並不能支持合約。
而Aleo等ZK隱私保護項目,隱私資料是類似UTXO模型,而非EVM的帳戶模型。
全同態加密則既能支援合約,又能支援帳戶模型,可以輕鬆接入EVM中。
對比下來,全同態EVM確實很吸引人。
AI的運算本來就是很耗算力的,再疊加全同態加密這麼複雜的加密模式,現階段可能性能過低,成本過高。我認為AI的隱私保護最終還是會是一種TEE/MPC/ZK/半同態的混合方案。
總的來說,全同態加密在Web3中可以用於交易隱私保護、AI隱私保護和隱私保護協處理器。其中我特別看好隱私保護EVM,它比現存的環簽名、混幣技術、ZK都要更靈活,更適合EVM。
我們研究瞭如今市面上比較傑出的全同態加密項目,他們的簡要資訊如下:
敘事:為區塊鏈和AI提供全同態加密
敘事:為區塊鏈和AI提供全同態加密
CEO & co-founder:Rand Hindi,2011年UCL,Bioinformatics PHD畢業,做過數據科學類項目,在做ZAMA的同時,為多個項目做過Advisor
Founder:Guy Zyskind,MIT的PHD Candidate, 2016年MIT的MSC。參與MIT Enigma隱私協議的研發,具備強大的研究發能力。
CEO:Guy Itzhaki曾經在Intel有著7年的工作經驗,在隱私保護領域有著非常強的時間經驗,曾擔任Intel 同態加密與區塊鏈業務發展總監。
Prof. Chris, Peikert,全同態加密的密碼學家。 Algorand的密碼學leader。
2024年5月,A輪1500萬美金,Hack VC領投, Foresight Ventures等機構跟投。
2023年9月26日,Seed Round 700萬美金, Multicoin Capital領投,Node Capital、Bankless Ventures、Robot Ventures、Tane Labs、HackVC 和Metaplanet參投.
2024年Q3,FHE Co-processor V0.
2025Q3,FHE Co-processor V1.
合作:和Zama合作,使用ZAMA的fhEVM
輪融資,1kx 領投,Circle Ventures、Robot Ventures、Portal VC、Alliance DAO、Big Brain Holdings、Symbolic、GSR、Polygon Ventures、Daedalus、Matter Labs 和Fenbushi 等參投
月推出測試網, 24年Q4推出主網
敘事:資料的隱私保護和隱私計算。 AI和DePIN資料和模型。
產品:23年的敘事是隱私資料湖,隱私保護的資料儲存和運算。今年調整到了針對AI和DePIN資料和模型的隱私保護。
合作:和ZAMA合作,使用ZAMA的全同態庫
合作:與Fhenix,Inco合作,使用fhEVM做Rollup
合作:存儲後的數據,
Co-founder & CTO:George曾是劍橋大學研究員,做過跨國銀行的技術主管, 也有多年網路金融科技的經驗。
2023年6月20日,Seed Round 250萬美元, Bin
2023年6月20日,Seed Round參。RoadMap:24年
網
2024年1月,Testnet V1.
2024年4月,Testnet V2.
2024年Q3,TGE.353)
Fhinex 團隊的技術實力很強,團隊成員不僅有在Intel負責隱私運算的專家,還有在MIT參與Enigma隱私協定研發的PHD,以及Algorand密碼學lead。
總之,我們相信ZAMA、Fhinex等全同態加密專案能為區塊鏈帶來理想的隱私保護工具。
以上是深度解析FHE(全同態加密)賽道的詳細內容。更多資訊請關注PHP中文網其他相關文章!