TornadoCash事件引发质疑：开发者为协议贡献，是否需要为滥用协议的用户负责？
在开发者和其开源代码仍缺乏明确指导的情况下，链上隐私尤为重要
本指南概述了部分现有和即将出现的隐私链，以作为注重隐私的开发者放心部署的选择
没有开发者愿意因几行代码而遭受牢狱之灾，但这却发生在AlexeyPertsev身上。作为TornadoCash的重要贡献者，AlexeyPertsev被美国政府怀疑通过以太坊DappTornadoCash帮助不法分子MoneyLaundry。这一戏剧性事件在世界各地引起了强烈反响，批评人士也指出，开发者无法控制用户会如何使用开发者的代码。
虽然这个故事可能比其表象更错综复杂，但它已引发了关于链上隐私的争论。因编写代码而遭到逮捕开启了一个危险的先例，AlexeyPertsev的遭遇同时也对开发者未来为开源软件贡献造成威胁。试想哪位开发者愿意在无法控制用户行为的情况下，为使用代码的用户负责？
区块链的社区文化宣扬着开放性，但这并不适用于数据安全和隐私。在某些情况下，完全透明是非必要的(参考@GeneralRinaker的文章)。
本文将评估一些现有和即将上线、旨在为Web3开发人员保持一定匿名性的隐私解决方案。
#1AztecNetwork
数据：2022年超6万名Web3开发者加入加密行业，环比增加25.8%:1月18日消息，据Electric Capital最新报告中数据显示，2022年共计61,127名Web3开发人员加入加密行业，创下历史记录，比2021年增加25.8%。其中，全职开发人员（对76%Github提交做出贡献的开发者）增加15.2%，人数超过7000人。每月活跃Web3开发者人数增加5.4%，超过23,300人。
以太坊仍主导开发者活动，其全职开发者人数增加了9%至1,873人，这超过了接下来三个最多生态开发者人数的总和：Polkadot(752名)、Cosmos(511名)和Solana(383名)。此外，Electric Capital表示，因部分项目为闭源，预估实际Web3开发者数量要远超于此。[2023/1/18 11:18:37]
Aztec是以太坊上第一个使用零知识证明的Layer2隐私链。在Aztec链上运行的智能合约能保证资产的隐私。用户在链上交易、质押和获利的同时可以保障链上行为的隐私，与此同时可以享有较低的交易手续费。
链：以太坊
状态：主网运行
底层技术：PLONK，通过zk-SNARK标准开发的二层处理交易的系统
架构：双重SNARKS。第一层为隐私电路，验证每笔交易的同时保证交易发送人、接收人和交易资产的隐秘性。第二层为rollup电路，将所有交易打包并将加密的交易信息批量上传至Layer1
Github:?https://github.com/AztecProtocol
以太坊2.0在开发者测试网络中成功完成PoS合并:以太坊2.0客户端Teku、Lighthouse、Nimbus和Prysm，以及以太坊1.0客户端Geth、Besu和Nethermind在开发者测试网络（devnet）中成功完成了PoS合并。测试为期一天，测试网名为Steklo。以太坊2.0开发者DiederikLoerakker表示，测试网现在处于相当不稳定的状态，更多的是作为开发人员调试客户端的工具。我们将在未来几周内运行更多以用户为中心的测试网。（TrustNodes）[2021/5/3 21:20:09]
主要应用场景
通过AztecConnect隐私桥，用户可以直接在Layer2隐私链与Layer1的DeFi应用进行交互。在Layer1的Dapps可以将AztecConnect的SDK引用至协议，从隐私交易中获利，如zk.Money。作为Aztec的主要产品，AztecConnect允许用户使用ETH和DAI进行隐私交易。截至本文撰写时AztecConnect约有255,000笔交易。
进展
该团队目前正致力于将自定义智能合约功能添加到其网络中。智能合约将用Noir来编写——一种专门用于Aztec网络、基于rust的语言。该项目目前处于测试网络中，计划在2022年底完成。
评估
Aztec可以将所有ERC-20资产隐私化，使其成为以太坊的一个重要应用场景。鉴于以太坊已经非常活跃，对现有资产进行隐私化远比创建一个单独的隐私链更容易触达更多的用户。在此基础上，Aztec在未来有可能发展成以太坊不可或缺的隐私层。
动态 | Block.one 更新 EOSIO 开发者门户网站:据MEET.ONE报道，Block.one 今日在推特发布升级版 EOSIO 开发者门户网站，新增资源，使项目构建更快更简易。[2020/1/30]
#2Obscuro
Obscuro作为以太网另一个Layer2的隐私解决方案，其设计主旨是在保证交易和合约状态隐私的情况下最优处理MEV问题。因其对Optimistic和零知识证明的双运用，Obscuro声称是“Optimistic和零知识证明之间的最优解决方案”。
链：以太坊
状态：测试网
底层技术：IntelSGX技术在TEE硬件上运行EVM。本质上可以理解为CPU中的一个黑箱，用户可以在黑箱中执行完全隐私化的计算。
架构：Obscuro网络有两种节点。Aggregators负责验证所有加密交易，将其打包并发送回以太坊。Verifiers职责类同，但是基于硬件进行验证并且在Aggregators网络之外运作。同时拥有两种节点使Obscuro平台更去中心化，且更能保证其安全性。
Github：https://github.com/obscuronet
主要应用场景
因Obscuro还在测试网阶段，所以暂没有产品可以介绍。然而，平台提供了许多可能的应用场景，包括DeFi隐私和Web3策略游戏。
Obscuro是为数不多允许开发人员使用Solidity开发智能合约的隐私解决方案之一。众所周知，Solidity在Web3开发者中的使用率比Rust更高。相比之下，本文中提到的其他解决方案主要是基于rust语言的。
声音 | 门罗币首席开发者：门罗币达到最小区块奖励0.6 XMR后通胀率会逐年降低:据AMBcrypto消息，门罗币首席开发者Riccardo Spagni对于问题“比较比特币和门罗币，加密货币固定供应和弹性供应哪个更好”表示，门罗币有最小的区块奖励（0.6 XMR），当这种情况发生时，它将永远保持不变。这意味着达到最小区块奖励时，门罗币的年通胀率为0.8%。但由于最小区块奖励是保持不变的，所以来年的通胀率将为0.76%，通胀率会逐年降低。[2019/4/14]
进展
主网上线预计在2023年。
评估
基于Solidity语言的Obscuro有巨大的潜力和发展空间。开发者可以轻松地在Obscuro平台上运行主网所开发的智能合约。另外，众多核心生态应用EVM兼容，使Obscuro的适用性相较于其他基于Rust的项目有显著优势，但其对智能合约所需要做出的改动幅度尚需观察。
#3SecretNetwork
作为行业中的OG，SecretNetwork在2020年九月份上线，被称之为第一个在Layer1层面具有隐私性智能合约的网络。用CosmosTendermintSDK构建的SecretNetwork，其智能合约通过CosmWasm工具包用Rust编写。
链：Cosmos?IBC、以太坊、币安链和Monero桥
状态：主网运行
底层技术：与Obscuro类同，SecretNetwork在TEE上使用IntelSGX进行计算。协议代码被分为两部分：可信部分和不可信部分。
闪电网络开发者提出新的链下交易方案，重新设计闪电网络:尽管比特币闪电网络才刚刚开始被用于发送交易，不过开发者正在为这种新技术重新制定架构。这是因为，尽管这种技术被吹捧为一种显著提升比特币交易能力的方式，但该网络本身确实要求用户存储大量数据，这使得下载和运行变得很困难。为此，多位闪电网络开发者——闪电网络实验室的联合创始人’Laolu’ Osuntokun 和Blockstream的Christian Decker和Rusty Russell——已经发表了一份新提案，该提案设想了一种替代的“简化”的方法来进行链下交易——eltoo。[2018/5/29]
架构：目前，一个由50名验证者组成的小组使用Tendermint共识引擎保护网络的安全性。验证者负责验证交易，并通过质押SCRT向链上提议区块，在此过程中获得收益。授权由非验证者发出。
Github：https://github.com/scrtlabs
主要应用场景
SecretNetwork目前拥有丰富的生态，涵盖20多个Dapp和100多名开发者。作为CosmosTendermintSDK项目，该链可以与Cosmos生态系统的其他部分互操作，在实现IBC之后尤其如此。从本质上说，SecretNetwork允许整个CosmosIBC生态系统配备隐私功能。
因为围绕Cosmos开发框架有足够的文件和工具，所以SecretNetwork对Web3开发人员来说相对更加友好。
进展
Secret2.0的研发正在进行中。开发人员正在开展关键性的改进，包括使用FHE和加固现有网络。
评估
该团队显然在开发网络方面付出了努力。生态系统中的功能性产品在不断增长，且社区参与也愈发活跃。更重要的是，受监管机构方面的影响，完全的隐私并不适用于所有情况。SecretNetwork似乎在满足监管的同时一定程度的保证了用户隐私，并在其中找到了一个平衡点。SCRT代币是完全公开透明的，但涉及平台和合约的交易活动是完全隐匿的。该价值主张在逐渐严苛的监管环境下不容忽视。
#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开发人员应有保留某种程度隐私的选择，以此赋能开发人员编写代码，突破边界，推动区块链的创新。
文章作者
感谢ArcaneGroup的技术研究员Xarl(Rajapandian)的研究贡献，他在隐私保护、代码安全等方面有深厚的技术开发和实践经验。团队其他同事包括Frank，OxCryptolee,Don,Sue,Charles等也为本文的中文版提供了编译和校正支持
原文链接：https://mirror.xyz/arcanelabs.eth/iQ6HSzNROzTewLc0jQjJz6q5ONbO_elmNKouWikhEUA
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。