ENS:开发者如何自我保护:评估5大匿名性隐私解决方案

原文标题:《开发者如何自我保护:Web3隐私解决方案综述》

原文来源:?ArcaneLabs

?TornadoCash事件引发质疑:开发者为协议贡献,是否需要为滥用协议的用户负责?

?在开发者和其开源代码仍缺乏明确指导的情况下,链上隐私尤为重要

?本指南概述了部分现有和即将出现的隐私链,以作为注重隐私的开发者放心部署的选择

没有开发者愿意因几行代码而遭受牢狱之灾,但这却发生在AlexeyPertsev身上。作为TornadoCash的重要贡献者,AlexeyPertsev被美国政府怀疑通过以太坊DappTornadoCash帮助不法分子MoneyLaundry。这一戏剧性事件在世界各地引起了强烈反响,批评人士也指出,开发者无法控制用户会如何使用开发者的代码。

虽然这个故事可能比其表象更错综复杂,但它已引发了关于链上隐私的争论。因编写代码而遭到逮捕开启了一个危险的先例,AlexeyPertsev的遭遇同时也对开发者未来为开源软件贡献造成威胁。试想哪位开发者愿意在无法控制用户行为的情况下,为使用代码的用户负责?

区块链的社区文化宣扬着开放性,但这并不适用于数据安全和隐私。在某些情况下,完全透明是非必要的(参考@GeneralRinaker的文章)。

本文将评估一些现有和即将上线、旨在为Web3开发人员保持一定匿名性的隐私解决方案。

YFI核心开发者:Yearn v2协议总收入已超5000万美元:yearn.finance (YFI)核心开发者banteg发推称,Yearn v2协议的总收入(gross revenues)刚刚超过5000万美元。[2021/5/31 22:59:48]

#1AztecNetwork

Aztec是以太坊上第一个使用零知识证明的Layer2隐私链。在Aztec链上运行的智能合约能保证资产的隐私。用户在链上交易、质押和获利的同时可以保障链上行为的隐私,与此同时可以享有较低的交易手续费。

链:以太坊

状态:主网运行

底层技术:PLONK,通过zk-SNARK标准开发的二层处理交易的系统

架构:双重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笔交易。

动态 | Block.one 更新 EOSIO 开发者门户网站:据MEET.ONE报道,Block.one 今日在推特发布升级版 EOSIO 开发者门户网站,新增资源,使项目构建更快更简易。[2020/1/30]

进展

该团队目前正致力于将自定义智能合约功能添加到其网络中。智能合约将用Noir来编写——一种专门用于Aztec网络、基于rust的语言。该项目目前处于测试网络中,计划在2022年底完成。

评估

Aztec可以将所有ERC-20资产隐私化,使其成为以太坊的一个重要应用场景。鉴于以太坊已经非常活跃,对现有资产进行隐私化远比创建一个单独的隐私链更容易触达更多的用户。在此基础上,Aztec在未来有可能发展成以太坊不可或缺的隐私层。

#2Obscuro

Obscuro作为以太网另一个Layer2的隐私解决方案,其设计主旨是在保证交易和合约状态隐私的情况下最优处理MEV问题。因其对Optimistic和零知识证明的双运用,Obscuro声称是「Optimistic和零知识证明之间的最优解决方案」。

链:以太坊

状态:测试网

底层技术:IntelSGX技术在TEE硬件上运行EVM。本质上可以理解为CPU中的一个黑箱,用户可以在黑箱中执行完全隐私化的计算。

架构:Obscuro网络有两种节点。Aggregators负责验证所有加密交易,将其打包并发送回以太坊。Verifiers职责类同,但是基于硬件进行验证并且在Aggregators网络之外运作。同时拥有两种节点使Obscuro平台更去中心化,且更能保证其安全性。

动态 | BCH开发者提交11月15日升级提案草案规范的帖子:据 BitcoinCash官方消息,5月29日,BCH开发者在bitcoincashorg的github上提交了2019年11月15日升级提案草案规范的帖子,旨在将此作为下一次升级讨论的基地以及正在审议的项目的聚集地。与此同时,名为EyeOfPython开发者提交了将OP_REVERSE添加到脚本的提议。OP_REVERSE的引入可进一步优化智能合约功能。据介绍,OP_REVERSE的作用是反转顶部堆栈项的字节。目前关于OP_REVERSE是否会被添加到BCH在11月15日的升级内容中暂时还未确定。[2019/6/4]

Github:https://github.com/obscuronet

主要应用场景

因Obscuro还在测试网阶段,所以暂没有产品可以介绍。然而,平台提供了许多可能的应用场景,包括DeFi隐私和Web3策略游戏。

Obscuro是为数不多允许开发人员使用Solidity开发智能合约的隐私解决方案之一。众所周知,Solidity在Web3开发者中的使用率比Rust更高。相比之下,本文中提到的其他解决方案主要是基于rust语言的。

进展

主网上线预计在2023年。

评估

基于Solidity语言的Obscuro有巨大的潜力和发展空间。开发者可以轻松地在Obscuro平台上运行主网所开发的智能合约。另外,众多核心生态应用EVM兼容,使Obscuro的适用性相较于其他基于Rust的项目有显著优势,但其对智能合约所需要做出的改动幅度尚需观察。

动态 | 纽约法官驳回投资者对Nano开发者的诉讼:Cointelegraph消息,据10月22日提交的法庭文件显示,纽约法官驳回了投资者针对NANO(XRB)开发团队的集体诉讼。诉讼指控开发者引诱他在一个损失了数亿美元的加密货币的平台上交易NANO(XRB)。这起诉讼是由美国人亚历克斯?布罗拉(Alex Brola)在今年4月提起的。据报道,布罗拉在2017年12月10日通过Silver Miller律师事务所购买了价值5万美元的NANO(XRB)。这起诉讼指控NANO(XRB)的核心团队销售未注册证券违反了美国证券法,并歪曲了意大利加密交易所BitGrail的可靠性。[2018/10/24]

#3SecretNetwork

作为行业中的OG,SecretNetwork在2020年九月份上线,被称之为第一个在Layer1层面具有隐私性智能合约的网络。用CosmosTendermintSDK构建的SecretNetwork,其智能合约通过CosmWasm工具包用Rust编写。

链:Cosmos?IBC、以太坊、币安链和Monero桥

状态:主网运行

底层技术:?与Obscuro类同,SecretNetwork在TEE上使用IntelSGX进行计算。协议代码被分为两部分:可信部分和不可信部分。

架构:目前,一个由50名验证者组成的小组使用Tendermint共识引擎保护网络的安全性。验证者负责验证交易,并通过质押SCRT向链上提议区块,在此过程中获得收益。授权由非验证者发出。

Matchpool将以“QTUM开发者挑战赛”的主题举行亚洲地区开发者的竞赛:加密货币社交平台Matchpool将以“QTUM开发者挑战赛”的主题举行亚洲地区开发者的竞赛。 参赛者将在基础设施项目上以QTUM的基础上开发Matchpool平台的分散应用MVP。[2018/1/8]

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开发人员应有保留某种程度隐私的选择,以此赋能开发人员编写代码,突破边界,推动区块链的创新。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:15ms0-3:798ms