ZK Sync:以太坊普及的关键一环

编者按:本文来自以太坊爱好者,作者:AlexGluchowski,翻译&校对:闵敏&阿剑,Odaily星球日报经授权转载。概要

要想成功解决公链的可扩展性问题,不只是要提高交易吞吐量。所谓的可扩展性,就是系统要能够在满足数百万用户的需求的同时不以去中心化为代价。而密码学货币能大规模普及的前提条件是速度快、费用低、用户体验流畅,并且能保护隐私。在没有技术突破的情况下,现有的可扩展性解决方案不得不在一个或多个条件上做出重大妥协。幸运的是,零知识证明技术的最新进展为我们带来了更多新的解决方案。如今,我们MatterLabs团队要满怀激动地宣告ZKSync的愿景:基于ZKRollup的免信任型可扩展性和隐私性解决方案,旨在带来绝佳的用户和开发者体验。我们还要骄傲地宣布ZKSync的开发者测试网络已上线。ZKSync旨在将以太坊上的吞吐量提高到像VISA那样每秒可达几千笔交易,同时又能确保资金像存储在底层账户那样安全,并维持较高水平的抗审查性。该协议的另一个重要方面是延迟性极低:ZKSync上的交易具有即时经济确定性。我们认同精益设计理念,并支持以循序渐进的方式推进协议,按顺序逐一引入各个功能,让每个步骤都能为用户带来最实际的价值。这就是为什么我们从最基础的部分开始,首先聚焦于基础可扩展性,然后是可编程性,最后是隐私性。

ZKSync特性一览:严格持平于L1的安全性VISA级别的吞吐量亚秒级交易确认速度抗审查,抗DoS攻击隐私保护型智能合约区块链扩容的最大挑战

实际上,密码学货币的最主要用途依然是投机。在没有得到真正的普及之前,互联网货币、DeFi、Web3.0等区块链概念的价值主张在很大程度上都无法实现。可扩展性指的不仅是交易吞吐量,还有区块链系统是否能够满足数百万用户的需求。我们来看一看将区块链革命推向大众所面临的三大挑战。挑战一:保持去中心化

Matter Labs团队推出模块化工具包ZK Stack:金色财经报道,Matter Labs团队宣布推出ZK Stack,这是一个模块化工具包,用于在以太坊Layer 2解决方案zkSync Era之上构建超链网络。开发人员表示,ZK Stack将给予开发者完全的主权。从选择数据可用性模式开始,到使用您自己的实用代币来分散排序器结束。该开源框架与EVM兼容、经过实战测试且面向未来。[2023/6/27 22:03:06]

要想在现实生活中推广区块链,目前去中心化程度最高的区块链的交易处理量还差了一个数量级。比特币网络每秒能处理7笔交易,以太坊网络每秒能处理15笔交易——而VISA平均每秒能处理2000笔交易之多。但是,对于比特币和以太坊而言,低效是一种特色,而非缺陷!只要减少验证者的数量,就能轻而易举地加快交易处理速度。作为两大顶尖区块链网络,比特币和以太坊上大量的全节点是它们最重要的资产。因此,这就为区块链带来了强韧性,从根本上将其与现有金融机构区别开来。另一个热门的扩容方案就是,要求每个验证者只验证一部分相关的区块链流量,而非全部流量。但这难免会引入另外的信任假设,系统所依据的博弈论基础也会变得极为脆弱。挑战二:实现隐私性

大多数人都不会喜欢在众目睽睽之下转移大量财富。如果会立马暴露自己拥有多少钱的话,动荡地区——例如,委内瑞拉——的居民不可能愿意用密码学货币来付钱。如果付款之时有可能暴露自己的真实身份,生产或消费成人内容的人就不可能使用加密货币来代替Paypal。此外,在不具备链上保密性的情况下,《通用数据保护条例》和《2018年加州消费者隐私法案》之类的隐私条例会促使普通企业从公链转向更加中心化的支付和金融中心,让我们这个日益无现金化的社会变成一场监视噩梦。隐私性是普及区块链的必备条件。但是在公链上很难实现隐私性,原因如下:隐私性必须是协议的默认配置。引用VitalikButerin的话来说,“如果隐私模型的匿名集是中等大小,实际上就只有很小。如果隐私模型的匿名集很小,实际上就约等于没有。只有全球化的匿名集才是真正强健可靠的。”要让隐蔽交易成为大家的默认选择,隐蔽交易的交易费用必须非常低,但是,在技术上,隐蔽交易必将带来高昂的计算成本。隐私模型必须具有可编程性,因为现实世界的用例不仅限于转账:还需要账户恢复、多签和消费限额,等等。挑战三:达到预期的用户体验

zkSync推出用于构建定制zkRollup的模块化开源框架ZK Stack:6月26日消息,zkSync 宣布推出用于构建定制 zkRollup 的模块化开源框架 ZK Stack。ZK Stack 将赋予开发人员完全的自主权,从选择数据可用性模式到使用项目自己的 Token 去中心化排序器。[2023/6/26 22:01:16]

现实是很残酷的:产品经理都很清楚,用户向来喜欢更轻松、更轻量级的体验,能够立即带来满足感,却会忽略长尾风险。要想诱使用户从熟悉的事物切换到新事物,这需要非常强大的力量。对于一些人来说,密码学货币的价值主张就已经足够有吸引力了。但是这部分人很可能已经入场了。密码学货币若要实现当初的承诺,其用户群体的规模就算不用数十亿,也要有数百万才行。如果要吸引数百万的主流用户,我们需要为他们提供符合乃至超出这些期望的用户体验。我们必须一面提供全新的功能,一面保留人们已经习惯的传统互联网产品的所有便利属性,即,快速、简单、直观且具有容错性。ZKSync的承诺:免信任、保密、快速

本文会向大家解释我们的架构、设计原则以及我们所提议的协议的良好特性。当然解释过程少不了对技术做一番说明。1.安全性:扎根于ZKRollup

ZKSync是基于ZKRollup的概念搭建的。简而言之,ZKRollup是一种二层扩展方案,所有资金都存储在主链上的智能合约内,计算和存储则在链下执行。每创建一个新的Rollup区块,就会生成一个状态转换的零知识证明,并提交给主链上的合约进行验证。这个SNARK包含了对Rollup区块中所有交易有效性的证明。此外,每个区块的公开数据更新都会作为便宜的calldata发布到主链上。这个架构提供以下保证:Rollup验证者永远不能破坏状态或窃取资金。即使验证者不配合,用户也可以追回Rollup上的资金,因为Rollup具备数据可用性。得益于有效性证明,无论是用户还是可信第三方都不需要通过在线监视Rollup区块来防止。这里有一篇优质文章,深入探讨了有效性证明相比错误性证明的压倒性优势。换言之,ZKRollup严格继承了底层链的安全保障。正是有了这种安全保障,再加上丰富的以太坊社区和现有基础设施,我们才决定专注于二层解决方案,而不是试图搭建自己的底层链。为了更好地理解这一概念,请参阅我们在ZCon1和Dappcon上的演讲,zeroknowledge.fm上关于MatterLabs的播客,以及我们早期发布的技术解释帖。好奇心旺盛的读者也可以阅读这篇文章,来了解ZKRollup和OptimisticRollup之间的区别。在以太坊基金会的资助下,MatterLabs在过去的一年以来都在研究ZKRollup技术。自首个原型发布以来,我们已经全部重写了架构和ZK电路。最新的版本融合了我们从社区获得的反馈,并实现了各种可用性和性能改进。

CertiK:Zk Secure (ZK)遭遇闪电贷款攻击:金色财经报道,据CertiK监测,Zk Secure (ZK)遭遇闪电贷款攻击,目前共有7千美元被盗。请保持警惕。[2023/6/3 11:55:33]

总结:ZKRollup完全的免信任性具备与底层链同样的安全保障第一次确认之后就具有由以太坊背书的确定性2.可用性:实时交易

我们预计ZK证明技术的最新发展成果将缩短证明时间,将ZKRollup区块的出块时间控制在一分钟之内。一旦区块证明被提交到主链上,并在Rollup智能合约中验证通过,这个区块内的所有交易都会得到最终确定,并且受到Layer-1抵御链重组的能力保护。然而,就零售和线上支付领域而言,以太坊上仅仅15秒的区块延迟也有些久了。我们如何才能做得更好?这个办法就是:在ZKSync中引入即时交易收据。选择参加ZKSync区块生产的验证者必须向主网上的ZKSync智能合约提交一笔可观的安全保证金。由验证者达成的共识会为用户提供亚秒级确认,确保其交易包含在下一个ZKSync区块内,并由绝大多数的共识参与方签署。如果一个新的ZKSync区块被创建出来并提交到主链上,它是无法被撤回的。但是,如果这个区块不包含已承诺的交易,则签署过原始收据和新区块的验证者的安全保证金会被罚没。这部分验证者所质押的保证金必定超过总金额的1/3以上。也就是说,惩罚会覆盖1/3乃至以上的安全保证金,而且只有恶意验证者会遭受惩罚。被罚没的金额中有一部分会用来补偿交易接收者,剩下的会被销毁。罚没机制既可由用户自己触发,也可由任意签署过原始交易收据的诚实共识参与方触发。后者天生就有触发罚没机制的动机:如果他们参加下一轮区块生产,可能也会遭到惩罚。因此,共识参与者中只要有一个是诚实的就足以检测欺诈了。我们再细说一遍:在ZKSync中,我们设计了一种零确认的交易模式,也就是让一笔交易附带一个即时交易数据,该收据会指向一个尚未发布到链上的ZKSync区块。在区块证明发布到主链之前,只有短短几分钟的时间可以对ZKSync上的零确认交易发起双花攻击。此外,恶意验证者要想诱使用户相信自己的交易已成为零确认交易,得做好1/6的安全准备金被罚没的打算。从买卖双方的角度来看,零确认交易是:即时的存在逆转的可能性,不过只在短短的几分钟之内只有在同时而非逐个对上千个卖方发起攻击的情况下才可逆相比信用卡支付,ZKSync在用户体验和安全性上有很大提升!现在让我们站在不同参与者的角度来看:出售实物商品的线上商店会立即向用户确认订单,但是不会遭受攻击,因为卖家会等到完全确认之后再发货。实体店在交易量较少之时是几乎不可能遭受攻击的。即使你是以即时收据的形式来出售一台Macbook,也要有数千名协调一致的攻击者在不同的地点发起攻击,还要依靠大多数验证者串谋才能成功。说得再深入一些。为了量化风险,我们可以将保证金提供的经济保证与PoW区块链提供的结算保证进行比较。举例来说,经过35个交易确认之后,Coinbase才会接收一笔以太坊资金存款。如果是通过亚马逊云服务租用GPU来发起51%攻击的话,要持续攻击10分钟才能撤回这个交易,成本大约在6万美元。假设安全保证金高达数百万美元,撤回一个即时ZKSync收据所需的成本会高得多。因此,这些即时收据的经济确定性相比以太坊有过之而无不及。要注意的是,即时交易数据不会受到ETH区块重组的影响,因为这些收据的有效性与以太坊无关。此外,以太坊的结算保证与ZKSync的结算保证是结合在一起的。

V神确认参加Polygon ZK day:12月3日消息,据Polygon Chinese发布推特称,Vitalik确认参加Polygon ZK day,V神将与Polygon的粉丝一起分享关于SNARKs,STARKs 以及关于零知识证明的应用。[2021/12/3 12:48:59]

总结:实时交易亚秒级交易确认的经济确定性堪比以太坊几分钟之后就具有由以太坊背书的确定性3.活性:抗审查性和抗DoS攻击

扩展方案必然具备的一个属性是,大多数用户都无法参与所有交易的验证。因此,所有二层扩展方案都需要专门设置一个角色。这类角色对于安全性和性能的要求较高,带来了中心化和审查的风险。为了解决这一问题,ZKSync在设计上引入了两种不同的角色:验证者和守护者。验证者验证者负责将交易打包到区块内,并为这些区块生成零知识证明。他们要参与共识机制,因此必须缴纳一笔安全保证金,才能创建即时交易收据。验证者节点必须在网络带宽良好的安全环境中运行。或者,他们也有可能按自己心意在不安全的云平台上生成零知识证明。验证者将获得交易费作为奖励,是用被交易代币来支付的。为了快速达成ZKSync共识,验证者的人数是有限制的。但是别忘了,ZKRollup验证者是完全免信任的。在ZKSync上,恶意验证者既不能破坏系统的安全性,也不能诚实的验证者触发罚没机制。因此,不同于optimisticrollup,系统的守护者可以频繁更换一小部分验证者。与此同时,只要有2/3的提名验证者是诚实且可进行操作的,就能确保满足活性要求。守护者大部分通过质押代币份额来提名验证者的ZKSync持币者会成为守护者。守护者的目的是监控点对点交易流量,探测审查行为,并确保不会提名那些有审查行为的验证者。为了保护自己的质押物不被罚没,守护者必须确保ZKSync可以抵御DoS攻击、不会实施审查。虽然投票密钥通常来说都是在线保存的,但是这不会给ZKSync上的守护者带来罚没或盗窃的风险。守护者就可以选择只监控一小部分流量。因此,守护者节点可以运行在普通的手提电脑或云服务器上,也就是说,不需要提供专门的验证者服务。守护者会获得验证者的费用作为奖励,是以ZKSync原生代币的形式发放的。其收益和押金会被锁定较长一段时间,以此促进ZKSync代币的长期升值。

Balancer联合创始人:100%专注于以太坊 扩展方案Zk Rollups最有前途:10月28日,Balancer联合创始人兼CTO Mike McDonald发推阐述其对Balancer以及扩容解决方案的看法。他表示,重要的是要明确我们100%专注于以太坊。 尽管Balancer已经为一些第三方提供了小额赠款,帮助他们在其他L1网络上实施Balancer协议,但这只是处于研究目的,所有的内部努力仍在以太坊上。与此同时他还表示,Zk Rollups是最有前途的扩展方案,并且也是Balancer目前在内部探索的唯一的扩展路径。 话虽如此,但从L2演示应用迈向具有有意义的资金锁定状态的共存的L2仍然需要大量时间和持续开发。[2020/10/28]

总结:活性两种角色:验证者和守护者,都受到交易费的激励由验证者运行共识机制并生成证明由运行在普通硬件上的守护者防止审查4.1RedShift:透明的通用SNARK

要实现基于零知识证明的智能合约,最大的障碍就是缺乏一种通过递归组合实现的高效且通用的零知识证明系统。Groth16曾是最高效的ZKSNARK,但它需要为每一个应用专门启动一套受信任初始化设置,而且在采用递归方式之时会很低效。另一方面,基于FRI的STARK需要高度专业化的构建技能,而且缺乏针对任意通用电路的高效递归组合。这也是我们开发RedShift的主要动机之一:从基于FRI协议的多项式承诺方案中衍生出一个透明、高效且简洁的新型SNARK。我们目前正在进行同行评议和社区反馈,之后会将RedShift作为一个核心部分部署在ZKSync上。Redshift是一种通用的SNARK,能让我们将任意程序转换为可证明的ZK电路。异构电路可以通过递归的方式在一个SNARK中构成。RedShift仅依赖于抗碰撞的哈希函数,因此可被认为具有后量子安全性。

总结:Redshift透明的:不需要可信的设置可被认为具有后量子安全性:基于久经考验的密码学通用的:适用于通用程序4.2Zinc:零知识智能合约框架

在ZKSync的可编程模型的设计上,我们致力于实现以下几大目标:高度可扩展性支持公开的智能合约和私密的智能合约最重要的一点:平缓的学习曲线和简单的开发过程很多优秀的项目都实现了其中几个目标,但是至今没有一个项目能够实现上述所有目标。例如,ZkVM提供了一个用于通用智能合约的虚拟机,但是是基于防弹协议的,而且不支持简洁证明聚合。ZEXE具有绝佳的隐私保护设计,但是需要深入理解零知识证明电路的具体细节和权衡关系,因此对程序员来说门槛很高。其他较为简单的零知识证明编程框架则缺少表达性以及安全的智能合约开发所必需的功能。因此,我们决定创建Zinc——一种安全、简单且高效的编程框架和基于虚拟机的运行时环境,专为基于零知识证明的智能合约而设计。SyncVM的设计优先级主要是安全性和开发者友好性。定义合约的编程语言严格遵循简化的Rust语法,并从Solidity和Libra的Move中借鉴了智能合约的编程元素。开发者并不需要深入了解零知识证明领域的技术细节即可编写出高效且安全的程序。实际上,凡是具备Rust、Solidity和C++等编程语言背景的开发者只需要一天时间就可以弄懂Zinc。用Rust为Bellman框架编写一部分程序和为Zinc编写同样的程序对比如下:

Zinc的0.1版本将在2020年1月上线。

总结:Zinc具备安全性和表达性的编程框架以委托的方式生成零知识证明的沙盒式虚拟机聚焦于易开发性:Solidity程序员只需要花一天时间学习ZKSync0.1版本开发者网络上线!

ZKSync0.1版本的开发者网络上线。该版本仅限于在单个运营者环境中进行ETH和ERC20的代币转账。查看ZKSync的软件开发工具包在Github上浏览代码体验demo上线0.1版本的开发者网络是实现ZKSync愿景的第一步。未来还需要进行很多研究、实验和开发工作。在我们了解并吸收反馈的过程中,一些设计部分可能会发生变化。但是我们保证,ZKSync会将数百万用户引入密码学货币世界,这一愿景是不会改变的。我们为设定了很高的用户体验标准,并将证明零知识证明技术能够在不牺牲区块链价值观的情况下提供类似于Web的体验。你可以关注MatterLabs的推特、公开的Telegram频道或是订阅我们偶尔更新的新闻推送。如果你想要为ZKSync的开发做贡献的话,请与我们联系。我们正在寻找优秀的工程师和密码学家加入我们的团队。

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

银河链

币安币开放式金融,让Defi走出小众困境

开源软件最终成为主流 大多数人并不想要一场战斗,只是期望更快学习掌握知识并提高项目质量。开源代码协作能够聚集众人的创造力,并站在最前人智慧的经验上继续创造,使得创造本身变得更有效,更便捷.

币赢交易所观点:区块链能让日本挽回失去的二十年吗?

日本作为第一个宣布比特币作为合法付款方式的国家,在区块链创新和数字货币领域一改其保守的形象,积极推动相关政策的出台和产业的支持,这背后的原因是什么?日本又是如何成为区块链发展沃土的?12月18号20:00.

[0:15ms0-1:275ms