最近有许多“ZK-EVM”项目发布了公告。Polygon开源了他们的ZK-EVM项目,发布了他们的ZKSync2.0计划,相对较新的Scroll最近也宣布了他们的ZK-EVM。PrivacyandScalingExplorations团队、NicolasLiochon等人的团队也在不断努力,从EVM到Starkware的ZK友好语言Cairo的alpha编译器,当然还有一些我不知道
所有这些项目的核心目标都是相同的:使用ZK-SNARK技术来制作类似以太坊交易执行的加密证明,或者更容易验证以太坊链本身,或者构建相当于以太坊提供的,但更具可扩展性的ZK-rollup。但是这些项目之间存在细微的差异,以及它们在实用性和速度之间做出的权衡
这篇文章将尝试分类不同“类型”ZK-EVM的EVM等效性,以及尝试实现每种类型的好处和成本
1型ZK-EVM力求完全且毫不妥协地与以太坊等效。他们不会改变以太坊系统的任何部分来更容易生成证明。它们不会取代哈希、状态树、交易树、预编译或任何其他共识逻辑
区块链保险科技初创公司Vitraya完成410万美元A轮融资:3月15日消息,区块链保险科技初创公司Vitraya宣布完成410万美元A轮融资,Xceedance和一家未透露名称的投资财团参投。Vitraya主要利用人工智能和区块链技术为保险公司实现支付完整性、医疗程序和福利管理的自动化服务,帮助医院/医疗保健服务提供商、以及为消费者和企业提供健康保险产品的保险公司实现实时支付和理赔。?[2023/3/16 13:06:38]
优点:完美兼容
其目标是能够像今天一样验证以太坊区块,或者至少验证执行层端.
1型ZK-EVM是我们最终需要的,使以太坊第1层本身更具可扩展性。从长远来看,在2型或3型ZK-EVM中测试的对以太坊的修改可能会被引入到以太坊本身,但这种重新架构也有其自身的复杂性
1型ZK-EVM也是Rollup的理想选择,因为它们允许Rollup重用大量基础架构。例如,以太坊执行客户端可以按原样使用来生成和处理rollup区块,因此工具例如区块浏览器、区块生产等非常容易重用
Vitalik Buterin提出“L3愿景”:不能通过在Rollups上堆叠Rollups来扩展网络:金色财经报道,以太坊联合创始人 Vitalik Buterin 发文《什么样的Layer 3有意义?》(What kind of layer 3s make sense?),文章指出不能通过在Rollups上堆叠Rollups来扩展网络,比如SNARK几乎可以无限扩展,可以继续制作“许多SNARK的 SNARK”, 以将更多计算缩减为单个证明。但数据不一样,数据可以压缩一次,但不能再次压缩,因此“在Rollups上再Rollups” ”实际上并不能在可扩展性方面提供巨大效益。因此,Vitalik Buterin提出了“L3愿景”,主要包括:
1、L2 用于扩展,L3 用于定制功能,例如隐私。
2、L2 用于通用扩展,L3 用于自定义扩展。
3、L2 用于无信任扩展(Rollups),L3 用于弱信任扩展(验证)。[2022/9/17 7:03:27]
缺点:证明时间
Vitalik:捐赠的50万亿枚SHIB不会获得税务冲销:5月19日消息,Vitalik表示,其向印度新冠加密救援基金捐赠的超50万亿枚SHIB不会获得税务冲销(税务减免)。据悉,SHIB币价波动剧烈,此前其捐赠款价值20亿美元,目前缩水到8亿美元左右。(彭博社)[2021/5/19 22:19:08]
以太坊最初并不是围绕ZK友好性设计的,因此以太坊协议的许多部分需要大量计算才能进行ZK证明。1型ZK-EVM旨在精确复制以太坊,因此它无法缓解这些低效率。目前,以太坊区块的证明需要很多小时才能产生。这可以通过巧妙的大规模并行化证明者工程或从长远来看通过ZK-SNARKASIC来缓解
谁在建造它?
PrivacyandScalingExplorations团队ZK-EVM正在构建1型ZK-EVM。
类型2
类型2ZK-EVM力求完全等同于EVM,但不完全等同于以太坊。也就是说,它们“从内部”看起来与以太坊一模一样,但它们在外部存在一些差异,特别是在区块结构和状态树等数据结构方面
动态 | Gravity将为难民推出自我主权数字身份平台:据btcmanager消息,内罗毕区块链初创企业Gravity为非洲难民推出证明自我主权数字身份的平台,从而帮助难民获得金融服务。据报道,该公司已经开始在肯尼亚卡库马的一个难民营部署其平台,约有80,000名用户。测试将在营地的三所学校举行,允许Gravity跟踪每日出勤率和学生的学习成绩。该公司还将与非政府组织建立密切关系,以便能够追踪可能对难民营难民生活条件产生积极影响的其他数据和指标。[2018/12/2]
目标是与现有应用程序完全兼容,但对以太坊进行一些小的修改,以使开发更容易并更快地生成证明
优点:VM级别的完美等效
2型ZK-EVM对保存诸如以太坊状态之类的数据结构进行更改。幸运的是,这些是EVM本身无法直接访问的结构,因此在以太坊上运行的应用程序几乎总是可以在2型ZK-EVMRollup上运行。你将无法按原样使用以太坊执行客户端,但可以通过一些修改来使用它们,并且仍然可以使用EVM调试工具和大多数其他开发人员基础设施
声音 | Kevin Davitt:比特币期货波动率创历史新低:据marketwatch消息,Cboe Global Markets期权研究所高级分析师Kevin Davitt表示,截至10月26日的一周是近一年前推出比特币期货以来波动最小的一周,10月份XBT期货的平均每周波动率约为6.6%,远低于自成立以来的平均水平15.65%。[2018/11/6]
有少数例外。对于验证以太坊历史区块的Merkle证明以验证有关历史交易、收据或状态的声明的应用程序出现了一种不兼容。用不同的哈希函数替换Keccak的ZK-EVM会破坏这些证明。但是,我通常建议不要以这种方式构建应用程序,因为未来的以太坊更改甚至会在以太坊本身上破坏此类应用程序。更好的选择是让以太坊本身添加面向未来的历史访问预编译
缺点:改进但仍然很慢证明时间
2型ZK-EVM提供比1型更快的证明时间,主要是通过删除依赖于不必要的复杂和ZK不友好密码学部分的以太坊堆栈。特别是,他们可能会改变以太坊的Keccak和基于RLP的MerklePatricia树,可能还会改变区块和收据结构。2型ZK-EVM可能会使用不同的哈希函数,
这些修改显著提高了证明者的时间,但它们并不能解决所有问题。必须按原样证明EVM的缓慢性以及EVM固有的所有低效率和ZK不友好性仍然存在。一个简单的例子是内存:因为anMLOAD可以读取任何32个字节,包括“未对齐”的区块,所以不能简单地将MLOAD解释为读取一个区块;相反,它可能需要读取两个连续的区块并执行位操作来组合结果。
谁在建造它?
Scroll的ZK-EVM项目正朝着Type2ZK-EVM方向发展,PolygonHermez也是如此。也就是说,这两个项目都还没有完成。特别是,许多更复杂的预编译还没有实现。因此,目前这两个项目都被更好地考虑为Type3
谁在建造它?
Scroll和Polygon在其当前形式中都是3型ZK-EVM,尽管它们有望随着时间的推移提高兼容性。Polygon有一个独特的设计,他们正在ZK验证他们自己的称为zkASM的内部语言,并且他们使用zkASM实现来解释ZK-EVM代码。尽管有这个实现细节,但我仍将其称为真正的Type3ZK-EVM;它仍然可以验证EVM代码,它只是使用一些不同的内部逻辑来完成它
ZK-EVM类型的未来
一些类型并不比其他类型明确地“更好”或“更差”。相反,它们权衡空间上的不同点:编号较小的类型与现有基础架构的兼容性更高,但速度较慢,编号较高的类型与现有基础架构的兼容性较差,但速度更快。一般来说,探索所有这些类型的空间是健康的
此外,ZK-EVM项目可以轻松地从较高编号的类型开始,并随着时间的推移跳转到较低编号的类型。例如:
ZK-EVM可以从类型3开始,决定不包含一些特别难以ZK证明的功能。之后,他们可以随着时间的推移添加这些功能,并转向类型2
ZK-EVM可以从类型2开始,后来成为混合类型2/类型1的ZK-EVM,通过提供在完全以太坊兼容模式下运行的可能性或使用可以更快证明的修改状态树的可能性。Scroll正在考虑朝这个方向发展
通过添加处理EVM代码的能力,从类型4开始的系统可能会随着时间的推移变成类型3
如果以太坊本身采用其修改以变得更加ZK友好,那么类型2或类型3ZK-EVM可以成为类型1ZK-EVM
1型或2型ZK-EVM可以通过添加预编译来验证ZK-SNARK友好语言中的代码,从而成为3型ZK-EVM。这将使开发人员在以太坊兼容性和速度之间做出选择。这将是类型3,因为它打破了完美的EVM等效性,但出于实际目的和目的,它将具有类型1和2的很多好处。主要缺点可能是某些开发人员工具无法理解ZK-EVM的自定义预编译,尽管这可以修复:开发人员工具可以通过支持包含预编译的EVM代码等效实现的配置格式来添加通用预编译支持
就我个人而言,我希望随着时间的推移,通过ZK-EVM的改进和以太坊本身的改进相结合,使其对ZK-SNARK更加友好,一切都将成为类型1。在这样的未来,我们将有多个ZK-EVM实现,它们既可用于ZKRollup,也可用于验证以太坊链本身。
从理论上讲,以太坊不需要为L1使用单一的ZK-EVM实现进行标准化;不同的客户端可以使用不同的证明,因此我们继续从代码冗余中受益。
但是,要实现这样的未来,还需要相当长的时间。与此同时,我们将在扩展以太坊和基于以太坊的ZK-rollup的不同路径中看到许多创新
在加密行业你想抓住下一波牛市机会你得有一个优质圈子,大家就能抱团取暖,保持洞察力。如果只是你一个人,四顾茫然,发现一个人都没有,想在这个行业里面坚持下来其实是很难的。
想抱团取暖,或者有疑惑的,欢迎加入我们——公众号:Crypto悟饭
感谢阅读,喜欢的朋友可以点个赞关注哦,我们下期再见!
Dearuser,TomaintaincompliancewiththelatestregulatorypoliciesofSpain.
1900/1/1 0:00:00CoinUp是全球首家数字金融衍生品交易所。目前,CoinUp金融衍生品板块提供期货永续合约交易,其中包括国际股指、能源、贵金属在内的三种通证产品,提供包括日经指数、纳斯达克指数、道琼斯指数、英.
1900/1/1 0:00:00既然要讲我们就先从以太坊的成长历程开始讲:以太的第一次腾飞是一个叫做加密猫的应用火爆带催生了以太坊的使用需求.
1900/1/1 0:00:00关于Gate.ioStartup免费空投计划为回馈平台用户,Gate.io上线“免费空投计划”,在Startup区不定期进行区块链项目的免费空投计划.
1900/1/1 0:00:00尊敬的XT.COM用戶:XT.COM將於2022年8月5日08:00上線ROSE/USDTU本位永續合約。後續,XT.COM將會上線更多合約品種並配合相關活動,敬請期待.
1900/1/1 0:00:00全文导读ArbitrumOne今日宣布,将于8月31日将主网迁移至Nitro,将大幅减少交易所需的GasFee,改善使用者体验。同时官方也宣布,该天也是庆祝ArbitrumOne成立一周年.
1900/1/1 0:00:00