TornadoCash事件引发质疑:开发者为协议贡献,是否需要为滥用协议的用户负责?
在开发者和其开源代码仍缺乏明确指导的情况下,链上隐私尤为重要
本指南概述了部分现有和即将出现的隐私链,以作为注重隐私的开发者放心部署的选择
没有开发者愿意因几行代码而遭受牢狱之灾,但这却发生在AlexeyPertsev身上。作为TornadoCash的重要贡献者,AlexeyPertsev被美国政府怀疑通过以太坊DappTornadoCash帮助不法分子MoneyLaundry。这一戏剧性事件在世界各地引起了强烈反响,批评人士也指出,开发者无法控制用户会如何使用开发者的代码。
虽然这个故事可能比其表象更错综复杂,但它已引发了关于链上隐私的争论。因编写代码而遭到逮捕开启了一个危险的先例,AlexeyPertsev的遭遇同时也对开发者未来为开源软件贡献造成威胁。试想哪位开发者愿意在无法控制用户行为的情况下,为使用代码的用户负责?
区块链的社区文化宣扬着开放性,但这并不适用于数据安全和隐私。在某些情况下,完全透明是非必要的(参考/img/20230515170413326830/0.jpg "/>
以太坊核心开发者会议:讨论EIP-4844和L2 EIP,预计接下来会议确定坎昆升级范围:5月12日消息,以太坊核心开发者 Tim Beiko 发推总结最新一次的执行层会议讨论内容,本次会议讨论大部分都集中在 EIP-4844 上,并对 L2 EIP 进行了一些简要讨论,以及 Cancun 整体计划。
MarioVega.eth 提出了一个关于区块有效性条件的问题,该条件由某些客户端隐式实现,但不是全部。我们同意将此作为明确的有效性条件。此外,Geth 团队正在增加对 c-kzg 和 go-kzg 的支持,以允许用户在遇到错误时轻松切换。会议还讨论了两个 EIP,其中一个包括 EIP-6969(在以太坊 L2 上引入 / 标准化 CSR 的提议)。Tim Beiko表示,希望在接下来的一两次会议中可以最终确定升级的范围。[2023/5/12 14:58:42]
#1AztecNetwork
Aztec是以太坊上第一个使用零知识证明的Layer2隐私链。在Aztec链上运行的智能合约能保证资产的隐私。用户在链上交易、质押和获利的同时可以保障链上行为的隐私,与此同时可以享有较低的交易手续费。
链:以太坊
状态:主网运行
底层技术:PLONK,通过zk-SNARK标准开发的二层处理交易的系统
架构:双重SNARKS。第一层为隐私电路,验证每笔交易的同时保证交易发送人、接收人和交易资产的隐秘性。第二层为rollup电路,将所有交易打包并将加密的交易信息批量上传至Layer1
Optimism开发者karl.floersch.eth将接任OP Labs CEO一职:金色财经报道,OP Labs发推表示,Optimism Collective开发者karl.floersch.eth将接任OP Labs的首席执行官一职,liam.eth将不再担任该职。[2023/4/29 14:34:27]
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年底完成。
评估
Aztec可以将所有ERC-20资产隐私化,使其成为以太坊的一个重要应用场景。鉴于以太坊已经非常活跃,对现有资产进行隐私化远比创建一个单独的隐私链更容易触达更多的用户。在此基础上,Aztec在未来有可能发展成以太坊不可或缺的隐私层。
#2Obscuro
Dfinity基金会启动2.23亿美元的开发者激励计划:Dfinity基金会宣布启动2.23亿美元(2亿瑞士法郎)的开发者激励计划,用于激励开发人员在互联网计算机上进行构建。该基金可用于一些项目,例如为开发人员加速编码的工具、预言机和区块链浏览器之类的基础架构、加速器以及可能会吸引用户的应用程序。(coindesk)[2021/5/26 22:44:21]
Obscuro作为以太网另一个Layer2的隐私解决方案,其设计主旨是在保证交易和合约状态隐私的情况下最优处理MEV问题。因其对Optimistic和零知识证明的双运用,Obscuro声称是“Optimistic和零知识证明之间的最优解决方案”。
链:以太坊
状态:测试网
底层技术:IntelSGX技术在TEE硬件上运行EVM。本质上可以理解为CPU中的一个黑箱,用户可以在黑箱中执行完全隐私化的计算。
架构:Obscuro网络有两种节点。Aggregators负责验证所有加密交易,将其打包并发送回以太坊。Verifiers职责类同,但是基于硬件进行验证并且在Aggregators网络之外运作。同时拥有两种节点使Obscuro平台更去中心化,且更能保证其安全性。
Github:https://github.com/obscuronet
主要应用场景
因Obscuro还在测试网阶段,所以暂没有产品可以介绍。然而,平台提供了许多可能的应用场景,包括DeFi隐私和Web3策略游戏。
因iOS系统漏洞危及加密钱包安全 Coinbase开发者提醒用户及时更新:1月27日,Coinbase钱包工程主管Pete Kim发推称,如果在苹果iOS设备上使用移动加密钱包,一定要尽快更新iOS系统。因为iOS系统更新包含一个远程代码执行漏洞的修复。该漏洞可能会威胁移动加密钱包的安全。[2021/1/28 14:10:27]
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桥
状态:主网运行
声音 | 比特币核心开发者:已将Parity2.6.8完全同步到以太坊区块9,390,000:比特币核心开发者、Casa的技术总监Jameson Lopp今日发推特称,我的基准测试计算机花了9天2个小时将Parity2.6.8完全同步到以太坊区块9,390,000。它执行超过47TB的磁盘读取和42TB的磁盘写入。[2020/2/2]
底层技术:与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似乎在满足监管的同时一定程度的保证了用户隐私,并在其中找到了一个平衡点。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
7:00-12:00关键词:CircleUSDC、HeliumDeploy、MatterLabs1.数据:过去一周CircleUSDC流通量减少1亿美元;2.
1900/1/1 0:00:00就让我们回到起点,提出最开始的问题本周我们将重温代币经济学101。具体来说,我们正在研究顶级Layer1智能合约区块链的代币模型.
1900/1/1 0:00:00作者:AndreCronje 来源:medium 1.简介 2022年的加密市场动荡不安,一些加密货币的价格下跌、网络故障和交易所的倒闭导致了2万亿美元的损失.
1900/1/1 0:00:00当你又一次听说某Web3域名被卖出天价的时候,当你又一次看到身边一位Web3朋友改用域名作为其用户名的时候,当你开始在注册栏中物色自己感兴趣的域名的时候,你是否有深思.
1900/1/1 0:00:00随着区块链技术越来越重要,许多人都在寻找参与加密世界的方法。加密货币和区块链项目最重要的方面之一是KYC/AML。如果没有适当的KYC/AML程序,项目很可能就会被认为是欺诈和非法活动.
1900/1/1 0:00:00作者:Web3基金会首席法务官?DanielSchoenberger三年前,即2019年11月,Web3基金会做出决定,改变了其发展轨迹,也造成了业务流程、人员管理和公众沟通方式的改变.
1900/1/1 0:00:00