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

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

原文來源：?ArcaneLabs

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

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

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

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

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

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

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

以太坊開發者：以目前以太坊2.0合約質押ETH數量計算，對合并后進行重組攻擊需銷毀超100億美元:12月1日消息，以太坊開發者Tim Beiko發文解釋Eth1和Eth2合并對以太坊應用層的影響，合并旨在對以太坊為最終用戶、智能合約和dapps的運作方式產生最小的影響，但有一些小的變化值得強調。

1. 區塊結構：信標鏈塊將包含ExecutionPayloads，它是當前工作證明鏈上區塊的合并后等價物。ExecutionPayloads是與以太坊進行交互的地方。

2. 挖礦和叔塊：工作量證明區塊頭中的幾個字段不再使用，被設置為0或者它們的數據結構的等效項。因為權益證明自然不會像工作證明那樣生成叔塊，叔塊的列表將是空的，并且該列表的哈希將成為空列表的RLP編碼哈希。

3. BLOCKHASH和DIFFICULTY操作碼更改：BLOCKHASH操作碼偽隨機性將變弱，DIFFICULTY操作碼 將被更新并重命名為RANDOM。

4. 平均出塊時間：目前約為13秒，合并后降為12秒。

5. 安全頭和最終區塊：在工作量證明下，有可能進行重組。最終確定的區塊是被超過2/3的驗證節點接受為規范的區塊。要創建沖??突區塊，攻擊者必須至少銷毀總質押的1/3（目前約250萬ETH，價值約100億美元）。安全頭區塊是在正常網絡條件下，期望包含在規范鏈中的區塊。假設網絡延遲小于4秒，大多數驗證節點都是誠實的，并且沒有對分叉選擇規則的攻擊，安全頭將永遠不會成為孤塊。[2021/12/1 12:43:48]

#1AztecNetwork

以太坊開發者修復測試網上的EIP-1559相關漏洞:以太坊開發人員一直在努力解決測試網上的代碼和客戶端出現的問題，以為下一次網絡重大升級——倫敦升級做好準備。7月21日，以太坊首席開發人員Tim Beiko發布了一份“倫敦測試網回顧”報告，詳細介紹了即將到來的以太坊升級測試階段的最新進展。

根據報告，OpenEthereum客戶端在7月21日注意到他們的節點在Ropsten測試網上停止了運行。經查，問題不在該客戶端，而是在go-ethereum協議和Geth客戶端上，后者檢查EIP-1559交易的發送方余額。據悉，當時一些客戶端拒絕了該區塊，而另一些客戶端接受了該區塊并繼續處理：“具體而言，OpenEthereum和Besu拒絕了該筆交易/區塊，而Nethermind、go-ethereum和Erigon接受了它們。”之后，通過向EIP-1559交易的有效性添加新的斷言（assertions），這個問題得以修復，并且測試仍在繼續。據悉，測試于6月24日在Ropsten測試網上率先激活；本月早些時候，Rinkeby測試網也啟動了最后的測試階段。（BeInCrypto）[2021/7/22 1:09:15]

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

鏈：以太坊

狀態：主網運行

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

Harmony代碼庫違反ETH軟件許可證，核心開發者要求其刪除嵌入式以太坊代碼:以太坊核心開發者Péter Szilágyi表示，基礎層區塊鏈Harmony Protocol的代碼庫違反了以太坊的軟件許可證。以太坊不允許Harmony在MIT下重新許可以太坊的代碼。Péter Szilágyi要求Harmony刪除任何嵌入式的以太坊代碼或將許可證更改為LGPLv3。

注：MIT License是最受歡迎的開源許可證之一。[2021/3/22 19:07:31]

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

Github:?https://github.com/AztecProtocol

主要應用場景

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

進展

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

數據：Maker和Compound每月活躍開發者數量仍保持高位:2月4日消息，根據Outlier Ventures發布的報告，盡管提交代碼的開發者數量正在下降，但Maker協議當前仍然是DeFi協議中最積極進行開發的項目。相較于那些月活躍開發者數量下降超過33%的項目，像Maker和Compound這樣老牌DeFi協議，其開發者數量目前仍然保持為其他項目每月開發者數量的2-4倍，而其他DeFi項目的開發者數量已經大幅下降。（AMBCrypto）[2021/2/4 18:55:09]

評估

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

#2Obscuro

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

鏈：以太坊

狀態：測試網

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

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

動態 | 近200名開發者正評估圍繞Taproot和Schnorr的“比特幣改進提案” 以增強隱私和可擴展性:目前，近200名開發者正在評估圍繞Taproot和Schnorr的“比特幣改進提案”(BIPs)，對BTC進行升級，以增強隱私和可擴展性。在Xapo比特幣核心貢獻者Anthony Towns的率先倡導下，這個想法是讓盡可能多的開發人員來審查更改，對BIP進行測試，并確保這些想法實際上是安全的。[2019/11/18]

Github：https://github.com/obscuronet

主要應用場景

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

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

進展

主網上線預計在2023年。

評估

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

#3SecretNetwork

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

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

狀態：主網運行

底層技術：?與Obscuro類同，SecretNetwork在TEE上使用IntelSGX進行計算。協議代碼被分為兩部分：可信部分和不可信部分。

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

Github：https://github.com/scrtlabs

主要應用場景

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

因為圍繞Cosmos開發框架有足夠的文件和工具，所以SecretNetwork對Web3開發人員來說相對更加友好。

進展

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

評估

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

#4Aleo

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

鏈：Aleo

狀態：測試網

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

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

Github：https://github.com/AleoHQ

主要應用場景

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

其他開發者工具包括AleoStudio，AleoPackageManager和AleoExplorer。

進展

Aleo第三版測試網通過三個階段逐漸開放。本月，驗證者可以開始出塊并獲取收益。項目會將共識機制轉至AleoBFT以阻止中心化出塊。

評估

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

#5AlephZero

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

鏈：Substrate，以太坊，波卡

狀態：測試網

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

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

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

主要應用場景

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

進展

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

評估

Substrate本身逐漸壯大的開發者社區和互操作系統是賦能AlephZero成功的一大因素。核心團隊本身的經驗和其合作伙伴也是AlephZero未來成功的因素之一。除此之外，協議本身的易操作性也會吸引更多的商家和用戶加入其生態。

#展望

不論方法還是機制設計，隱私鏈都以開發者是否能夠選擇隱私交易為核心出發。在隱私賽道中，同質化競爭所帶來的創新會促進隱私鏈賽道新項目的誕生、已有項目的迭代。Web3開發人員應有保留某種程度隱私的選擇，以此賦能開發人員編寫代碼，突破邊界，推動區塊鏈的創新。

Tags：以太坊LEOBSCALEO如何挖以太坊幣LEO TokenBSCS價格aleo幣最新消息

比特幣交易