三分钟读懂 Taiko:EVM 等效的 ZK Rollup

以太坊作为一个全球性的、可信的中立结算层,引入了强大的数字所有权,并为用户提供了随时随地转移价值的可能。它是价值互联网的基础协议,而且自从互联网诞生以来,以太坊是第一个让价值转移如此流畅的网络。

开发人员希望将他们的智能合约和应用程序部署到永久在线、可访问、无边界的计算网络上。为了实现上述目标,以太坊必须在某些区块链属性中做出抉择,即去中心化和安全性高于可扩展性。如果公共区块链不是去中心化和安全的,就失去可信中立的性质,进而丧失实用价值。但如果公共区块链不可扩展,就会因为交易费用过高且吞吐量过低,被大部分开发人员和用户唾弃。

为了充分实现其功能,以太坊必须支持任何想要参与网络的人,换句话说以太坊需要有极高的可扩展性来容纳全世界的人来参与网络活动,这也是Rollups被视为最有前途的扩展解决方案的目标。而最被看好的Rollups类型是与以太坊等效的ZKRollup。

什么是Taiko?

网易入股张艺谋参与的元宇宙公司:1月1日消息,近日,网易通过网易传媒科技(北京)有限公司参与了张艺谋持股并担任联合创始人的当红齐天的B++轮融资。

当红齐天的官网显示,公司致力于打造包括XR等技术在内的沉浸式体验,以“成为伟大的元宇宙文化科技公司”为愿景。当红齐天的身后除了张艺谋外,还有联想创投、芒果基金、英特尔、小米等巨头。

事实上,网易并不是第一家与张艺谋合作的互联网公司,此前张艺谋就曾与乐视影业有过合作。在乐视落寞后,张艺谋转战欢喜传媒,但仍持有乐视影业(北京)有限公司的股份。

值得一提的是,曾经以门户网站起家的网易,如今主要靠游戏业务养家。最新的财报显示,网易三季度营收游戏贡献近八成。由于对于游戏业务的过度依赖,网易此番入股张艺谋XR公司的背后,有猜测认为,或是为了其元宇宙业务的布局,试图找寻新的增长点。

但就目前元宇宙赛道的情况来看,国内外的玩家大多都没有取得太过亮眼的成绩,Meta、Roblox等公司还因此造成了巨额的亏损,因此网易想要实现自己的元宇宙之梦,或许还有很长的路要走。[2023/1/1 22:19:03]

Taiko的目标是成为一个完全等同于以太坊的ZKRollup,并通过在技术层面和协议层面以太坊本身的运行方式来扩展以太坊。

安全团队:Kyber Network遭遇前端攻击,损失约26.5万枚amUSDC:金色财经消息,据派盾(PeckShield)监测,Kyber Network遭遇前端攻击,损失约26.5万枚amUSDC。

此外,据Kyber Network官方称,该漏洞已被修复,受影响的用户将得到补偿。[2022/9/2 13:04:37]

ZKRollups是通过在链下执行、聚合和证明交易来扩展计算,并依靠以太坊进行数据可用性和有效性证明验证。目前开发中的ZKRollups存在的最大缺点是它们不能完全支持EVM的广义计算,而是主要用于特定应用程序,这就导致破坏了现有以太坊L1智能合约和dapp的兼容性的结果,并且使构建提供相同类型的可组合、体验更好的新合约变得更难。

与以太坊等效的ZKRollups,有时也称为ZK-EVM,因其不会在安全性或兼容性方面妥协,所以被誉为第2层扩展解决方案的圣杯。Taiko的目标就是成为一种ZK-EVM,它优先考虑的是完美的以太坊EVM等效性,而不是ZK-proof的生成速度。

Galaxy Digital宣布将终止对BitGo的收购:金色财经报道,Galaxy Digital周一早上宣布,它已经终止了期待已久的对加密货币托管商 BitGo 的收购。?它是在 BitGo“未能在2022 年 7 月 31 日之前交付符合我们协议要求的2021年经审计财务报表”之后做出的决定。而且无需支付终止费。?

Galaxy 的首席执行官兼创始人Mike Novogratz表示,Galaxy仍处于成功的位置,并利用战略机遇以可持续的方式增长。我们致力于继续我们在美国上市的进程,并为我们的客户提供真正使Galaxy成为一站式商店的优质解决方案。[2022/8/15 12:26:50]

Taiko的技术实现方式

Taiko由三个主要部分组成:ZK-EVM电路、L2Rollup节点和L1上的协议。

1.?ZK-EVM

ZK-EVM通过有效性证明确保Rollup上EVM计算的正确性。

Glassnode:梅耶乘数指标显示目前仍处于加密熊市之中:金色财经报道,据区块链分析公司Glassnode最新研究称,根据梅耶乘数指标分析,目前仍处于加密熊市之中。梅耶乘数是最知名的比特币指标之一,也是加密社区最喜欢的指标之一,该指标为价格和200日移动平均之间的简单比率。尽管它很简单,但它为比特币周期提供了一个强大而可靠的长期底部和顶部形成指标。Glassnode绘制了一个0.8倍的梅耶乘数,作为历史上的 \"低估 \"水平,采用这个倍数的依据是,不到15%的比特币交易时间处于这个水平或低于这个水平。由于200日移动平均值为47,275美元,这个20%的折扣水平目前在37,820美元。这个指标表明,当前可能已经度过了熊市晚期的初始阶段,并且已经进入了熊市的下半场。然而,根据以前的周期,它也表明可能还需要煎熬一段时间,市场尚未提供足够的需求和价格升值,以实现可持续的获利和资本流入。[2022/5/9 2:59:10]

Taiko可以按原始方式运行以太坊智能合约代码,无需进行任何更改。开发人员可以轻松地将他们现有的以太坊智能合约和完整的dApp迁移到Taiko,也可以在Taiko上部署他们的新Solidity代码和协议。通过生成ZK-EVM电路的有效性证明,Taiko实现了一个能够支持每个EVM操作码的ZK-EVM。除了与以太坊L1智能合约和dapp完美兼容之外,所有以太坊和Solidity工具都可以与Taiko无缝协作,无需中断开发人员的工作流程。这样做的好处有两个方面:

ConsenSys首席工程师:以太坊主网影子分叉 2 非常顺利:金色财经报道,以太坊基础设施开发公司ConsenSys首席工程师发推称,今天以太坊主网影子分叉 2 非常顺利,在合并之前,Prysm 和 Nimbus 在处理正在处理的大量存款时都遇到了一些问题。只是表明所有最好的客户都有存款问题,不知道为什么 Lighthouse 和 Lodestar 还没有抓住这一点。Prysm生成区块的时间很晚,导致很多人错过了投票,同步委员会的参与度很低。

Nimbus产生的区块是无效的,这两个问题都与合并无关,并且都已被修复。尽管存在这些问题并且有很多延迟块,但实际的合并还是顺利进行。现在这两个问题都已得到解决,我们看到认证和同步委员会的参与度非常高。这是一个非常健康的链条。[2022/4/24 14:44:44]

Solidity智能合约开发人员能够毫无摩擦地在Taiko使用Solidity语言进行开发,无需浪费任何时间来适应新开发环境。EVM开发人员和以太坊智能合约背后的开发团队扩充速度也无需放慢。以太坊上已经运行的价值数十亿美元的智能合约以及dApp避免了引入一种不同语言的风险,只需要调整结构框架后,它们可以移植到Taiko上来。EVM等效性还可以帮助Taiko利用现有的以太坊基础设施进行开发。例如执行层很容易被重新用作Taiko节点使用,同时Taiko客户端直接基于Go-Ethereum发开。由于Taiko节点使用与以太坊相同的散列算法、签名方案和存储数据结构,Taiko不仅能与虚拟机完美兼容,其他相关协议也是如此。如果以太坊协议更新,Taiko会在zkEVM中保持同步更新。如果Taiko从研发中创造出新的方向,团队也将努力在以太坊上实现它们。

在兼容性方面,开发人员和基础设施提供商可以顺利使用TaikoRollup,同时用户也完全熟悉Taiko的使用模式和产品。作为通用L2,Taiko的目标是赋能建设者,最终赋能用户,让其他人可以做他们想做的事情。利用以太坊的生态、EVM、定义明确的基础设施和工具、智能合约的临界质量和开发人员的专业知识是Taiko能够成为type-1ZK-EVM的主要原因。

TaikoL2Rollup节点

Taiko节点从以太坊获取交易数据并在L2上执行交易,根据最终交易执行情况推进状态。目前Taiko节点是一个以太坊Geth分叉,节点管理Rollup链。

TaikoProtocol

TaikoProtocol将坚持安全、去中心化和无需许可的核心原则,来定义执行Rollup规则和潜在参与者资格。部署在以太坊L1上的智能合约可以充当ZK-SNARK证明的数据可用性机制和验证者,同时部署在TaikoL2上的智能合约执行某些重要协议功能。

网络参与者有三个角色:

提议者:从用户的L2交易中构造Rollup块,并提议给L1,任何愿意的参与者都可以执行此块并创建功能。证明者:从上述提议的区块中生成ZK-SNARK证明,确保?L2交易和区块的有效性,任何愿意的参与者都可以执行此证明功能。节点运营商:链上数据执行交易与链的状态保持同步。虽然提议者和证明者都需要运行节点来执行各自的任务,但其他参与者也将可以运行节点,例如提供区块浏览器等服务的节点和节点基础设施提供商。任何愿意的参与者都可以运行Taiko节点。如何运作

TaikoL2中的区块由按顺序执行的交易集合组成,通过将新区块附加到链上来更新其状态,同时遵循交易执行的协议规则来计算。

区块提交分为两部分:

区块提议:区块被提议后,区块数据将发布在以太坊上,同时区块将附加到TaikoL1合约的提议区块列表中。该协议确保区块在这一点上是不可变的,这意味着区块执行是确定性的,因此任何人都可以计算执行后的区块链状态。我们将一个区块提议和所有封闭的交易视为提议完成。L1上提议区块的一个显着特征是,可能存在将被TaikoL2节点跳过的无效交易,但TaikoL2允许在同时提出多个块时进行容错。区块验证:因为所有提议的区块都是确定性的,所以可以进行并行证明。一旦验证了该区块的证明,在其正确链接的父块被最终确定后,我们将该区块标记为链上最终确定。该协议的一个基本要求是重建当前状态所需的所有数据,从而创建和附加新区块,并且所有的数据能够在以太坊上公开可用。此外,证明者可以仅使用以太坊上的公共数据来生成证明。依靠以太坊公共数据并为所有潜在参与者提供公平的竞争环境,使得TaikoL2?保持去中心化。

一个普遍的现象是EVM计算、以太坊数据结构和嵌入式密码学等许多方面对ZK-SNARK并不友好,而且证明效率低下。克服这些挑战一直是该领域许多人努力工作的目标,这是在不同类型的ZK-EVM在兼容性中做出的主要权衡。例如type-1生成证明的速度最慢,但具有完美的兼容性和未来证明能力;其他类型生成证明的速度要快得多,但会失去不同程度的兼容性和未来证明能力。

团队介绍

Taiko在今年第一季度推出,由Loopring创始人王东和前Loopring首席架构师BrechtDevo联合创立。Taiko大多数团队成员都曾在可扩展性和ZKRollup领域工作过。

小结

在坚持去中心化、无许可和安全的不可协商性以及完全EVM等效性的同时,Taiko的明确目标是通过协议设计减少证明时间。协议寻求在ZKP生成之前快速达到最终确定状态。团队将继续以此目标设计协议,但如果缓慢的证明严重降低链的用户体验,也会对调整或优化持开放态度。

Taiko将会更加关注与以太坊兼容性相关的的社区和用户体验等方面。区块链是代码强制执行的社会契约,但最终驱动协议的是人类及其价值观体系。

责任编辑:Felix

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

银河链

LTC9.29以太坊走日线走出螺旋桨 看涨还是看跌

9.29以太坊走日线走出螺旋桨?看涨还是看跌  ETH天图技术走势;昨开1327/高?1355/低1250/收1336/涨幅0.7%微涨9.24美元/振幅7.97%/技术走势:昨日市场价格走势先抑后扬出现过山车行情.

[0:15ms0-1:727ms