開發者如何自我保護：Web3隱私解決方案綜述

Arcane Labs

特邀专栏作者

2022-11-01 09:28

本文約4785字，閱讀全文需要約7分鐘

在隱私賽道中，同質化競爭所帶來的創新會促進隱私鏈賽道新項目的誕生、已有項目的迭代。

AI總結

展開

在隱私賽道中，同質化競爭所帶來的創新會促進隱私鏈賽道新項目的誕生、已有項目的迭代。

Tornado Cash事件引髮質疑：開發者為協議貢獻，是否需要為濫用協議的用戶負責？
在開發者和其開源代碼仍缺乏明確指導的情況下，鏈上隱私尤為重要
本指南概述了部分現有和即將出現的隱私鏈，以作為註重隱私的開發者放心部署的選擇

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

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

一級標題

#1 Aztec Network

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

鏈：以太坊
狀態：主網運行
二級標題
二級標題
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筆交易。

一級標題

評估

一級標題

#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語言的。

一級標題

評估

一級標題

#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開發人員來說相對更加友好。

一級標題

評估

一級標題

#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。

一級標題

評估

一級標題

#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