AME:详解以太坊EIP-5988最新提案:L2互操作性的新解决方案_BIN

伴随着以太坊上海升级的日益临近,与之相关的各项提案也随之涌现,希望能赶上在上海升级中一并部署。EIP-5988?也在近期被提交至?Eips.ethereum?官方网页,EIP-5988?主要目的在于为各类?ZK?进行和主网间通信的预编译操作,以节省通信所需的编译时间和链上空间。

EIP-5988?主要在于解决各类L2和L1之间的通信问题,借助这项提案,ZK?系L2可以在不降低自身证明效率的同时兼容主网安全性,OP?系L2可以进一步提升利用主网的结算效率。

并且,EIP-5988?此次使用的是?Poseidon?哈希算法,将会作为各类L2统一预编译的生成证明方式,这也是首次可能兼容进以太坊的新算法,而此前主要在各类L2中尝试使用,但安全性尚未得到主流应用大规模长时间检验,这也是?EIP-5988?引发的主要争议点。

分析师:BTC、ETH和KNC显示出即将回调的迹象:加密分析师Credible Crypto提醒交易员注意比特币和以太坊的短期前景。Credible Crypto表示,比特币本月多次触及1.2万美元之后,目前正处于十字路口。如果比特币不能保持在11800美元以上,很可能会有重大的调整。如果BTC跌破这条线,下一个支撑水平是11660美元、11100美元和10560美元。他还表示,ETH和KNC也显示出即将回调的迹象。(The Daily Hodl)[2020/8/21]

打通L2之间的通信

在?EIP-5988?的描述中,最重要的是提出了新的?Layer2?间通信方式,将各类?Rollup?扩容算法打包成一致的编译层,供以太坊主网调用,借助以太坊的兼容性来进行各类?Layer2?的通信。

直观理解,也就是在?STARK/SNARK?等方案之下,首先进行一项预编译措施,一旦提案生效,将构筑成?ZK?证明生成后的格式转换场所。以太坊主网无需考虑消息的具体来源,只需要判断是否符合编译格式,从而进行接受或拒绝等操作。

分析 | ETH出现三角整理形态 有变盘需求:据Okex数据显示,ETH季度合约现报277.60美元,24H涨幅-0.83%。针对当前走势,金色盘面特邀分析师提示:OKex季度合约ETH/USD,30分钟级别出现三角整理形态。根据历史数据:当出现三角整理形态,会有变盘需求,请注意后期ETH价格走势变化。季度合约30分钟级别压力位292美元,支撑位265美元。[2020/2/14]

在目前的L2和以太坊主网之间,存在广泛的兼容性问题。以?ZK?系为例,目前主要存在两种障碍:

ZK?系有不同技术路径,zk-SNARK?和?zk-STARK?是较为主流的两种,不同实例之间的互操作性缺乏统一标准;

声音 | eToro分析师:IBM量子计算机对于BTC不会有很大影响:eToro高级市场分析师Mati Greenspan在推特上表示,对于那些询问新的IBM量子计算机及其对BTC的影响的人,唯一的威胁是它只对一个人可用。如果每个人都可以使用量子计算机,那么每个人都会一起升级。[2019/1/13]

L2会选择自研语言,如?StarkWare?的?Cairo?等,和以太坊使用的?solidity?有所区别,需要互相编译才能互通。

在统一预编译层实施后,以太坊所接受的消息格式将进行统一,任何传入的L2数据类型需要进行预先转换,从而节省L2和主网间的传递--等待--响应时间。

慢雾安全团队发布 BEC智能合约无限转币漏洞分析及预警:据了解,4月22日13时左右,BEC出现异常交易。慢雾安全团队第一时间分析发现,BEC智能合约(https://etherscan.io/address/0xc5d105e63711398af9bbff092d4b6769c82f793d)中的batchTransfer批量转账函数存在漏洞,攻击者可传入很大的value数值,使cnt*value后超过unit256的最大值使其溢出导致amount变为0。

通过此次分析,慢雾安全团队建议智能合约开发者在批量转账时严格校验转出总额amount是否大于0,及在for循环内执行balances[msg.sender].sub(value)操作。

这类漏洞属于不可逆的破坏型漏洞,慢雾安全团队建议其他智能合约发布方及时自查。[2018/4/23]

目前,在统一预编译层生效前,L2之间的通信有三种方式:

比特币价格突破11000美元后迅速回落 分析师态度两极分化:过去24小时根据OKEX平台显示比特币净流出金额达3.59亿元,币安数据显示为1.54亿元。这意味着资金在过去24小时撤出比特币市场不在少数,整体数字货币市场处于熊市,也较容易出现资金流出币值不稳定的状况。据华尔街日报文章指出,知情人士透露美国证券交易委员会(SEC)已经向一些涉及炙手可热的数字货币市场的科技公司和顾问发出了传唤和信息请求。目前市场上对于比特币价格走势的分析两极化明显。以“华尔街之狼”著称的Jordan Belfort在接受采访时表示,比特币价格将再次创造新高,可能达到50000美元,随后大跌。[2018/3/1]

CEX/DEX:首先将代币传递至兼容两种以上L2的交易所。但是只能进行资产转换,无法直接进行消息传递;

通用跨链桥:在传统的L1之间的跨链桥之上叠加L2网络。可进行资产转换,部分借助主网可进行消息传递;

L2跨链桥:以?OrbiterFinance?为代表,主要是在各类?Rollup?间进行跨链,可以视为特定领域的跨链桥模式。

EIP-5988?的统一预编译,是直接将各类L2的数据格式进行标准化,而非直接提供一种跨L2的资产互通模式,其仍然是以太坊主网的一种升级和扩展,不会损害以太坊主网的安全性。

借助以太坊主网而来的兼容性,并且会极大提升各类L2的互操作性,也更为符合以太坊未来模块化的升级方式。

波塞冬?Poseidon?神力有待检验

但是在优势之外,仍然需要注意到统一预编译的问题所在,主要集中在其使用的“Poseidon”哈希算法之上,这也是目前社区讨论的集中点。

本质上,EIP-5988?的工作流程是引入了一个新的预编译合约,实现了?Poseidon?加密哈希算法中使用的函数,可以实现?EVM?和?ZK/Validityrollups?之间的互操作性,以及为?EVM?引入更灵活的加密哈希原语。

哈希算法的主要作用是将各类传入的数值和非数值型数据转换为规格一致的编码,便于计算机识别和调用,而在密码学领域,最为人所熟知的是默克尔树证明,其本质是二叉树的哈希化表达变种,被广泛用于各类节点通信,比如钱包和交易所资产证明之中。

波塞冬算法并非是全新方案,至少?Vitalik?之前介绍过其主要作用,并且其具备和各类?ZK?算法的良好兼容性,这也是此次更新以波塞冬为题的主要原因。

Poseidon?哈希函数于?2019?年正式推出,与流行的"传统"哈希函数相比,其未经严格有效性和安全性测试。在以太坊网络和其他区块链网络中,已经有部分L2或其他应用使用,到目前为止,波塞冬算法未出现严重错误。

已经或计划使用波塞冬算法的区块链案例:

StarkWare计划使用?Poseidon?作为?StarkNet?的主要哈希函数,并承诺在?Cairo?语言中增加内置?Poseidon?函数功能。

Filecoin?采用?Poseidon?进行不同的默克尔树证明,并用于双值提交场景。

DuskNetwork?使用?Poseidon?为交易建立一个类似?Zcash?的隐私协议。

Sovrin?使用?Poseidon?进行基于?Merkle?树的撤销交易。

路印协议使用?Poseidon?在以太坊上进行隐私交易场景。

Polygon?将?Poseidon?用于?HermezZK-EVM?中。

Poseidon?算法的安全性并非出于设计上的缺陷,而是缺乏大规模实用化高价值场景的检验,如果此次最终被纳入以太坊主网之上,则将是其在整个以太坊,乃至加密生态上的最重磅应用。

结语

以太坊和?Layer2?扩容方案之间的纵向分层已成定局,但是各层之间的安全性和兼容性依然存在问题,因此各类L2都在“利用以太坊主网安全性,和增强自身对主网的兼容性上”进行广泛的尝试,但是在造就L2生态繁荣的基础上,也变相引发了L2分裂危机。

这种生态的破碎并不利于以太坊和?EVM?的长远发展,各类L1之间的竞争仍在进行,如何弥合各类生态碎片,也成为以太坊主网需要主动为之的必要举措,从主网出发进行改进,要求各类L2进行统一的格式转换,是其最新动向。

无论?EIP-5988?最终是否会生效,这种繁荣和碎片都会长期存在,也需要更多的改进提案来修补。

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

区块博客

[0:0ms0-5:59ms