原文標題:《開發者如何自我保護:Web 3 隱私解決方案綜述》
? Tornado Cash 事件引發質疑:開發者為協議貢獻,是否需要為濫用協議的用戶負責?
? 在開發者和其開源代碼仍缺乏明確指導的情況下,鏈上隱私尤為重要
? 本指南概述了部分現有和即將出現的隱私鏈,以作為注重隱私的開發者放心部署的選擇
沒有開發者愿意因幾行代碼而遭受牢獄之災,但這卻發生在 Alexey Pertsev 身上。作為 Tornado Cash 的重要貢獻者,Alexey Pertsev 被美國政府懷疑通過以太坊 Dapp Tornado Cash 幫助不法分子 Money Laundry。這一戲劇性事件在世界各地引起了強烈反響,批評人士也指出,開發者無法控制用戶會如何使用開發者的代碼。
雖然這個故事可能比其表象更錯綜復雜,但它已引發了關于鏈上隱私的爭論。因編寫代碼而遭到逮捕開啟了一個危險的先例,Alexey Pertsev 的遭遇同時也對開發者未來為開源軟件貢獻造成威脅。試想哪位開發者愿意在無法控制用戶行為的情況下,為使用代碼的用戶負責?
區塊鏈的社區文化宣揚著開放性,但這并不適用于數據安全和隱私。在某些情況下,完全透明是非必要的 (參考 @GeneralRinaker 的文章)。
本文將評估一些現有和即將上線、旨在為 Web 3 開發人員保持一定匿名性的隱私解決方案。
GuillaumeBonnot作為技術顧問和開發者加入UT Lab:據官方消息,UT Lab 正式進入技術全球化,來自法國的軟件架構師,高級軟件工程師GuillaumeBonnot作為技術顧問和開發者加入UT Lab,共建無限可拓展TPS去中心化網絡UENC Public Chain。GuillaumeBonnot曾就職于BTCC,Helios IT Services等知名區塊鏈機構。[2021/12/16 7:44:12]
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 筆交易。
Fixed社區核心開發者Eric:DeFi的高波動性是傳統資金進入的一個障礙:3月15日19:00,一站式DeFi門戶DeFiBox在線上舉辦DeFi Demo Day第二期——Heco專場,去中心化固定存款利率協議Fixed-Rate-Protocol受邀參與了本次圓桌討論環節。
Fixed-Rate-Protocol社區核心開發者Eric在圓桌中介紹到,Fixed-Rate-Protocol的愿景是以固定利率衍生品作為切入點,在金融生態中提供浮動利率的緩沖池,為上下游提供更穩定的金融環境。
Eric認為對于整個DeFi金融生態來說,固定利率協議不僅僅是緩沖池,也是結構化資產配置的必要模塊,更是和傳統金融對接的橋梁。在傳統金融里面,能做到固定年化10%,浮動年化20%的產品也是鳳毛麟角。而DeFi的高波動性是傳統資金進入的一個障礙,所以Fixed希望用智能合約和平臺幣治理機制,來為傳統金資金的進入,提供更加簡單和友好的投資方式。[2021/3/15 18:46:58]
該團隊目前正致力于將自定義智能合約功能添加到其網絡中。智能合約將用 Noir 來編寫——一種專門用于 Aztec 網絡、基于 rust 的語言。該項目目前處于測試網絡中,計劃在 2022 年底完成。
Aztec 可以將所有 ERC-20 資產隱私化,使其成為以太坊的一個重要應用場景。鑒于以太坊已經非常活躍,對現有資產進行隱私化遠比創建一個單獨的隱私鏈更容易觸達更多的用戶。在此基礎上,Aztec 在未來有可能發展成以太坊不可或缺的隱私層。
以太坊核心開發者:snap sync開始進入最終完成階段:以太坊核心開發者Péter Szilágyi發推稱,snap sync(快照同步)開始進入最終完成階段。最新的Rinkeby(以太坊測試網)基準測試結果如圖所示,與我上次發布snap結果相比,上傳時小了3倍。[2020/9/24]
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 語言的。
動態 | 量子鏈開發者在密碼學IACR電子期刊公布幻影隱私協議:金色財經報道,2月13日,量子鏈開發者在密碼學IACR電子期刊公布了基于智能合約的幻影隱私協議(Qtum Phantom Protocol),推動數字資產隱私領域發展。據介紹,幻影隱私協議基于zk-SNARK技術,對Merkle樹、hash算法等多個環節進行了改進,使得協議能夠高效地運行于智能合約上。量子鏈幻影隱私協議在智能合約的基礎上,實現隱私資產的發行和管理。相比AZTEC只能實現交易金額的隱私,無法隱藏交易地址。幻影協議實現了更徹底的隱私,可以同時隱藏交易金額和交易地址。該協議同時提供隱私資產和公開資產之間的互轉功能。據悉幻影隱私協議將率先在Qtum網絡部署,同時也計劃支持其他的智能合約網絡。[2020/2/14]
主網上線預計在 2023 年。
基于 Solidity 語言的 Obscuro 有巨大的潛力和發展空間。開發者可以輕松地在 Obscuro 平臺上運行主網所開發的智能合約。另外,眾多核心生態應用 EVM 兼容,使 Obscuro 的適用性相較于其他基于 Rust 的項目有顯著優勢,但其對智能合約所需要做出的改動幅度尚需觀察。
作為行業中的 OG,Secret Network 在 2020 年九月份上線,被稱之為第一個在 Layer1 層面具有隱私性智能合約的網絡。用 Cosmos Tendermint SDK 構建的 Secret Network,其智能合約通過 CosmWasm 工具包用 Rust 編寫。
聲音 | 萊特幣基金會聯合創始人:LTC的核心開發者正在測試最新的0.18.1版本:據Ambcrypto消息,萊特幣基金會聯合創始人王新喜在接受采訪時表示,Litecoin的核心開發者Adrian Gallagher正在測試最新的0.18.1版本。一旦代碼是可靠的,它將被合并到回購協議中。LTC創始人李啟威最近一直在解釋整個開發團隊的工作進程。當被問及李啟威自2017年以來對基金會的捐款占基金會捐款總額的80%以上時,王新喜表示,“李一直是萊特幣和萊特幣基金會的大力支持者,社區也提供了很大幫助,接下來計劃繼續從社區籌集資金,從而讓他們產生共鳴。”針對LTC算力下降到318.9 /s這一現象,他表示,價格下降是其中一個因素。雖然他承認LTC仍然非常安全,但他補充說,隨著LTC估值的下降,使用舊礦機的礦工可能會因為賠錢停止挖礦,這導致了算力下降。[2019/8/23]
鏈: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是完全公開透明的,但涉及平臺和合約的交易活動是完全隱匿的。該價值主張在逐漸嚴苛的監管環境下不容忽視。
基于 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 團隊應允開發者未來將上線更多產品和服務以助于開發者在生態內構建去中心化網絡,為開發者帶來優良的體驗。
最后一個項目也是行業較新的項目——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 上保持合約的隱私狀態。
Substrate 本身逐漸壯大的開發者社區和互操作系統是賦能 Aleph Zero 成功的一大因素。核心團隊本身的經驗和其合作伙伴也是 Aleph Zero 未來成功的因素之一。除此之外,協議本身的易操作性也會吸引更多的商家和用戶加入其生態。
不論方法還是機制設計,隱私鏈都以開發者是否能夠選擇隱私交易為核心出發。在隱私賽道中,同質化競爭所帶來的創新會促進隱私鏈賽道新項目的誕生、已有項目的迭代。Web 3 開發人員應有保留某種程度隱私的選擇,以此賦能開發人員編寫代碼,突破邊界,推動區塊鏈的創新。
區塊律動BlockBeats
媒體專欄
閱讀更多
金色財經
文章匯
達瓴智庫
CT中文
PANews
DeFi之道
老雅痞
web3中文
01元宇宙
原文作者:Michael Nadeau,來源:The DeFi ReportUniswap 剛剛完成了 1.65 億美元的 B 輪融資.
1900/1/1 0:00:00作者:237 2022年10月14日,D/Bond CPO、EIP-3475主作者Liu Yu和Solv Protocol聯合創始人、EIP-3525主作者Will共同舉行了一場以ERC-347.
1900/1/1 0:00:00采訪者:TechCrunch受訪者:Chris Dixon,a16z 合伙人整理:郭倩雯,ChainCatcher一個很顯而易見的用例就是使創作者能和觀眾直接鏈接,而不需要中介.
1900/1/1 0:00:00原文標題:《ZKPs in Web3: Now and the Future》撰文:Mohamed Fouda、Qiao Wang零知識技術(ZK)是一種推動技術,不僅將改變 Web3.
1900/1/1 0:00:00最近,賬戶抽象以及EIP-4337在開發者圈子里很火。賬戶抽象指的是未來錢包簽名機制概念化。目前,主流錢包(EOA錢包)采用的簽名機制是CDSA(橢圓曲線數字算法簽名),而未來錢包的簽名機制可以.
1900/1/1 0:00:00作者:Ray, Sally, IOSG Ventures智能合約安全分析工具商業化的機會來了么?在9月底Paradigm官宣完成了區塊鏈安全項目Blowfish的領投又一次引起了大家對智能合約安.
1900/1/1 0:00:00