宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 瑞波币 > 正文

零知识证明将赋能扩容与隐私计算

作者:

时间:1900/1/1 0:00:00

2021年Vitalik曾在一篇文章中讲:Perhapsthemostpowerfulcryptographictechnologytocomeoutofthelastdecadeisgeneralpurposesuccinctzeroknowledgeproofs,usuallycalledzk-SNARKs.(也许过去十年中最强大的密码技术是通用的简洁零知识证明zk-SNARKs。)诚然,零知识证明在Crypto领域的两个非常重要的方向都发挥着关键性突破的作用,一个是Scalability,一个是Privacy。零知识证明是指证明者能够在不向验证者提供超过陈述本身有效性信息的情况下,使验证者相信某个论断是正确/真实的。零知识证明机制转化成计算机程序语言后应用最广泛的技术有两个——zk-SNARK和zk-STARK。zk-SNARK是零知识简洁的非交互知识论证,基本逻辑如下图:

欧盟或将在数字身份框架中包含零知识证明:金色财经报道,根据一份新闻稿,欧盟新的eID将允许公民通过欧洲数字身份钱包在线识别和验证自己,而无需求助于商业提供商。此举解决了当前实践中产生的对信任、安全和隐私的担忧。

Circle 欧盟政府事务高级主管Jonas Fredriksen强调该提案将如何促进数字经济中的新商业模式和机遇。公司可以开发依赖于零知识证明和eID解决方案的创新产品和服务。[2023/2/16 12:11:30]

zk-SNARK实现不透露具体信息的情况下,证明事件的正确/真实的最朴素的方法是:基于可信初始设置,在各项数据位于合法范围的情况下,证明“输入”=“输出”。zk-STARK是零知识可扩展的透明知识论证,基本逻辑本质上和zk-SNARK相同:

a16z宣布推出使用零知识证明技术的空投领取工具:金色财经报道,加密风投机构a16z在官网宣布推出使用零知识证明技术的空投领取工具,使得加密项目方向活跃贡献者发放空投时保护贡献者的地址隐私,特别是根据用户链下活动空投代币的情况下。

具体而言,潜在的空投接收者可以通过公共渠道(如 Telegram、Discord、Twitter 或 Signal)提供消息(称为“承诺”);然后,空投者通过将这些承诺散列在一起,构建一个Merkle树。随后,潜在的接受者可以通过提供零知识Merkle证明,证明他们是树内承诺的作者,而无需透露是哪一个,从而声称自己的空投份额。

a16z称,以这种方式申领代币将收件人的公共地址与所有其他有权空投的用户的公共地址混合在一起,从而保护他们的匿名性。[2022/3/28 14:21:12]

zk-STARK与zk-SNARK相比较,各有优劣:初始可信设置:zk-SNARK需要,zk-STARK不需要;证明数据大小:zk-SNARK的证明大小约为288字节,zk-STARK稍微大些几百KB;成本:zk-STARK比zk-SNARK更低;证明过程速度:zk-STARK比zk-SNARK的证明过程更快。Crypto领域近年来的两大刚需——以太坊网络扩容和隐私保护,恰恰都可以通过零知识证明技术来解决。

Aleo与Forte达成合作,以将零知识证明解决方案带入链游:3月8日消息,零知识隐私应用平台Aleo与区块链游戏平台Forte达成合作,旨在为链游带来零知识证明解决方案,希望以此推动低成本交易。

Forte将使用Aleo的可扩展架构来解锁新的游戏玩法深度,并构建更具包容性和沉浸式的游戏生态系统。Forte已经在使用Aleo的技术在多个游戏经济中铸造、转移和交易NFT,以服务于现有的真实世界用例。

今年2月初,加密初创公司Aleo Systems Inc(简称Aleo)宣布完成2亿美元B轮融资,SoftBank和Kora Management领投,Andreessen Horowitz(a16z)、Tiger Global、Samsung Ventures等参投。

去年5月,Forte获得1.85亿美元A轮融资,估值10亿美元。此轮融资由风险投资基金Griffin Gaming Partners领投,Union Grove Venture Partners、Andreessen Horowitz(a16z)、Battery Ventures、早期风险投资公司Canaan等参投。(VentureBeat)[2022/3/9 13:45:18]

零知识证明系统Bulletproofs+代码获准可在门罗币协议中使用:12月30日,门罗币发推宣布,零知识证明系统Bulletproofs+的代码现已获得许可,可在Monero协议中使用,以替代现有的Bulletproofs零知识证明系统。新系统将使得门罗交易结构变得更小,钱包交易速度更快以及网络验证速度更快。此外,官方表示,该代码具有功能性并包括对基础算法的测试,若考虑将来在门罗币网络升级中进行部署,则应该由第三方进行审核。[2020/12/30 16:04:23]

zk在扩容方面的应用

将零知识证明用于以太坊扩容领域的公司最初主要有两家,一家是MatterLabs,一家是StarkWare。前者推出了zkSync,后者推出了StarkNet、StarkEx。这几个项目都是当前Layer2领域的佼佼者,备受资方和市场关注。StarkWare

StarkWare是基于零知识证明推出的Validium类型的以太坊Layer2扩容方案,并基于此方案推出了StarkNet和StarkEx。Validium的机制与zkRollup非常相似,唯一的区别是zkRollup中的数据可用性在链上,而Validium将其保持在链下,这样使得Validium可以实现更高的吞吐量。既然将数据放在链下处理,那么必然在数据上链过程中的流程非常重要,zk-STARK数据上链流程如下:1000笔交易发送给zk-STARK;zk-STARK作为证明者,生成一个证明;节点作为验证者读取证明、更新链上数据。

声音 | ALabs负责人王增新:改进后的零知识证明是解决数据可用性问题的可行方案:今日,在日本东京举办的SmartBlock2018国际学术会议上,区块链研究院ALabs负责人王增新做了关于区块链安全隐私及扩展性的学术分享,他认为数据可用性问题是区块链广泛应用的瓶颈,改进后的零知识证明是解决数据可用性问题的可行方案,即将共识的复杂程度降低到对数级别,提高数据的交换与验证效率。ALabs将围绕这个方向进行探索,推动区块链行业应用发展。 SmartBlock2018国际学术峰会由Springer、早稻田大学、哥伦比亚大学、北京理工大学、伯明翰城市大学等顶尖学术院校联合主办,会议围绕前沿科技趋势进行探讨,包括人工智能、大数据、区块链等前沿技术,数百名学术大拿及企业高管出席活动。[2018/12/11]

证明生成阶段所以,zk-STARK的核心逻辑是允许区块链将计算转移到单个链下STARK证明者,然后使用链上STARK验证器验证这些计算的完整性。各种链上交易协议如果使用StarkWare的Validium扩容技术,它的交易费用会非常便宜。比如目前StarkEx托管了ImmutableX、Deversifi和Sorare等协议,从ImmutableX就可以感受到交易费用的便宜——在ImmutableX铸造和交易NFT的Gas费用均为0美元,就好像不是在链上玩似的……用过的人都会有这个感受。zkSync

MatterLabs推出的zkSync扩容方案是基于零知识证明的zkRollup类以太坊Layer2扩容方案。zkSync通过引入Validators和Guardians这两种角色来提升可扩展性:Validators负责处理交易并打包区块,Validators需要质押代币,然后需要为交易提供一份交易零知识证明,证明交易过程都是正确的、没有舞弊。若Guardians发现作恶,则没收Validators的质押代币;若没有作恶则Validators将得到代币奖励。在这个过程中,通过运用零知识证明,可以让Guardians不需要知道交易的具体内容,也能知道交易过程是正确的/真实的。基于这个逻辑可以将很多交易过程放在Layer2链上处理,而将正确结果反馈到Layer1以太坊链上,从而实现以太坊网络可扩展性的提升。当然,现在MatterLabs正在推动zkSync2.0,在技术上又有很大的更新。一方面zkSync2.0引入了zkEVM,它将可以把以太坊智能合约部署在zkRollup上。另一方面zkSync2.0将采用Volitions的技术方案,Volitions相当于包含了zkRollup和Validium,可以同时支持ZKRollup和Validium或其他组合模式的多种数据可用性模式。将选择权交还给用户,用户可以选择具体在哪种模式下交易。在ZKRollup模式下,所有数据都在链上提交,状态更新的有效性由零知识证明来保证;在Validium模式下,数据被保存在链下,只有最新状态以及该状态有效性证明在链上提交。总而言之,零知识证明类的技术方案已经成为以太坊网络扩容方面的最主流方案。zk在隐私方面的应用

零知识证明用于隐私方面,具体又分为交易隐私和数据隐私。交易隐私方面基本上是使用zk-SNARK以及基于zk-SNARK的衍生技术。之前在《漫谈隐私交易方面的技术发展演变》一文中具体介绍过zk-SNARK技术及其衍生技术在交易隐私方面的应用,这部分不再赘述。核心工作流程就是:设置一个可信初始设置,以保证系统的初始安全;设置一个范围证明,以防止环绕攻击;检查inputnote=outputnote,以确保UTXO的正确性。零知识证明除了用于交易隐私保护,也可以用于数据隐私保护。比如你的年龄,通过零知识证明机制,你可以不需要提供具体的身份信息,只需要通过简单的零知识证明算法——比如证明你的年龄大于等于18周岁,即可证明你已经成年,具备参与某项活动的权利——通过这种方式既可以实现数据隐私保护,也可以证明你具备某些资格。零知识证明在未来的链上声誉证明方面可能也会有很多应用场景。比如现在的链上信用问题,核心难点在于尚未建立个人链上身份体系。链上身份不好建立的原因最少有两点:第一,现实身份的证明工具不适合作为链上身份证明。链上钱包与现实身份并不具备一一对应关系,而且一定程度上讲现实身份的证明工具在Crypto领域里也不适合作为身份证明,一方面很多Crypto的资产持有者不愿意透露个人的身份信息,另一方面即使DeFi协议掌握了违约用户的个人身份信息,在很多国家和地区USDT等Token的权益是不受法律保护的,要这身份证明对于违约的追责没有用。第二,链上用户不愿意泄露过多个人资产方面的隐私。要给每个链上用户打信用分,就需要掌握用户的各个方面的链上资产和链上行为的信息。但是很多用户不愿意让别人知道自己有哪些地址,做了哪些交易……之类的信息。但若要给链上用户一个合理的信用分,却又需要尽可能多掌握用户信息。所以,在链上声誉、链上信用方面,可能也需要零知识证明的赋能。总而言之,零知识证明在扩容和隐私方面的应用是当前行业发展的明牌趋势。

标签:ARKSTARKSTARSTABARKstarknet币价分析DeFiStarterStatizex

瑞波币热门资讯
新项目 | Altitude:针对DeFi借贷场景的“自动驾驶”服务

本月初,一款名为「Altitude」的DeFi协议宣布完成了210万美元融资,本轮融资由多位来自圈内知名项目和机构的投资人参与.

1900/1/1 0:00:00
一周融资速递 | 29家项目获投;已披露融资总额约为5亿美元(7.4-7.10)

经Odaily星球日报不完全统计,7月4日-7月10日当周公布的海内外区块链融资事件共29起,较前一周有一定增加;已披露融资总额约为5亿美元,较前一周有一定减少.

1900/1/1 0:00:00
以太坊分叉概念项目一览:除了ETC和LDO,还有哪些项目值得关注?

关于以太坊分叉的讨论愈发火热,合并日期临近,超800T矿工算力归属全网关注。不少人已经开始酝酿尝试分叉以太坊,预计以太坊历史上第二次社区分叉大概率会发生.

1900/1/1 0:00:00
Solana正经历大规模安全事件,建议用户立即执行避险操作(内容持续更新)

Solana正在经历一场大规模的安全事件。预警最早由NFT市场MagicEden敲响。今日早间,MagicEden发布警告称,似乎有一个广泛存在的SOL漏洞可以耗尽整个生态系统的钱包资产,MagicEden就此提醒用户进行以下设置保护.

1900/1/1 0:00:00
Bitfinex:加密货币如何推进经济自由?

每个国家的经济自由度各不相同,随着经济在全球范围内的发展,各国政府对其主体的经济和金融自由有着绝对的控制权。事实证明,加密货币已成为投资者的首选,因为加密货币能够带来经济自由.

1900/1/1 0:00:00
起底Otherside开发商Improbable:如何颠覆想象,改写游戏规则

近期,YugaLabs元宇宙项目Otherside完成了「FirstTrip」内测,吸引了众多玩家的参与,最高曾达4000多人同时在线.

1900/1/1 0:00:00