首頁

開發者如何自我保護：評估5大匿名性隱私解決方案

Arcane Labs

閱讀本文需 18 分鐘

Tornado Cash事件引發質疑：開發者爲協議貢獻，是否需要爲濫用協議的用戶負責？

原文標題：《開發者如何自我保護：Web 3 隱私解決方案綜述》

原文來源： Arcane Labs

• Tornado Cash 事件引發質疑：開發者爲協議貢獻，是否需要爲濫用協議的用戶負責？

• 在開發者和其開源代碼仍缺乏明確指導的情況下，鏈上隱私尤爲重要

• 本指南概述了部分現有和即將出現的隱私鏈，以作爲注重隱私的開發者放心部署的選擇

沒有開發者願意因幾行代碼而遭受牢獄之災，但這卻發生在 Alexey Pertsev 身上。作爲 Tornado Cash 的重要貢獻者，Alexey Pertsev 被美國政府懷疑通過以太坊 Dapp Tornado Cash 幫助不法分子 Money Laundry。這一戲劇性事件在世界各地引起了強烈反響，批評人士也指出，開發者無法控制用戶會如何使用開發者的代碼。

雖然這個故事可能比其表象更錯綜複雜，但它已引發了關於鏈上隱私的爭論。因編寫代碼而遭到逮捕開啓了一個危險的先例，Alexey Pertsev 的遭遇同時也對開發者未來爲開源軟件貢獻造成威脅。試想哪位開發者願意在無法控制用戶行爲的情況下，爲使用代碼的用戶負責？

區塊鏈的社區文化宣揚着開放性，但這並不適用於數據安全和隱私。在某些情況下，完全透明是非必要的 (參考 @GeneralRinaker 的文章)。

本文將評估一些現有和即將上線、旨在爲 Web 3 開發人員保持一定匿名性的隱私解決方案。

#1 Aztec Network

Aztec 是以太坊上第一個使用零知識證明的 Layer2 隱私鏈（隱私層）。在 Aztec 鏈上運行的智能合約能保證資產的隱私。用戶在鏈上交易、質押和獲利的同時可以保障鏈上行爲的隱私，與此同時可以享有較低的交易手續費。

鏈：以太坊

狀態：主網運行

底層技術：PLONK，通過 zk-SNARK 標準開發的二層處理交易的系統

架構：雙重 SNARKS。第一層爲隱私電路，驗證每筆交易的同時保證交易發送人、接收人和交易資產的隱祕性。第二層爲 rollup 電路，將所有交易打包並將加密的交易信息批量上傳至 Layer1

Github: https://github.com/AztecProtocol

主要應用場景

通過 Aztec Connect 隱私橋，用戶可以直接在 Layer2 隱私鏈與 Layer1 的 DeFi 應用進行交互。在 Layer1 的 Dapps 可以將 Aztec Connect 的 SDK 引用至協議，從隱私交易中獲利，如 zk.Money。作爲 Aztec 的主要產品，Aztec Connect 允許用戶使用 ETH 和 DAI 進行隱私交易。截至本文撰寫時 Aztec Connect 約有 255,000 筆交易。

進展

該團隊目前正致力於將自定義智能合約功能添加到其網絡中。智能合約將用 Noir 來編寫——一種專門用於 Aztec 網絡、基於 rust 的語言。該項目目前處於測試網絡中，計劃在 2022 年底完成。

評估

Aztec 可以將所有 ERC-20 資產隱私化，使其成爲以太坊的一個重要應用場景。鑑於以太坊已經非常活躍，對現有資產進行隱私化遠比創建一個單獨的隱私鏈更容易觸達更多的用戶。在此基礎上，Aztec 在未來有可能發展成以太坊不可或缺的隱私層。

#2 Obscuro

Obscuro 作爲以太網另一個 Layer2 的隱私解決方案，其設計主旨是在保證交易和合約狀態隱私的情況下最優處理 MEV 問題。因其對 Optimistic 和零知識證明的雙運用，Obscuro 聲稱是「Optimistic 和零知識證明之間的最優解決方案」。

鏈：以太坊

狀態：測試網

底層技術：Intel SGX 技術在 TEE 硬件上運行 EVM。本質上可以理解爲 CPU 中的一個黑箱，用戶可以在黑箱中執行完全隱私化的計算。

架構：Obscuro 網絡有兩種節點。Aggregators 負責驗證所有加密交易，將其打包併發送回以太坊。Verifiers 職責類同，但是基於硬件進行驗證並且在 Aggregators 網絡之外運作。同時擁有兩種節點使 Obscuro 平臺更去中心化，且更能保證其安全性。

Github：https://github.com/obscuronet

主要應用場景

因 Obscuro 還在測試網階段，所以暫沒有產品可以介紹。然而，平臺提供了許多可能的應用場景，包括 DeFi 隱私和 Web 3 策略遊戲。

Obscuro 是爲數不多允許開發人員使用 Solidity 開發智能合約的隱私解決方案之一。衆所周知，Solidity 在 Web 3 開發者中的使用率比 Rust 更高。相比之下，本文中提到的其他解決方案主要是基於 rust 語言的。

進展

主網上線預計在 2023 年。

評估

基於 Solidity 語言的 Obscuro 有巨大的潛力和發展空間。開發者可以輕鬆地在 Obscuro 平臺上運行主網所開發的智能合約。另外，衆多核心生態應用 EVM 兼容，使 Obscuro 的適用性相較於其他基於 Rust 的項目有顯著優勢，但其對智能合約所需要做出的改動幅度尚需觀察。

#3 Secret Network

作爲行業中的 OG，Secret Network 在 2020 年九月份上線，被稱之爲第一個在 Layer1 層面具有隱私性智能合約的網絡。用 Cosmos Tendermint SDK 構建的 Secret Network，其智能合約通過 CosmWasm 工具包用 Rust 編寫。

鏈：Cosmos IBC、以太坊、幣安鏈和 Monero 橋

狀態：主網運行

底層技術：與 Obscuro 類同，Secret Network 在 TEE 上使用 Intel SGX 進行計算。協議代碼被分爲兩部分：可信部分（敏感信息）和不可信部分（其餘代碼）。

架構：目前，一個由 50 名驗證者組成的小組使用 Tendermint 共識引擎（一種基於 bft 的權益證明機制）保護網絡的安全性。驗證者負責驗證交易，並通過質押 SCRT 向鏈上提議區塊，在此過程中獲得收益。授權由非驗證者發出。

Github：https://github.com/scrtlabs

主要應用場景

Secret Network 目前擁有豐富的生態，涵蓋 20 多個 Dapp 和 100 多名開發者。作爲 Cosmos Tendermint SDK 項目，該鏈可以與 Cosmos 生態系統的其他部分互操作，在實現 IBC 之後尤其如此。從本質上說，Secret Network 允許整個 Cosmos IBC 生態系統配備隱私功能。

因爲圍繞 Cosmos 開發框架有足夠的文件和工具，所以 Secret Network 對 Web 3 開發人員來說相對更加友好。

進展

Secret 2.0 的研發正在進行中。開發人員正在開展關鍵性的改進，包括使用 FHE 和加固現有網絡。

評估

該團隊顯然在開發網絡方面付出了努力。生態系統中的功能性產品在不斷增長，且社區參與也愈發活躍。更重要的是，受監管機構方面的影響，完全的隱私並不適用於所有情況。Secret Network 似乎在滿足監管的同時一定程度的保證了用戶隱私，並在其中找到了一個平衡點。SCRT Token是完全公開透明的，但涉及平臺和合約的交易活動是完全隱匿的。該價值主張在逐漸嚴苛的監管環境下不容忽視。

#4 Aleo

基於 ZK 密碼學的最新發展，Aleo 被稱之爲第一個去中心化、開源的協議。Aleo 允許私有和可編程應用程序。用戶可以允許第三方 (包括智能合約) 在不透露交易信息的情況下驗證數據，同時允許用戶選擇在交易的不同層面披露部分信息。這對於可組合 Dapp 之間的交互和構建非常有用，以創建更廣闊的生態系統。

鏈：Aleo

狀態：測試網

底層技術：該平臺共識機制爲 PoSW，意味在每個區塊中的交易都會生成 ZK 證明，其源自比特幣 SHA 算法。然而，與任意哈希函數不同的是，底層計算通過 PoW 實現。本質上，它允許用戶用最小算力來驗證狀態。

架構：Aleo 將以太坊的可編程性和賬戶模型與 Zcash 的隱私交易設計相結合，實現完整的鏈上隱私。

Github：https://github.com/AleoHQ

主要應用場景

Aleo 向隱私合約提供稱之爲 Leo 的 DSL。受啓於 Rust，Leo 主要用於開發隱私應用和合並 ZK 線路。雖然是專用語言，但是其開發者文檔全面、簡潔、明瞭。

其他開發者工具包括 Aleo Studio，Aleo Package Manager 和 Aleo Explorer。

進展

Aleo 第三版測試網通過三個階段逐漸開放。本月，驗證者（有 1 千萬 Aleo 積分的用戶）可以開始出塊並獲取收益。項目會將共識機制轉至 AleoBFT 以阻止中心化出塊。

評估

項目的進展取得階段性突破。現在測試網已經在運行完整可編程語言，除此之外也建立了幫助生態發展的工作室。Aleo 團隊應允開發者未來將上線更多產品和服務以助於開發者在生態內構建去中心化網絡，爲開發者帶來優良的體驗。

#5 Aleph Zero

最後一個項目也是行業較新的項目——Aleph Zero。建立在 Polkadot 的 Substrate 技術之上，基於 peer review 的共識協議，Aleph Zero 聲稱提供即時清算、速度，以及可擴展性和安全性。一旦完全啓動，該網絡的隱私框架最終可以在所有主流鏈上使用。

鏈：Substrate，以太坊，波卡

狀態：測試網

底層技術：該項目對於隱私合約有獨到的解決方案，結合了零知識證明和 sMPC。ZK-SNARKS 用於交換用戶安全且隱匿的鑰。sMPCs 則負責在不同電腦之間保護數據，該類電腦需要達到共識通過許可後纔可訪問數據。

架構：Aleph Zero 的自定義算法結合了 PoS 的變體和 DAG 技術。PoS 共識機制通過輪換的驗證者驗證區塊的狀態。DAG 作爲中間數據層運用，允許更快的交易速度和更高的吞吐量，從根本上降低了交易費用。

Github：https://github.com/aleph-zero-foundation

主要應用場景

Aleph Zero 上的第一款產品是 Common，一個自帶錢包的去中心化交易平臺，同時爲了防止搶跑採用去中心化暗池。搶跑發生在用戶通過內部信息得知未來交易將影響價格的情況下，將交易放置列隊中從而套利。

進展

Aleph Zero 正在開發叫 Liminal 的多鏈隱私解決方案。它將基於 ZK-SNARKS 和 sMPC 的結合提供創新的安全措施。其次，通過橋，Liminal 支持 Aleph Zero 和其他鏈 (如以太坊、Near、Cosmos 和 BSC) 之間的交易。開發者可以在這些鏈上編寫智能合約，同時在 Aleph Zero 上保持合約的隱私狀態。