作者：Derek?Walkush，Variant?Fund投資合伙人；翻譯：0xjs@喜來順財經
從長遠來看，大多數鏈上交易未來可能都是隱私的。?
加密貨幣的透明性束縛了許多應用程序開發人員。開發人員可以使用敏感用戶數據構建的應用程序的設計空間要廣闊得多，從游戲到私人訂單簿再到?MEV?基礎設施。?
從2015?年到?2022?年，數據泄露事件增加了一倍多，科技消費者現在對?Web3?和傳統技術中個人數據的保護和脆弱性更加擔憂。雖然對隱私的關注可能會起起落落，但一個更大的趨勢正在變得清晰：隨著海量數據收集和基于數據的貨幣化的增長，在線足跡越來越容易追溯到大型科技巨頭和針對這些蜜罐的外部對手。
在成熟的應用程序類別中，一些現有應用程序正面臨新的隱私優先挑戰者；2019?年至?2021?年，Telegram?和?Signal?等加密消息應用程序的崛起就是一個例子。在加密貨幣領域，Brave?在最近的熊市中取得了極其令人印象深刻的增長，2023?年?11?月的MAU達到歷史新高，攀升至約6600?萬。從長遠來看，這大約占Firefox?2022?年用戶量的?15%?。因此，許多加密項目現在競相提供引人注目的產品化工具和解決方案，使構建隱私應用程序盡可能簡單。?
在加密貨幣中利用隱私技術的例子似乎無窮無盡。在消費者方面，我們看到了撲克（poker）和戰爭迷霧（fog?of?war）等完全鏈上隱私游戲的令人興奮的實驗。在?DeFi?領域，一些人正在構建“暗訂單簿”，這是公開市場參與者無法查看的交易環境。（就背景而言，2019?年?4?月，暗池成交量估計占傳統股票成交量的?40%。）暗池流動性還可以通過降低?MEV?來推動更有效的市場結果。由于區塊鏈的完全公開性質，許多成熟的貿易公司被禁止執行復雜的策略，因此更大的隱私甚至可以為更專業的金融參與者進入加密生態系統打開大門。??
加密貨幣缺乏用戶隱私仍然是擴大采用的瓶頸。為了適應新的隱私期望，加密應用程序構建者必須從一開始就優先考慮隱私。?
那么，加密應用程序建設者應該如何在隱私解決方案全景中選擇？?
目前構建隱私應用程序的主要通用方法是可信執行環境（TEE）、零知識（ZK）、多方計算（MPC）和全同態加密（FHE）。
以下是每種方法以及代表性項目的簡要概述。
整個領域還處于非常早期的階段，因此以下比較只是對未來幾年每種技術所需發展的預測。這些方法也不等同或可以互換；概括起來，它們可以大致分為專用硬件（TEE）和密碼學（ZK、MPC、FHE）。此外，其中許多實際上是重疊的。例如，FHE?必須與?ZK?和/或?MPC?結合使用。話雖如此，通過研究每種方法的發展軌跡，我們可以得出關于更廣泛的隱私類別如何發展的可行見解。?
TEE
*?描述：可信、安全的鏈下計算環境
*?項目：ARM?TrustZone、AWS?Nitro、Intel?SGX、Secret?Network
ZK
*?描述：應用零知識密碼學來驗證隱私數據和計算
*?項目：Aleo、Aztec、Mina、Nocturne、Privacy?Pools
MPC
*?描述：對隱私數據的單獨片段進行聯合計算
*?項目：Nillion
FHE
*?描述：加密數據的計算
*?項目：Fhenix、Inco、Sunscreen、Zama?
選擇基礎設施的兩個關鍵因素是隱私信任假設和性能；這些都是非常微妙的術語，下面的兩個矩陣解開了這兩個概念。它們展示了數據保持隱私性的假設（它們對于考慮構建隱私應用程序的開發人員極其重要）以及實現特定性能水平所涉及的權衡。
隨著時間的推移，我們可以預期市場力量將為其中許多技術帶來更高效的技術成果。硬件加速和其他催化劑可能會顯著提高新技術的性能，盡管時間范圍仍相當不清楚。從長遠來看，這些方法中的每一種都可以控制自己的市場角落。?
下圖比較了每個關鍵維度，包括：?可組合性，意味著其他應用程序與隱私狀態交互的能力；技術復雜性；創建去中心化協議的潛力；當前性能水平，意味著潛在的吞吐量；以及基于前面提到的維度的最佳用例。該圖表可以被視為每種方法對其性能水平所做的權衡。
如上所示，每種方法都有不同的權衡。其中一種本質上并不比其他更好，但每種都根據其優化內容最適合特定類別的應用程序。例如，構建更加中心化的暗訂單簿的公司可以使用?TEE，而構建隱私借貸協議的項目可以選擇?FHE?或?ZK。
請注意，其中許多技術可以組合起來，它們的交叉點通常是一些最有趣的方法。例如，ZKP可用于去除基于TEE的暗訂單簿的operator功能，而MPC通常用于在FHE中分發加密密鑰。這些分類的目的是提煉每種孤立方法的最高級別的技術考慮因素。最后，該類別對潛在非法活動具有明顯的監管影響；對于基礎設施建設者來說，注意合規性至關重要。
可信執行環境（TEE）涉及可信、安全環境中的鏈下計算。TEE?已被許多加密機構用于各種任務，而隱私應用程序只是其中一個小用例。它們可以是基于軟件或硬件的，但是最普遍的是可信的硬件。由于該基礎設施處于鏈下且處于孤立的環境中，因此交易對公共市場參與者來說仍然是隱藏的。?
實際上，這可能看起來像交易者在不知道完整訂單簿的情況下發布訂單，并且如果池子中該交易的另一方有流動性則進行匹配，而沒有任何一方透露他們的出價或要價。?
到目前為止，TEE?的一個值得注意的應用是暗訂單簿，TradFi?中已經存在類似的基礎設施：“暗池”，這是公開市場之外的私人交易所，由一些世界上最大的金融機構（高盛的?Sigma?X和摩根士丹利的MS?Pool就是兩個例子。暗池用于限制大額交易對市場的影響。
雖然?TEE?性能很高，但它是本文中提到的唯一有效的中心化方法，但它存在各種缺點。一種批評是，與大多數傳統硬件相比，它們僅是微小的改進，并且具有類似的風險。側信道攻擊是一個值得注意的問題，并且過去曾發生過；開發人員還需要非常依賴制造商。話雖這么說，它們非常實用、易于構建且性能卓越。
優點：
*?基礎設施功能強大、經過測試且已建成
*?與當前替代品相比性能優異?
缺點：
*?通常需要為暗池等應用程序引導足夠的流動性
*?依賴?AWS、Intel?等中心化供應商，這些供應商可能遭到攻擊/破壞，雖然較為少見，并引入了審查/去平臺化風險
零知識（ZK）可以用來在不泄露任何信息的情況下證明計算的正確性。ZK?是一項影響極其深遠的技術，隱私只是一個很小的用例。迄今為止，ZK?已主要應用于擴展——將密集計算移至鏈外，然后使用?ZKP?來驗證計算的正確性。隱私領域有多種?ZK?應用程序，但三大類（雖然不完全涵蓋）是通用?ZK、ZK?L1/L2?和隱私池。
首先，利用?ZK?進行隱私應用的開發人員可以從頭開始并自行構建證明電路，或者使用?zkVM。zkVM?為任意代碼提供執行環境，并生成?ZKP?證據，驗證代碼是否誠實執行，而不會泄露任何有關實際計算的數據。重要的是，通用?zkVM?必須與去中心化私有計算（DPC）方案如Zexe相結合。?
其次，ZK?L1?和?L2?允許用戶在一個生態系統中與隱私狀態進行交易，或將隱私的鏈上操作轉移到這些網絡或層。他們有效地構建了隱私優先的?zkVM。例如Aleo、Aztec、Mina等。
最后，隱私池掩蓋了公鏈上的交易。他們使用?ZK?來驗證用戶的存款地址，隱藏資金流向新的提款地址。隱私池不僅供用戶使用，還可以與某些應用程序集成。?
重要的是，ZK本質上是驗證隱私狀態，所以仍然必須有一個隱私的執行環境來生成證明；在許多情況下，這是客戶端并直接在用戶的設備上（其中存儲原始形式的實際隱私數據）。ZK?在隱私方面的一個早期例子是去中心化身份，用戶可以證明其身份的敏感方面，而無需在鏈上公開透露實際數據。?
優點：
*?具有很強的通用性，適用于許多隱私用例
*?通常非常可組合，這意味著應用程序可以進入被動隱私狀態
缺點：
*?計算強度大，技術仍處于早期階段（盡管比?FHE?更進一步）
*?通常需要了解不同的編程語言或?ZK?電路?
安全多方計算（MPC）使多方能夠聯合對隱私數據進行計算，其中每一方僅持有隱私數據的一部分。只有一個分片，一方無法訪問隱私數據，并且不同的各方也無法訪問其余數據。MPC?在加密領域有很多用例——密鑰管理是一個值得注意的例子——但隱私應用程序開始使用MPC。?
實際上有兩種方法可以構建此類?MPC：1）用戶是聯合計算的參與者，或者?2）用戶將交易委托給另一方。從信任假設的角度來看，第一個是理想的，但在邏輯上更難以執行；大多數項目采用第二種方法。還應該提到的是，MPC?的一個明顯風險是各方之間的勾結，這可能會拼湊他們的分片來查看隱私數據。
MPC?最適合用于涉及多方的隱私計算（尤其是輸出公開的情況），但不能太多。FHE?等其他技術方法通常依賴于?MPC，因此如果參與方數量很大且分布適當，并且計算是一次性的且不是非常復雜，那么?MPC?可能就足夠了。去中心化撲克游戲是?MPC?良好用例的一個例子。
優點：
*?可應用于許多涉及一次性計算的隱私用例?
缺點：
*?不能很好地適應很多參與方的情況
*?不能用于高吞吐量應用程序，因為執行速度相當慢
全同態加密?(FHE)?允許在加密的隱私狀態上進行計算。換句話說，用戶可以在鏈上進行交易，而無需透露任何有關交易的信息。實際上，這可能涉及在?DEX?上交換代幣或存入借貸池，但不會有關于交換哪些代幣或存入多少代幣的公開鏈上數據。?
僅?FHE?不足以保護隱私。大多數方法都使用與?MPC?的某種組合來對加密密鑰進行分片，因此沒有一個中心化方能夠解密所有隱私狀態。ZK?還經常用于驗證交易——包括輸出和輸入的有效性，因為所有數據都是加密的——因此合約可以在不泄露信息的情況下與隱私狀態交互。?
這項技術還處于非常早期的階段，僅僅幾年前，像TFHE這樣的方案才發布，可以實現所有四種主要數學運算以獲得精確的輸出，而不是近似的輸出。此外，任何合理的性能水平都需要硬件加速。FHE?在連續輪次計算中的擴展性也不是特別好；隨機噪聲被添加到加密數據中，隨著計算的增加，數據會非線性增長。雖然?FHE?處于比其他提到的方法更早的開發階段，但它對于需要少量參與方的高可組合性的計算來說是最佳的；例子包括隱私借貸市場和高級消費者應用程序。?
優點：
*?完全在鏈上共享隱私狀態的唯一方法?
*?可應用于大多數隱私用例
缺點：
*?當前狀態下性能很差
*?依賴于?ZK?和?MPC?等其他技術，這些技術都有自己的缺點和信任假設
隱私基礎設施和應用程序現在是加密貨幣的必需品，并且仍處于開發的初始階段。我們預計這些解決方案的前景將繼續迅速擴大。
這里介紹的每個隱私解決方案都有不同的權衡，并且最適合不同的應用程序套件。隱私類別出現得如此之早且規模如此之大，以至于說單一方法將獲勝的說法有些簡化。
放眼長遠來看，許多與隱私相關的新技術將不可避免地出現。這一類別是加密貨幣領域最具活力和快速發展但不透明的類別之一。而這個階段顯然還只是創新的第一個時代。?
喜來順財經
