本文盤點了 24 個主要運用了零知識證明技術的隱私專案。

作者：angelilu，Foresight News

本周，乙太坊開發者大會 Devconnect 在土耳其伊斯坦布爾舉行，在上百個周邊活動中與「zk」相關的活動數量佔比高達五分之一，由此不難看出開發者對「zk」的重視程度。

加密世界似乎存在一個不成文的規定，即以「zk-」開頭的專案通常擁有強大的技術背景，這裡所說的 zk 其實指的就是零知識證明（Zero-Knowledge Proof），ZKP 技術最初於上世紀八十年代在密碼學領域首次提出，但由於缺乏比較實際的落地場景一直不溫不火，直到近年區塊鏈技術的提出才重露鋒芒，目前除區塊鏈外還在雲計算、 機器學習等領域得到了廣泛應用。

零知識證明究竟是什麼，a16z 合夥人 Michael Blau 在最近的文章中甚至將 ZKP  視為一個偉大的魔術，為了更好地理解這一概念，讓我們將傳統驗證與零知識證明進行對比。

首選，傳統驗證與零知識證明在結構上都存在兩個角色和一個事件，兩個角色中一個叫做證明者，另一個叫做驗證者，證明者的任務是向驗證者證明某個事件的真實性。

  • 傳統驗證：證明者必須提供確鑿的證據，經過嚴格的驗證過程，以確保該事件為真。 或者，證明者可以採用反證法，提供證據來證明該事件不可能為假。
  • 零知識證明：證明者和驗證者之間可以進行一些與事件無直接關聯的資訊交流，然後，驗證者可以確定該事件為真，但僅限於他自己能夠確定。 即使旁觀的第三方密切跟蹤整個過程，也無法得出驗證者的結論。

零知識證明在區塊鏈領域的應用

在區塊鏈領域，ZKP 的特性使其在解決隱私和擴容這兩大核心問題上具有重要價值。 就擴容來說，以 ZKP 為基礎的 zk-Rollup 技術一直是 Vitalik 看好的擴容路線，諸如 StareWare、zkSync 和 Scroll 這樣的專案都是通過零知識證明來提高乙太坊的擴容能力。

相較而言，零知識證明在解決隱私上受到的關注度相對較低，儘管隱私一直是區塊鏈技術領域最為敏感和受關注的話題之一。 雖然區塊鏈自身具有一定的匿名性，其公開的賬本結構讓所有交易都能被任何人查閱，當交易位址與實體聯繫起來，通過對交易的分析可能就會暴露該實體的隱私資訊，因此在很多細分領域仍需要隱私加持。

零知識證明技術在這裡發揮了至關重要的作用。 通過使用零知識證明，交易雙方能夠在不暴露任何額外信息的情況下證明交易，不僅能保護用戶隱私，還能在一定程度上防止欺詐和非法活動。 如今區塊鏈隱私應用的需求遠遠未被充分挖掘，細分賽道也沒有太大關注度，本文將主要關注零知識證明技術在隱私方面的應用和影響。

下文盤點了 24 個主要運用了零知識證明技術的隱私專案，主要分為 Layer 1 公鏈、Layer 2、開發者工具、應用等四個類別。

ZKP 隱私項目盤點

隱私公鏈

隱私公鏈可以理解成同時構建公鏈加隱私，這類公鏈主要運用了三大技術來為其網路補充隱私功能，分別是：零知識證明（ZKP）、安全多方計算（MPC）和可信執行環境（TEE）。 Oasis 和 Secret Network 是當前發展相對成熟的隱私公鏈專案，但值得注意的是，這兩個專案並未直接採用零知識證明技術。 由於零知識證明技術的高度複雜性，其研發進度相對緩慢，而現實應用則更為稀缺。 這一狀況暗示了該領域仍具有巨大的未來潛力，但尚缺乏明確的市場領導者。

Aleo

Aleo  是使用零知識證明支持隱私和可程式設計的區塊鏈，其構建了一個預設為私有、開源的區塊鏈，來補充區塊鏈所缺乏的隱私保護。 Zexe 架構是其零知識證明的解決方案，通過先離線計算，再產生能證明計算正確而不披露計算細節的線上交易，從而使交易可被任何人在極短的時間內驗證。 作為公鏈，Aleo 有自己的虛擬機 snarkVM、程式設計語言 Leo、開發環境 Aleo Studio 和 PoSW 共識演算法，在零知識證明領域賽道具有巨大市場潛力。

Aleo 於 2019 年成立，目前已獲得了近 3 億美元融資，還未啟動主網，此前宣稱於 2023 年 7 月啟動主網的計劃似乎已被推遲，目前測試網三的激勵部署提交計劃於 8 月 21 日剛剛截止，看來主網啟動仍需時日。

Zcash

Zcash  是最早的「匿名幣」，率先提出了部署 zk-SNARK 來實現遮罩傳輸並提供比匿名交易更強大的隱私保證的想法，其專注於隱私和匿名性的去中心化支付，它使用 zk-SNARK 零知識證明技術證明鏈下數據同時隱藏鏈上數據內容，讓使用者可創建隱藏使用者交易金額以及發送者和接收者位址的私人交易。 Zcash 開啟了 ZKP 在隱私幣領域的創造性使用，提供在區塊鏈上可監控的透明位址（t 位址）和完全加密且無法追蹤的遮罩位址（z 位址）。

Mina

Mina  自稱是世界上最輕的區塊鏈，它的大小被設計為在使用量增長的情況下保持不變，使用 ZKP 將區塊鏈狀態壓縮到很小的大小（~22 KB），且 Mina 使用零知識簡潔非交互 zk-SNARKs 來為 Web3 帶來訪問和隱私。 其智慧合約 zkApps 使用加密技術來保護使用者隱私，允許使用者通過證明個人數據的真實性來進行交互，而不是直接共用這些數據。 這不僅增加了使用者的安全性和隱私，還減輕了開發者保護敏感數據的責任。 並且其 zkApps 使用 Typescript 這門通用程式設計語言來作為智慧合約語言，降低了開發門檻，但可能由於 zk 的複雜性且不相容 EVM，目前生態並不繁榮。

近期 Mina 宣佈主網將迎來重大升級，主網將引入 ZK 智慧合約，開發者可使用 o1js 更輕鬆地對 zkApp 進行程式設計。 當前正在為升級做準備，測試網分為 4 個階段，包括 zkApp 端到端（E2E）測試、外部安全審計、協定與性能測試、為即將到來的升級做準備，目前前兩個階段已完成。

Horizen

Horizen  是一個由零知識證明支持的區塊鏈平臺，配備 zk-SNARKs 以做到選擇性隱私，使用戶具備可選匿名功能。 Horizen 兼容 EVM，具有乙太坊虛擬機 Horizen EON。

其最大的特色是它的架構由主鏈和側鏈組成，主鏈和側鏈可以通過其跨鏈傳輸協定（CCTP）進行 ZEN 幣的跨鏈傳輸。 但因受監管環境影響，Horizen 從今年 4 月開始宣佈從主鏈和 ZEN 中刪除隱私，預計於 9 月開始棄用 主鏈遮罩池，從 Horizen 主鏈級別上取消對具有透明輸入（T 位址 -> Z 位址）的遮罩交易的支援。 但也不是完全不支持隱私，側鏈將被專注用於可擴展的數據隱私。

Horizen 的這種變革可以看到隱私公鏈在監管環境惡劣的當下提出的治理自救。 同時，也可以看到監管環境對隱私的影響，Tornado Cash 創始人被捕事件也在給各大隱私協定敲警鐘。

Dusk

Dusk  是一個具有隱私保護功能的 Layer 1 區塊鏈協議，專為滿足商業合規性而設計。 其網路安全性由一種名為 Succinct Attestation 的新型權益證明（PoS）共識機制來保證，該機制還滿足金融場景中對結算一致性的重要需求。

Dusk 的特點是兼具隱私性與合規性，Dusk 提供保證客戶隱私的身份驗證（KYC）解決方案，該演算法基於 PLONK 的 ZK 演算法。

Iron Fish

Iron Fish  是一個去中心化、基於工作量證明（PoW）、抗審查且可公開訪問的區塊鏈專案，受到基於 zk-SNARK 的 Sapling 協定的啟發，旨在為每筆交易提供隱私保證。 和其他可選的隱私公鏈不同，Iron Fish 要隱藏的包括交易資訊、挖礦資訊、錢包資訊等，除了私鑰所有者以外，任何的第二方都看不到，可謂是絕對的隱私。

Manta Network

Manta  是波卡生態內首個基於 zk-SNARK 的 Web3 隱私保護網路，其有自己的基於 UTXO 的錢包地址體系，使用者可以進行隱私資產的存儲、轉帳和兌換，Manta 的主要產品包括隱私支付 MantaPay、具有隱私功能的 zkSBT、隱私錢包 Manta Wallet 等。

Findora

Findora  是一個基於零知識證明的隱私保護區塊鏈，具有可程式設計性，使開發人員能夠在其鏈上構建注重隱私的應用程式（zkDapps），部署可根據特定 dApp 的需求進行定製的模組化子網，讓使用者能夠通過 zkDapps 控制其鏈上數據的可見性。 此外，其具有 EVM 相容性，通過其跨鏈傳輸功能可以充當第 2 層來擴展乙太坊隱私。 Findora 最近推出了一個遊戲特定鏈（GSC），是一個為零知識 Web3 遊戲提供開發環境的新子網。

Namada

Namada  是一個用於鏈間資產不可知隱私的權益證明 L1，旨在使用零知識證明技術支援多鏈使用者持有的任何類型（可替代和不可替代）的資產進行遮罩轉移。 其開發公司 Anoma Foundation 於 5 月宣佈完成 CMCC Global 領投的 2500 萬美元融資。

MobileCoin

MobileCoin（MOB）是一種設計用於日常交易的加密貨幣，移動優先，除了發送者和接收者之外，沒有人可以看到交易的詳細資訊。 MobileCoin 通過零知識證明技術達到隱私，其採用了一種稱為 Bulletproofs 的特殊 ZKP，為加密值構建「範圍證明」，Bulletproof 是簡短的非互動式 ZKP。

隱私 Layer 2

除了從頭開始構建一條集成隱私特性的全新公鏈，許多專案也選擇利用零知識技術為現有的公鏈增加隱私保護層，為現有公鏈在保證隱私的同時解決擴容問題，或者是使用零知識技術和區塊鏈結合解決具體問題，與公鏈相比更具可組合性。

Starknet 

Starknet  是由 StarkWare 推出的基於乙太坊的去中心化 ZK rollup，旨在通過利用 zk-STARK 證明技術提高區塊鏈的可擴展性和隱私性。

Aztec

Aztec  是基於 ZK Rollup 的隱私和擴容解決方案，其具有兩層零知識電路的 zk-zkRollup，一層 zk 用於加密私人使用者交易，第二層 zk 用於壓縮交易，使 Aztec 能夠簡潔地證明大量加密狀態轉換，並且不相容 EVM。 其於 3 月宣佈要關停其隱私基礎設施 Aztec Connect，未來開發中心轉移至開發零知識通用語言 Noir 和區塊鏈。

Aztec 最新的進展為正在構建隱私抽象，以為開發者提供智慧合約隱私，支持預設匿名、私有狀態讀 / 寫功能、私人智能合約功能執行。

Ola

Ola  是具有可擴充性的隱私保護、合規友好型 ZK-ZKVM Rollup 平臺，主打可程式設計性隱私、可程式設計性擴容和多語言的相容性，旨在成為可為所有可程式設計 Layer 1 區塊鏈補充隱私和擴容功能的 Layer2，圖靈完備，並支援存儲訪問操作。

主要產品部分包含 ZK 友好的虛擬機 Ola-VM 和 智慧合約語言 Ola-lang：Ola-lang 是基於 ZK-VM 的通用語言（GPL），可程式設計性更高，可以根據專案需求部署任何智慧合約，無論是公共的還是私有的。 ZK 友好的虛擬機 Ola-VM 利用精簡指令集電腦（RISC）架構，通過全功能的 zk 友好型設計和非確定性計算支持，實現更高性能。 這兩大元件的代碼上周正式在土耳其 DevConnect 期間開源。

Ola 於今年 7 月完成了 300 萬美元種子輪融資，近期在其證明系統中支援了 Poseidon2 hash，相比原始的 Poseidon hash，帶來了超過 40% 的 prover 性能提升。 並且 Ola 在土耳其 DevConnect 期間宣布開放 Ola Dev Testnet  白名單申請，為開發者和普通用戶參與 Ola 提供管道，其公開測試網及主網將於明年陸續上線。

Espresso Systems

Espresso Systems  是連接各 Layer 2 擴容解決方案的去中心化定序器和數據可用性系統，支援 Optimistic Rollup 和 ZK Rollup。 在隱私方面，其採用零知識證明等技術開發了可配置資產隱私智慧合約 CAPE 並已開源，使數位資產建立者能夠配置誰可以查看有關他們創建的資產的託管和轉移的數據。 用戶可以創建新的代幣並包裝現有的乙太坊代幣，以賦予它們所需的隱私屬性。

zkPass

zkPass  是一種用於隱私數據驗證的隱私保護協定。 它建立在多方計算（MPC）、零知識證明（ZKP）和三方傳輸層安全技術（3P-TLS）的基礎上。 zkPass 提供 TransGate，使用戶能夠有選擇地私下驗證其在 Web3 世界的 HTTPS 網站上的數據。 它可以涵蓋各種數據類型，例如合法身份、財務記錄、醫療保健資訊、社交互動、工作經驗、教育和技能認證等。 該專案由 Binance Labs 孵化，於今年 8 月完成了 250 萬美元融資。

開發者工具

NuLink

NuLink  致力於研發開箱即用的隱私保護解決方案，通過 API 讓去中心化應用的開發人員可以通過其方案實現隱私。 NuLink 網路的架構包括應用層、密碼層、存儲層、區塊鏈層和觀察者網路。 預計到 2024 年推出 ZKP 支援的數據可用性機制和通過 FHE 支援的隱私數據計算。

Railgun

Railgun  是一個基於乙太坊平臺構建的隱私和匿名解決方案，可直接和 DEX、借貸和智慧合約應用程式交互，Railgun 通過零知識證明技術（Zero-Knowledge Proofs）實現對使用者財務狀況、個人身份和行為模式的隱私保護，支援選擇性透明度，允許使用者在必要時有針對性地公開某些身份或財務資訊， 如面對審計或合規需求時。

該系統特色在於其三大核心功能：Add（添加）、Split（分割）、和 Remove（移除），這三種操作都是基於零知識證明構建的，分別提供不同級別的隱私和匿名性。 用戶可以根據自身需求靈活選擇這些操作，並且有選項將多個操作組合成一個事務，以達到降低乙太坊網路手續費（Gas Fee）的目的。

Sismo

Sismo  利用零知識證明（ZKP）和隱私保護技術，使用戶能夠聚合其身份並有選擇地向應用程式披露個人數據。 Sismo Connect  是證明方案之上的開發人員友好層，開發人員通過請求和驗證 ZK 證明，可訪問個人數據而不會侵犯用戶隱私。 和其他著重於數據隱私的協定相比，Sismo 更著重於身份隱私。

隱私應用

Tornado Cash

Tornado Cash  是一個隱私交易工具，通過零知識證明（ZKP）技術，特別是 zk-SNARKs，來實現交易的匿名性，基礎的工作原理是混幣。 由於其隱私交易特性，Tornado Cash 常和駭客攻擊和洗錢聯繫在一起，慢霧去年的報告稱 Tornado Cash 收到乙太坊網路上洗錢總額的近 75%。

Tornado Cash 也是最近陷入監管風波，8 月 24 日美司法部逮捕了 Tornado Cash 聯合創始人 Roman Storm，且 Roman Storm 與 Tornado Cash 另一名聯創 Roman Semenov 被指控共謀洗錢、違反制裁以及經營無牌匯款業務。

Elusiv

Elusiv  是一個基於零知識的合規隱私協定，目前基於 Solana 構建，其利用 zk-SNARKS 來實現私密交易，同時強調去中心化合規，可讓使用者自由選擇使用 Elusiv 公開哪些交易。 今年 3 月 Elusiv 上線 Solana，目前已在 Solana 推出隱私代幣交易功能。

zkBob

zkBob  是基於穩定幣的隱私解決方案，部署在 Polygon 和 Optimism 上，使用零知識證明技術在資金轉移中實現匿名發送者、接收者和金額，支援在 15 個以上 EVM 相容網路使用，其代幣 BOB 是具有可選隱私功能的多鏈和多抵押品穩定幣。

Brine

Brine  是 一個訂單薄隱私交易 DEX，通過 StarkWare 的 zk-STARK 證明技術實現隱私交易，其採用鏈上和鏈下雙元件設計，零知識證明技術用在隱私及鏈下交易向鏈上傳輸有效性證明兩個方面。

其於今年 6 月推出主網，當前總交易量約 5 億美元，並於今年 9 月以 1 億美元估值完成 Pantera Capital 領投的 1650 萬美元融資，StarkWare、Spartan Group 等參投。

zkMe

zkMe  是一個去中心化的 Web3 憑證網路，通過零知識證明技術來實現安全、私密的憑證頒發和驗證，注重端到端的零知識處理和選擇性資訊披露。 當使用者（憑證持有者）使用 zkMe 創建 DID 時，他們會獲得一個唯一 SBT，SBT 以加密方式與其公鑰綁定，用作身份證明，通過 ZKP 使用戶能夠在不洩露任何敏感資訊的情況下驗證其身份。

ZK-Team

ZK-Team  是以太坊基金会 9 月公布的入选 ERC-4337 账户抽象资助轮的 18 个项目之一，由加拿大区块链公司 PriFi Labs 推出，是隐私保护抽象帐户的概念验证，允许组织在管理团队成员的同时维护他们的个人隐私。通过零知识证明，ZK-team 实现的交易可确保团队成员的不同地址及其相关配额的机密性。

赛道分析

融资

在对以上项目分析后可知 a16z 投资了 Aleo、Iron Fish、Nym，红杉资本投资了 Iron Fish、Espresso Systems 等，ZK  隐私项目在市场需求、技术创新和长期价值等方面吸引顶级风投的关注，大量投资进一步证明了该领域的潜力和重要性。

從資金角度看，Aleo 是迄今為止獲得最高融資的隱私公鏈專案，因此市場對其預期較高，但由於專案主網上線時間反覆推遲也逐漸減少了專案的關注度。 Aleo 最近已成功進入了其測試網的第三階段。 一旦其主網順利啟動，將是隱私技術領域的一個重要里程碑。

成立時間

以上幾個主流隱私公鏈都是在 2018 年和 2019 年推出的，究其原因，首先在 2018 年和 2019 年區塊鏈和密碼學的基層技術逐漸成熟，使零知識證明更易用於區塊鏈領域。 其次在合規方面，2018 年 5 月歐盟《通用數據保護條例》（GDPR）正式生效，加之其他隱私法規的實施，企業和個人越來越重視數據隱私，推動了隱私公鏈的需求。 市場因素也不容忽視，2017 年區塊鏈和加密貨幣市場經歷了一輪大繁榮，使得市場有較為充裕的資金，且較乙太坊和比特幣而言，隱私特性成為了一個明確的競爭優勢，使得部分資金流向隱私公鏈。

但大部分使用了 ZKP 技術的基礎設施還是在 2021 年之後成立的，可見隱私公鏈的日趨飽和及普通公鏈對隱私的需求越來越明顯，近兩年湧現了越來越多的 ZKP 基礎設施。

ZKP 技術的選擇

零知識證明目前有多種實現方式，大類上分有 zk-SNARKS、zk-STARKS、PLONK 以及 Bulletproofs。 在本文提到的所有專案中，zk-SNARKs 使用最多，zk-SNARKs 用於證明給定的計算已正確執行同時保持輸入的私密性，其特點是證明大小相對小，而 zk-STARKS 無需初始可信設置的場景。

PLONK 是屬於 zk-SNARK 證明系統中的一個變形，PLONK 的可信設置是通用的，這意味著它可以啟動一次並被所有電路重複使用。 它也是可更新的：人們總是可以添加新的隨機性，直到確信設置沒有受到損害。 Bulletproofs 是一個一般性的零知識證明，主要用於範圍證明，一般用在機密交易里。

如上所示，不同演算法又具有不同的技術特徵。 所以不少專案在其實現邏輯中採用了混合的零知識證明演算法。 以可程式設計性隱私和擴容方案 Ola 為例，其使用 Starky 作為作為證明生成演算法，選擇了 Plonky2 作為遞歸電路演算法，兩者的共同點是它們都基於 STARK，這意味著兩者都不需要第三方可信設置。

智能合約及可程式設計性

可程式設計性指的是隱私專案使其他開發人員或組織都能構建和擴展其隱私功能的特性，零知識證明技術和專門開發的程式設計語言幫助開發者構建具有隱私性的應用程式。 隨著隱私需求的增加，隱私專案中的可程式設計性越來越受到開發人員和用戶的青睞，上文中介紹的 Aleo、Aztec 等都具有可程式設計的特點。

可程式設計性有兩種形式：ZKDSL 和 ZKVM，ZKDSL 可讓開發者直接編寫底層電路約束，降低編寫電路和 zkDapp 的門檻，例如 Aztec 的程式設計語言 Noir  和 Aleo 的程式設計語言 Leo 都採用了 ZKDSL 的形式，然而 ZKDSL 的特性決定了其表達能力仍然存在固有的限制。 另一種形式是 ZKVM 對於可程式設計性來說是更好選擇，採用 ZKVM 的包括 Ola 等協定，其智慧合約語言 Ola-lang  基於 ZKVM 構建。

隐私设计

在区块链隐私设计领域中，通常存在两种主要的数据结构模型：UTXO（Unspent Transaction Output）模型和 Account（账户）模型。

  • UTXO：是比特币等一些早期区块链使用的模型。在 UTXO 模型中，交易不是直接在账户之间进行，而是通过引用未花费的交易输出（UTXO）来实现。每笔新交易都会生成新的 UTXO，并消耗旧的 UTXO。这种模型具有较高的可扩展性和灵活性。
  • Account 模型：以太坊等智能合约平台通常使用的是账户模型。在这种模型中，每个参与者都有一个或多个账户，账户内有一个与之关联的状态（例如，余额、合约数据等）。交易直接在账户之间进行，更像是传统银行系统的工作方式。虽然在设计上较为直观和简单，但它在隐私方面的可操作性相对较低。

大多数隐私协议在设计上采用了 UTXO 模型， Zcash  基于 UTXO 的 Note  结构可以轻松隐藏交易发送者和接收者信息。Actec、Railgun、Ola 等也采用了 Note  结构，但几个项目也有略微的不同，各有优缺点。

DApp 特定隐私

Aztec 的隱私設計依賴於 UTXO（Unspent Transaction Output）模型，這使其在簡單的隱私交易方面表現優秀，但限制了複雜智慧合約的開發可能性。 目前，Aztec 主要的應用是其自家開發的 zk.money，一個基於零知識證明的隱私支付平臺。 儘管該平台表現出色，但 UTXO 模型的局限性意味著其他專案如果想集成 Aztec 的隱私特性，需要通過一個專門設計的介面——Aztec Connect 閘道合約來實現。 這個閘道合約充當了一個橋樑，使得外部項目能夠更容易地與 Aztec 進行集成，儘管這樣做可能會引入額外的複雜性和開銷。

可程式設計隱私

如前文在可程式設計性部分提到的內容，若在 Aztec 的隱私上引入可程式設計性是否能解決限制複雜智慧合約開發的問題，例如 Ola，其在設定上未選擇 DApp 特定隱私，而是引入可程式設計性，開發人員可以自由選擇部署公共合約（基於 Account）、隱私合約（基於 Note）、普通合約（基於 Account & Note），使得專案的， 不僅能滿足多樣化的隱私需求，還能給開發人員提供更大的靈活性和創造性空間。

合規

隱私協議當前面臨最大的挑戰就是強監管的寒蟬效應，2022 年 8 月美國財政部外國資產控制辦公室（OFAC）宣佈對 Tornado Cash 實施制裁，Tornado Cash 在被制裁后資金流入量顯著下降，在 30 天內下降 68%。 今年 8 月美國司法部逮捕了 Tornado Cash 聯合創始人 Roman Storm，並指控其和另一名聯創共謀洗錢、違反制裁以及經營無牌匯款業務等。

因為隱私特性，隱私協定成為了駭客的必備工具，朝鮮駭客利用 Tornado Cash、Railgun 等隱私協議進行洗錢， 因此，隱私賽道的加密貨幣經歷了多輪「下架潮」。 隱私協定的合規性設計就尤為重要，Vitalik 近期也在其論文中提出了「隱私池」的概念來平衡隱私協定的監管和合規，使用戶能夠公開證明關於他們的提款可能來自哪些存款的資訊，但又不失隱私。

目前許多專案都有「view key」功能，允許用戶選擇性地披露他們的交易資訊，然而，大多數協定並未能強制執行查看密鑰功能，這導致使用者的隱私保護程度難以確保。 此外，這些協定通常採用附錄式私有樹設計，這種設計難以為合規性目的提供必要的可追溯性。

值得注意的是，Ola 採用了可更新的 Private Tree 設計和查看密鑰功能，Ola 的 Private Tree 是可更新的、支援追蹤交易路徑的，使得隱私披露變得更加自動化且符合合規性要求。 通過這一設計，用戶能夠更加靈活地管理他們的隱私，並在需要時與監管機構共用必要的資訊，同時仍然保持著高度的隱私保護。

小結

然而，零知識證明技術並非毫無瑕疵。 其實施需要大量的計算資源，這可能會對系統的效率產生一定影響。 因此，當前的研究和開發中，如何在確保隱私的同時，不降低系統性能，成為了一個重要的挑戰。

在 Web3 時代，隱私的重要性顯而易見。 用戶對於保護敏感資訊的需求使得隱私公鏈和隱私應用程式成為 Web3 領域的不可或缺的一部分。 這些隱私公鏈提供了強大的程式設計語言和完善的開發工具，吸引著開發者積极參與構建。 然而，隱私基礎設施面臨的最大風險之一是尚不能確定其未來需求的規模。 此外，也不能排除各個公鏈或專案在未來直接推出原生的隱私保護機制，從而可能對第三方的隱私領域專案造成衝擊。 目前，像 Aleo、Espresso Systems 等備受社區關注的專案仍處於測試網階段，其發展前景尚未確定。 因此，隱私領域的發展仍需密切關注市場和技術的演進。

免責聲明：作為區塊鏈資訊平臺，本站所發佈文章僅代表作者及嘉賓個人觀點，與 Web3Caff 立場無關。 文章內的資訊僅供參考，均不構成任何投資建議及要約，並請您遵守所在國家或地區的相關法律法規。