以太坊生态隐私项目图览
前言
在EthCC期间,ZKValidator创始人AnnaRose和WillHarborne发表了关于以太坊隐私保护发展的演讲。本文是对他们演讲的深化,更深入地探讨了以太坊网络的隐私保护生态系统。它突出了涉及其中的各方,以及已经发表和即将推出的相关研究。
隐私是否与ZK相同?
在深入探讨以太坊隐私生态系统之前,有必要澄清一些术语。在过去的两年中,涌现了许多“ZK”扩展解决方案,包括Rollups和桥。
这些解决方案中的大部分利用了zkSNARKs的简洁性质,这种性质使区块链能够扩展,但并不能实现隐私。因此,尽管在命名约定和通信中使用了ZK,但大多数扩展解决方案并不提供隐私保护功能。
其他隐私保护技术,如可信执行环境、多方计算和同态加密等存在,但由于其无需信任的性质,零知识证明仍然是隐私保护的前沿技术。
话虽如此,我们将探讨以太坊生态系统中的几种隐私解决方案,包括使用ZK的解决方案以及依赖不同技术的其他解决方案。
以太坊当前的隐私用例是什么?
以太坊客户端Prysm发布v4.0.2版本,修复与mev-boost交互时的严重漏洞:4月13日消息,据官方推特,以太坊客户端Prysm已发布v4.0.2版本,该版本包括修复验证器与mev-boost交互时的严重漏洞。如果用户正在运行mev-boost,则必须升级。V4.0.2还包含其他杂项优化和修复。[2023/4/13 14:01:11]
众所周知,区块链的主要用例是去中心化金融。与此同时,隐私应用程序的主要用例是私人转账。然而,在我们的研究中,我们发现去中心化身份验证领域是以太坊整个隐私生态系统中增长最快的领域。
当然,还有其他用例,比如隐私计算、游戏、隐私投票和ZKML等。
以太坊上的隐私转账
在这一部分,我们将讨论专注于确保点对点转账隐私的项目。这个用例有两个类别:混币服务和dApps。尽管它们都有相同的目的,但它们确保隐私的方式是不同的。
混币服务
在区块链环境中,混币服务是增强隐私的服务,可以增加交易的匿名性。它们通过将来自不同用户的多个加密货币输入组合在一起,对交易进行混淆和延迟,然后将输出分配到与原始地址不同的地址,使得在区块链上追踪资金变得困难,并且模糊了发送者和接收者地址之间的链接。
TornadoCash混币工作原理
混币提供的隐私程度取决于其信任模型。中心化的混币要求用户信任服务运营商不会滥用数据,而去中心化的混币则使用密码协议实现隐私,而无需依赖于中央实体。
以太坊L2网络总锁仓量已突破30亿美元:金色财经报道,L2BEAT数据显示,截至10月7日,以太坊Layer2上总锁仓量为30.8亿美元。其中锁仓量最高的为扩容方案Arbitrum,约17.2亿美元,占比55.96%。其次是dYdX,锁仓量超7.26亿美元,占比23.58%。[2021/10/7 20:11:27]
TornadoCash:是基于zkSNARK的混币服务。然而,由于受到OFAC的制裁,它已经失去了重要性。目前,以太坊生态系统中没有其他重要的混币服务。
Layer2s
然而,实现隐私转账的替代解决方案并不需要使用混币服务。事实上,当前实现隐私转账的趋势主要集中在第二层解决方案上。以下是一些已实现此用例的Layer2:
Findora:FindoraZK是以太坊上的一个的增强隐私的2层解决方案,利用以太坊进行共识和验证。它使用位于一层的以太坊智能合约中的简洁非交互性知识参数来验证状态转换并确保rollup的正确性。二层账本为支付提供了隐私,类似于FindoraOG,并使用零知识证明与以太坊实现互操作性,从而实现隐私转账和机密交易数据。
Aztec:这是即将推出的Layer2,提供公开和隐私智能合约执行。在二层中,开发人员可以通过使用zkSNARKs来实现隐私转账。Aztec被称为是以太坊上的第一个可编程隐私扩展。他们在设计上远离了常见的EVM设计,使用了他们自己的编程语言Noir,以便为dApps构建者实现可编程隐私。
BHEX完成部分以太坊映射发行的HBC销毁,HBC流通总量降至814万枚:BHEX官方消息,Bluehelix主网已经正式上线安全运行1个月24天,由于原ERC20?HBC是主网上线前发行的ERC20代币,现根据市场上各交易所ERC20代币流通使用情况,决定将以太坊网络上映射发行的ERC20?HBC代币部分销毁,实现ERC20 HBC流通量缩减到400万枚的目标。
本次共计完成15,005,351枚HBC的销毁,其中有10,862,449枚HBC代币属于公司过去通过自有资金回购、股东持有和团队持有的期权代币,这些代币销毁后将不再流通到二级市场,而是通过在Bluehelix主网通过节点挖矿和流动性挖矿的方式按经济模型定义重新铸造产出,之前已经通过回购销毁的HBC不会再挖矿产出。[2021/8/31 22:50:13]
Nightfall:这是由安永与Polygon合作设计的“zk-optimisticrollup”,它使用零知识证明来保持交易信息的机密性,使其适用于商业支付,并使用欺诈证明来保证正确性。
隐私Layer1
Namada:Namada是一个用于跨链资产的隐私PoS第一层。Namada通过IBC与Cosmos链进行互操作,并通过一个受信任的最小桥与以太坊进行互操作。Namada通过在多链中提供尽可能大的统一隐私集,丰富隐私生态,并通过为其他链提供隐私盾行动来补充这些链的功能。所有资产共享一个匿名集,增强了隐私保护。
隐私保护的dApps
Firn:是基于Zether的协议,可以实现存款、转账和提款的隐私转账,使用隐私保护方法。
币安在以太坊网络增发约2.76亿枚BUSD:据Whale Alert数据,北京时间5月21日00:06,币安交易所在以太坊网络新增发275,670,370 枚BUSD。[2021/5/21 22:27:04]
Nucleo:是一个dApp,为资产发送提供隐私多重签名。
隐私ID
确实,出现了专门用于在以太坊上提供身份隐私的应用程序。所有这些应用程序都试图解决在线分散的身份问题,同时保留个人信息的控制和隐私。
尽管还有一些更多使用DIDs的应用程序,但使用ZKPs来保护隐私的应用程序有:
PolygonID:这个平台的基础是可表达的声明标准,相比非同质化代币和可验证凭证,它具有明显的优势,限制了它们的表达性和可组合性,阻碍了它们的适用性。PolygonID使用CircomZK工具包,能够编译零知识密码构造,即zkSNARKs电路,降低了复杂性并提高了效率。PolygonID提供链上验证,允许在不依赖中介的情况下进行用户交互的私人和无信任执行。
Sismo:Sismo是一个利用零知识证明和隐私保护技术的平台,为用户提供更大的个人数据权威。Sismo解决方案的核心是SismoConnect,它提供平滑的一次登录过程,允许用户选择性地向应用程序披露个人数据,同时保持隐私。
Worldcoin:该项目旨在通过对生物特征数据进行加密和存储来防止机器人和AI的泛滥。在需要时,系统生成一个ZKP来确认身份。该项目受到社区成员对存储生物特征数据的隐私、道德和安全风险的关注。
动态 | V神在深圳大学分享以太坊生态现状及发展:今日,V神在深圳大学向以太坊爱好者和大学生介绍、普及以太坊的生态现状和发展。V神在分享会中介绍了比特币、区块链的起源,PoW和PoS共识机制,Casper FFG,零知识证明,区块链和以太坊的应用,从简单的支付、域名、数字化资产(例如用于活动售票、纪念产品等)再到进一步的Token、智能合约、域名等,票、纪念产品等),再到进一步的Token、智能合约、域名等。
此外,V神还就Sharding分片技术以及Plasma、Rollup以及状态通道Channels等可扩展性技术做了介绍。V神表示,Plasma作为侧链和子链技术很早就被提出,其中Rollup更像一个内部媒介交互工具,其可以将部分链上数据压缩至最低10字节,所以在节省了区块空间的情况下间接增强了可扩展性。[2019/9/23]
Violet:是一组聚焦合规和身份基础设施的架构,提供定制选项。它提供了标准化的方法,用于发布特定于各个交易的合规凭证,允许授权参与者仅进行具有权限的链上功能调用。Violet优先考虑数据隐私和主权,避免在链上存储个人身份信息。所描述的流程和机制适用于支持各种合规制度,包括像Humanbound这样的身份证明要求。Violet旨在成为以太坊网络中类似OAuth功能的等效品。
Holonym:Holonym作为身份桥和混币器运作,隐藏链下凭证并使其在链上对各种Web应用程序可访问。这种组合的账本、隐私增强技术和零知识证明的集成使得可以实现广泛的用例,包括链上身份验证、抗女巫、数字犯罪预防和非托管钱包恢复。这些功能对于Web3生态系统具有影响,也可能有可能增强互联网的安全性和隐私性,解决犯罪、女巫攻击和数据泄漏等问题。
隐私计算
去中心化隐私计算是在分布式网络中改变数据处理和计算的先进范式。
?DPC在多个节点之间实现安全和隐私的数据处理,将数据控制在其所有者的控制之下,并确保机密性。
?这使得可以在无需信任和隐私保护的情况下进行安全协作、数据共享和计算。
此外,集成智能合约可以增强DPC的功能,通过密码协议和零知识证明实现预定义任务的透明和自动执行,从而确保强大的隐私保证。
在以太坊网络中,有两个重要的协议专注于实现这一目标:Aztec和PolygonMaiden。此外,该领域还出现了一些重要的研究论文,包括以下突破:
隐私计算机制
隐私投票
最近有一些投票提案在各个社区引发了争议和讨论。在某些情况下,人们试图贿赂或劝阻代币持有人以特定方式投票。这些事件引发了区块链行业对隐私投票的讨论。
NounsDAO:与Aragon合作的NounsDao已经实施了一个Aztec<>Aragon解决方案,使用了Aztec的zkDSL语言Noir。该实施方案可以实现投票和结果的匿名和机密,消除了11小时内投票问题、投票胁迫和跟风效应等问题。该提案利用了以太坊存储证明和时间加密,以实现最小的链外依赖性。该过程涉及三个阶段:
1、NounsCensus使用以太坊存储证明来证明所有权,而不泄露身份。
2、投票混淆与延迟中继,以保持多个Noun持有者的隐私。
3、Time-Lapse加密服务用于确保投票的公平性和聚合的投票解密。
通过这种方法,Noun所有者可以证明所有权,保持投票隐私,并安全地进行隐私投票。
Cicada:通过使用以前未在链上使用过的密码原语,旨在实现投票的持续隐私计票。它利用时间锁定谜题和同态时间锁定谜题,实现了安全和隐私的投票,无需计数机构或其他受信任的方。
Cicada的设计旨在最小化信任,确保在区块链环境中抗审查,使其成为链上隐私投票的实际和高效解决方案。时间锁定谜题允许将选票提交为加密谜题,只能在预定时间后才能揭示,确保在投票过程中保持机密性。
为了防止投票操纵,选民必须在其选票旁边提交零知识证明,证明选票的有效性。Cicada还提供将匿名选民资格协议与其组合的选项,以实现无限的选票隐私。
隐私游戏
在链上游戏的扩展解决方案中存在不可否认的增长。但是,再次强调,其中大多数解决方案只是利用了SNARKs的简洁性质。然而,游戏行业有一个用例,即将ZK的隐私属性添加到他们的堆栈中,可以避免交易排队等问题,从而提高用户体验。
DarkForest:是一个神话般的游戏,使用ZKPs来保护隐私,是一个完全去中心化且持久的实时战略游戏,构建在以太坊上。
?该游戏利用zkSNARKs来创建密码学fog,使玩家可以保持其星球的位置和移动私密。
?玩家提交承诺和零知识证明,证明其行动的有效性,而不泄露实际位置。
?玩家无法检查合约以获取有关对手的信息,从而创建了一个具有战略深度和新兴玩家行为的不完整信息游戏设置。
隐私DeFi
另一个需要隐私的领域是DeFi。在以太坊上,出现了越来越多的隐私DeFi应用。
PantherProtocol:为用户提供互操作的、完全抵押的数字资产,利用zkSNARK技术。它还为隐私提供了一种新颖的价格发现机制。用户可以通过将来自任何区块链的数字资产存入PantherVaults,然后在各种DeFi应用程序中使用这些zAssets。
Railgun:利用zkSNARKs在链上直接实现隐私智能合约调用,而无需依赖于单独的二层验证者集或托管的桥。
?通过将资金保留在主链内,Railgun确保更高的安全性和严密的隐私,防止信息泄露或污染。
?Railgun的隐私功能具有潜在的用例,包括隐私薪资服务、交易者的MEV优势、免受审查的捐款、匿名分析以及遵守数据保护法规。
ZKML
使用zkSNARKs与机器学习算法的一个好处是,在保持隐私的同时对隐私或敏感数据进行推断。我们的2023年第二季度ZK报告强调了ZK在保护隐私方面的作用。
?ZK证明允许在隐私或敏感数据上进行机器学习推断,同时在不暴露数据本身的情况下证明计算的准确性。
?目前的ZK系统可能不适用于这样的系统,未来的全同态加密方案可能更适合。目前,没有活跃的隐私保护ZK解决方案适用于ZKML算法。
结论
以太坊拥有一个专注于隐私的强大和活跃社区。然而,由于对可扩展性的强调增加,隐私已经退居次要地位。我们可能会在DIDs和游戏方面看到进展,而不是在DeFi或链上投票方面,因为前两个用例在强大的隐私措施方面将受益匪浅,从而使其价值主张变得可行。
埃隆·马斯克(ElonMusk)是受欢迎的狗狗币(DOGE)支持者。许多社区成员指出,在正式将Twitter更改为X后,马斯克的个人简介中出现了类似DOGE的“D”.
1900/1/1 0:00:00Moralis是支持去中心化应用程序(dApps)的领先区块链开发平台,今天宣布发布软件开发工具包(SDK),旨在简化Web3游戏和元宇宙应用程序的开发.
1900/1/1 0:00:00Solana价格从下行阻力线突破。它面临22.90美元的阻力。Solana(SOL)可能已经完成了ABC修正。 Solana(SOL)价格试图突破26美元的阻力区域并确认其看涨逆转.
1900/1/1 0:00:00狗狗币市值达160亿美元,是加密货币领域最大的模因代币。埃隆·马斯克是该代币获得认可和价格大幅上涨的最大贡献者之一,他最近通过一条推文成功引起了人们对狗狗币的关注.
1900/1/1 0:00:00比特币、以太坊价格预测:市场领导者比特币和以太坊在新的一周开始时出现小幅回升。然而,价格上涨和成交量减少表明买家信心不足,这最终可能会增加下跌趋势延续的可能性.
1900/1/1 0:00:00随着NFT、GameFi暴发,元宇宙正在积累发展势能。作为元宇宙生态中的重要板块,虚拟土地/地产的发展势头也在显现.
1900/1/1 0:00:00