LayerZero宣布在ApeChain主网上线
开发者如何自我保护:Web3隐私解决方案综述
-
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代币是完全公开透明的,但涉及平台和合约的交易活动是完全隐匿的。该价值主张在逐渐严苛的监管环境下不容忽视。
#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上保持合约的隐私状态。
评估
Substrate本身逐渐壮大的开发者社区和互操作系统是赋能Aleph Zero成功的一大因素。核心团队本身的经验和其合作伙伴也是Aleph Zero未来成功的因素之一。除此之外,协议本身的易操作性也会吸引更多的商家和用户加入其生态。
#展望
不论方法还是机制设计,隐私链都以开发者是否能够选择隐私交易为核心出发。在隐私赛道中,同质化竞争所带来的创新会促进隐私链赛道新项目的诞生、已有项目的迭代。Web 3开发人员应有保留某种程度隐私的选择,以此赋能开发人员编写代码,突破边界,推动区块链的创新。
文章作者
感谢Arcane Group的技术研究员Xarl (Rajapandian) 的研究贡献,他在隐私保护、代码安全等方面有深厚的技术开发和实践经验。团队其他同事包括Frank,OxCryptolee, Don, Sue, Charles等也为本文的中文版提供了编译和校正支持