Solidity Optimizer and ABIEncoderV2 Bug

通过以太坊漏洞赏金计划，我们收到了关于新的实验性ABI编码器(名为ABIEncoderV2)中的一个缺陷报告。经研究，我们发现该组件存在一些相同类型的不同变化。本公告的第一部分详细解释了这个错误。新的ABI编码器仍然标记为实验性的，但我们认为这值得强调，因为它已经在主网上使用。

此外，优化器中的两个低影响bug在过去两周内已经被确定，其中一个bug已经在Solidityv0.5.6修复。两者都是在0.5.5版本中引入的。详情请参阅本公告的第二部分。

在0.5.7版本中，本文中提到的所有bug与漏洞都已经被修复。

这里提到的所有bug都应该在涉及相关代码路径的测试中很容易看到，至少在使用0和非0值的所有组合运行时是这样。

感谢Melonport团队(TravisJacobs和JennaZenk)和MelonCouncil(NickMunoz-McDonald,MartinLundfall,MattdiFerrante和AdamKolar)，他们通过以太坊漏洞赏金计划报告了这些!

Solana期权协议Cega将在以太坊主网启动:金色财经报道，Solana期权协议Cega将在以太坊主网启动。该协议将提供杠杆期权金库(LOV)策略，预计将在第二季度推出，该策略将在Solana区块链上已经可用的产品之上提供。LOV是一种期权结构性产品，Cega Finance联合创始人Arisa Toyosaki表示，它将解决DeFi中的资本效率低下问题，因为它“不需要通过赎回用户资助的保证金或超额抵押来获得额外的流动性”。[2023/4/1 13:38:40]

谁应该关注

如果您已经部署了使用实验性ABIencoderV2的合约，那么这些合约可能会受到影响。换言之，只有在源代码中使用以下指令的合约才会受到影响:

pragmaexperimentalABIEncoderV2;

此外，还有许多需要触发的bug。有关更多信息，请参阅下面的技术详细信息。

Discord宣布Linked Roles功能已支持Solana:12月13日消息，Discord宣布Linked Roles功能支持Solana区块链，目前已实现Solana链上钱包集成，这意味着用户可以通过区块链验证身份并解锁更多角色功能，集成也将会使用钱包元数据，比如Token持有量、交易量、以及钱包使用年限等，Discord版主可以使用这些指标来分配服务器（server）内的用户角色。（inferse）[2022/12/13 21:42:09]

据我们所知，主网上有大约2500个合同使用实验ABIEncoderV2。尚不清楚其中有多少存在该bug。

如何检查合约是否受影响

只有当满足以下所有条件时，该bug才会出现:

涉及到数组或结构的存储数据直接发送到外部函数调用，发送到abi.encode或发送到eventdata，而无需事先分配给本地变量AND

Coinbase：SOLANA网络中断:6月2日消息，加密货币交易所Coinbase：SOLANA网络中断。（金十）[2022/6/2 3:57:07]

数组包含大小小于32字节的元素，或者一个结构具有共享存储槽的元素或类型bytesNN小于32字节的成员。

除此之外，在以下情况下，您的代码不受影响：

如果所有结构或数组仅使用uint256或int256类型

如果您只使用整数类型并且一次只编码一个数组

如果您只返回此类数据但不使用abi.encode，在外部调用或事件数据中。

如果您的合约符合这些条件，并且想要验证合约是否确实存在漏洞，您可以通过与我们联系。

如何防止

为了保守起见，实验性ABI编码器只有在明确启用时才可用，允许人们与它进行交互并测试它，而不会在它被认为稳定之前对它过分信任。

Andre Cronje新项目Solidly总锁仓量达到285万美元:2月15日消息，据Defi Llama数据显示，Andre Cronje新项目Solidly总锁仓量目前达到285万美元，在部署过Fantom链的Defi项目中排名52位。此前报道，Solidly是DEX类项目，官方表示该合约暂时仍在测试阶段，资金损失风险高，且目前没有Token发行，参与Solidly暂无任何收益。[2022/2/15 9:53:37]

我们尽最大努力确保高质量，并且最近开始研究OSS-Fuzz上某些部分的“语义”模糊测试。

对于开发人员-使用漏洞检测器等工具很难检测Solidity编译器中的，因为对源代码或抽象语法树表示进行操作的工具不会检测仅引入编译字节码的缺陷。

防止这些缺陷的最佳方法是为您的合约进行一系列严格的端到端测试，因为编译器中的错误很可能不是“静默”而是表现为无效数据。

SOSOLX International 获GED五百万美元战略投资:SOSOLX International (韩国总部)近日获得韩国知名物联网企业 GED co.ltd五百万美元战略投资。同时，韩国GED CEO DAVID KANG表示：“未来我们将与SOSOLX就国际融资、市场、技术、社区等多方面展开多方合作，共同推进SOSOLX在全球业务发展，致力于将SOSOLX打造成全球区块链金融服务终端。” 目前，SOSOLX已在中国、印尼等地区设立分部开展市场，服务本地用户。[2020/4/18]

危害

当然，根据程序控制流程，任何bug都会产生各种各样的后果，但我们预计这更容易导致故障而不是可利用性。

当bug被触发时，在某些情况下会将方法调用上的错误参数发送到其他合约。

时间线

2019年3月16日：

通过漏洞赏金计划进行报告，关于直接从存储到ABI编码器的布尔数组中读取时所导致的损坏。

2019年03月16日至2019年03月21日：

调查根本原因，分析受影响的合约。在主网上部署了大量使用实验性编码器编译的合约，其中许多合约没有经过一致性校验的源代码。

对bug的调查发现了更多触发bug的方法，例如使用结构。此外，在同一程序中还发现了一个数组溢出错误。

检查了在Github上发现的一些合约，没有发现任何合约受到影响。

对ABI编码器进行了错误修正。

2019年03月20日：

决定公开信息。

推理：检测所有易受攻击的合同并及时与所有作者联系是不可行的，最好防止主网上的不安全合约进一步扩散。

2019年3月26日：

新的编译器版本，版本0.5.7。

这篇文章发布了。

技术细节

背景

合约ABI是一种规范如何与来自外部的合约或合约之间的交互来交换数据的规范。它支持各种类型的数据，包括数字，字节和字符串等简单值，以及更复杂的数据类型，包括数组和结构。

当合同收到输入数据时，它必须解码，并且在返回数据或将数据发送到另一个合同之前，它必须对其进行编码。Solidity编译器为合约中的每个已定义函数生成这两段代码。在Solidity编译器中，生成编码器和解码器的子系统称为“ABI编码器”。

2017年中旬，Solidity团队开始研究名为“ABI编码器V2”的全新实现，目标是提供更灵活，安全，高性能和可审计的代码生成器。这个实验性代码生成器在明确启用后，自2017年底开始向用户提供0.4.19版本。

缺陷

实验性ABI编码器不能正确处理短于32个字节的非整数值。这适用于bytesNN类型，bool，enum和其它类型的，当它们是数组或结构的一部分并直接从存储中编码时。这意味着这些存储引用必须直接在内部使用abi.encode(...)，作为外部函数调用或事件数据中的参数，而无需事先分配给局部变量。使用return不会触发错误。类型bytesNN和bool将导致数据损坏，但enum可能导致无效revert。

此外，即使基础类型是整数类型，也可能无法正确处理元素短于32字节的数组。如果编码的元素数量不是适合单个存储槽的元素数量的倍数，那么按照上面描述的方式编码这样的数组会导致编码中的其他数据被覆盖。如果编码中的数组后面没有任何内容，或者如果只编码单个数组，则不会覆盖其他数据。

两个无关的bug

与上面解释的ABI编码器问题无关，在优化器中发现了两个错误。两者都引入了0.5.5。除非使用内联汇编，否则它们不太可能出现在编译器生成的代码中。

通过最近为OSS-Fuzz添加Solidity来识别这两个错误-这是一个用于查找各种项目中的差异或问题的安全工具包。对于Solidity，我们已经包含了多个不同的模糊测试器，用于测试编译器的不同方面。

优化器将操作码序列转换((x<<a)<<b))转换为(x<<(ab))时不会正确处理加法中的溢出。

如果将常量31用作第二个参数，则优化器会错误地处理byte操作码。在对bytesNN编译时常量值为31的类型执行索引访问或在内联汇编中使用字节操作码时，可能会发生这种情况。

这篇文章由@axic，@chriseth，@holiman联合撰写

标签：SOLLIDSOLIDOLASolar EnergyLido DAO TokenSolidblockOLA价格

DOGE热门资讯