Cointime

扫码下载App
iOS & Android

用系统性的方法解决EVM的bug

VC

原文链接:Systematic Approach to Maintaining EVM Compatibility and Security 

本文来自:BlockSec  编译:CoinTime Candice

EVM(以太坊虚拟机)兼容区块链旨在与以太坊区块链的智能合约功能、编程语言(Solidity)和工具生态系统兼容。在这个过程中,实现符合EVM的虚拟机是关键步骤之一。然而,在研究过程中,我们发现,在不同的实现中保持对EVM的兼容性并不容易。

为了解决这个问题,BlockSec开发了一个内部系统,可以系统地定位EVM实现中的错误和安全漏洞。这个系统被证明是有效的。它报告了Aurora Engine中的四个错误和Moonbeam中的四个错误的定位。所有这些都已报告并修复。请注意,该测试方法还用于定位去年Solana rbpf实施中的两个关键错误(CVE-2021-46102、CVE-2022-23066)。

1. 背景

如今,人们提出了许多不同的区块链,并在低gas费用、高吞吐量和高性能方面进行了优化。在这种情况下,新的虚拟机或开发语言被提出,这增加了原始实体开发者的转型门槛。在这种情况下,提出了许多与EVM兼容的解决方案,允许用户将他们在solidity中开发的DApp部署在这些新的链上。Aurora和Moonbeam是这些EVM兼容解决方案的代表。然而,这些EVM实现的稳健性、可靠性和精确性是未知的,值得我们关注。为此,我们使用差分模糊技术,并检查实现中是否存在任何缺陷。

2. 差分模糊测试

其基本思想是向这些EVM实现(例如Aurora、Moonbeam)和最先进的以太坊客户端(即geth)提供相同的输入,以检查它们是否具有相同的输出。具体来说,我们收集以太坊上的历史交易,并使用不同的策略改变合约代码和交易状态,以生成测试用例。我们的发现表明,Aurora Engine和Moonbeam在某些情况下不符合规范。幸运的是,所有报告的问题都得到了解决,现在我们将分享细节。

3. 发现错误

这些错误大多存在于预编译的合约中,其根本原因和影响是多方面的。例如,一些错误可能会影响nonce值的计算,而另一些可能影响gas的计算,并可能进一步导致DoS攻击。所有发现的错误都违反了EVM规范的指定执行逻辑,并可能在特定情况下导致意外行为。请看下面对所发现的错误的详细描述。

3.1 验证不当

加密逻辑是复杂的。在这种情况下,在EVM字节码中实现相应的逻辑可以产生相当大的gas用量。相反,在本机代码中开发的预编译合约可以提高性能。然而,由于验证不当,我们在预编译的合约中发现了几个错误。

Aurora Engine:ecPairing

这个错误是在预编译的合约ecPairing中发现的。

ecPairing的输入由两条椭圆曲线上的多个点组成。根据规范,点(0,0)位于两条曲线上,应为有效输入:

但是,如果输入中包含点(0,0),Aurora Engine(2.7.0版)将恢复。

Moonbeam: ecMul

这个错误出现在预先编译的合约ecMul中。与Aurora Engine不同,Moonbeam在输入有效时还原交易。根据规范,当输入的长度小于64时,预编译的合约ecMul应该用零填充输入。但是,Moonbeam会还原,而不是进行填充操作。

我们还发现,预编译的合约ecAddmodexp有同样的问题。

Moonbeam: ecRecover

这个错误出现在预编译的合约ecRecover中,该合约用于恢复以太坊地址。

根据规范,输入[32..63]v表示U256标识符,它应该是27或28,否则ecRecover不应返回任何内容(但不应该还原整个交易)。

然而,Moonbeam在这里犯了两个错误:

  • 它只检查输入[63],而不是将输入[32..63]转换为U256类型,然后检查值。
  • 当标识符为0或1时,输入被视为有效(应仅为27或28)。

Moonbeam: ecPairing

这个错误出现在预编译的合约ecPairing中。当输入无效时,Moonbeam不会恢复交易。根据规范,预编译的合约ecPairing的输入应该是192的倍数。否则,交易应该被退回。

然而,当上述要求不符合时,Moonbeam不会恢复交易。

3.2 Gas计算不正确

每个预编译合约都有一个算法来确定gas的使用量。不正确的gas计算可能会导致DoS攻击。

然而,我们在Aurora Engine和Moonbeam中都发现了两个错误,即gas计算不正确。

Aurora Engine: modexp

这个错误出现在预编译的合约modexp中。计算gas使用量的算法由EIP-2565定义。Gas使用量与迭代次数有关。

计算迭代次数的算法如下。

根据上述算法,迭代次数至少是1。然而,Aurora Engine直接返回iteration_count,而不是max(iteration_coount,1)。在这种情况下,返回的值(即iteration_count)可以是0,这意味着在特定情况下,Aurora将收取比预期更少的gas费用。

Moonbeam: modexp

这个错误也出现在预编译的合约modexp的函数calculate_iteration_count中。但它是在Moonbeam中发现的。

exponent_length大于32时,iteration_count的计算方法如下。

请注意,它使用了exponent&(2**256-1),这需要exponent的最低32个字节,Moonbeam的实现也遵循了这种算法。

然而,根据规范,gas计算公式应使用最高32字节的exponent

3.3 Nonce增量错误

一个外部拥有的账户(EOA)的nonce表示这个地址所签署的成功交易的数量。然而,我们注意到,可以通过在Aurora Engine上发送无效交易来增加nonce。

根据EIP-1559,在执行交易之前,EVM应该确保签署者有足够的余额来支付转移的本地代币(如ETH)和所需的gas。否则,该交易应被放弃,签署者的nonce也不应增加。

虽然Aurora Engine在这种情况下会放弃交易,但它仍然会增加签署者的nonce。

3.4 操作码实现不正确

这个错误是关于特定操作码(即PUSH)的实现。当PUSH操作码后面的字节不完整时,它们应该是右对齐的。例如,字节码0x64ffff可以被解码为:

由于操作数应该是右对齐的,值0xffff000000应该被推入堆栈。然而,Aurora Engine和Moonbeam中的EVM实现却推送了0xffff,这是不正确的。

4. 我们的服务

在BlockSec,我们了解在不同的区块链实施中保持EVM兼容性和安全性的重要性。这就是为什么我们开发了一种系统的错误检测方法,可以轻松定位EVM实现中的漏洞。

我们的内部系统已被证明在定位EVM实现中的漏洞和安全漏洞方面非常有效。它已经成功报告并修复了Aurora Engine中的四个错误和Moonbeam中的四个错误。此外,我们的测试方法用于定位去年Solana rbpf实施中的两个关键漏洞(CVE-2021-46102、CVE-2022-23066),突出了我们方法的有效性。

通过实施我们的系统性漏洞检测方法,我们的客户可以确信他们的EVM实施是安全和可靠的。我们致力于为EVM的兼容性和安全性提供一流的解决方案,帮助我们的客户与他们的用户和利益相关者建立信任。

关于BlockSec

BlockSec团队专注于区块链生态系统的安全,并与领先的DeFi项目合作以确保其产品的安全。该团队由来自学术界和工业界的顶尖安全研究人员和经验丰富的专家组成。他们在著名会议上发表了多篇区块链安全论文,报告了几起DeFi应用程序的零日攻击,并发布了高影响安全事件的详细分析报告。

*本文由CoinTime整理编译,转载请注明来源。

评论

所有评论

推荐阅读

  • IPO在即,灰度创始人Barry Silbert回归出任董事会主席

    Grayscale Investments 在提交保密 IPO 申请后,宣布四项高管任命并迎回创始人 Barry Silbert 担任董事会主席。新任命的高管包括:首席运营官 Diana Zhang、首席营销官拉蒙娜·波士顿 Ramona Boston、首席传讯官 Andrea Williams、首席人力资源官 Maxwell Rosenthal。四位高管都将向灰度首席执行官 Peter Mintzberg 汇报,他们均来自传统金融巨头,包括桥水基金、阿波罗全球管理、高盛和城堡投资。 Barry Silbert 于 2013 年创立灰度,于 2023 年底辞去灰度董事长一职,此次将接替 Mark Shifke 担任董事会主席,Shifke 将继续留任董事会,目前董事会成员已增至五人。公司表示正在考虑增加独立董事。 Barry Silbert 表示:「我很荣幸能够在公司乃至更广泛的数字资产生态系统的关键时刻重新加入灰度董事会。我始终坚信公司的长期定位以及引领公司前进的领导团队。」

  • SharpLink Gaming增持18,680枚以太坊,总持有498,884枚

    据链上分析师 Onchain Lens 监测,SharpLink Gaming(股票代码:SBET)今日再次增持18,680枚以太坊,价值约6,663万美元。此次增持后,该公司以太坊储备总量达到498,884枚,总价值约18亿美元。

  • Bullish向美国证交会提交IPO申请,拟募资6.29亿美元

    数字资产交易所Bullish及其子公司CoinDesk已向美国证券交易委员会(SEC)提交首次公开募股(IPO)申请。根据申请文件,Bullish计划发行2030万股,发行价区间为28-31美元/股,最高募资金额为6.29亿美元,对应公司估值约42亿美元。 Bullish业务范围包括数字资产现货交易、杠杆交易和衍生品交易,同时为稳定币发行机构提供流动性服务。财务数据显示,该公司2025年第一季度数字资产销售额达8020万美元,净亏损3.49亿美元。Bullish曾于2023年以7260万美元收购加密货币媒体平台CoinDesk。

  • 欧盟将对美国的贸易反制措施暂停6个月

    市场消息:欧盟将对美国的贸易反制措施暂停6个月

  • 去中心化操作系统 OpenMind 完成 2000 万美元融资,Pantera Capital 领投

    智能机器去中心化操作系统 OpenMind 宣布完成 2000 万美元融资,Pantera Capital 领投,Coinbase Ventures、Digital Currency Group 和 Ribbit 等参投。 据悉,这家初创公司正在开发一款名为 FABRIC 的“硬件无关”操作系统,旨在支持“智能机器融入日常生活”。该协议为支持人工智能的机器人提供了一种通信和协调的方式。

  • 加强个人境外收入监管 境外买卖股票收入也要缴税

    《金融时报》刊文,据了解,近期有纳税人收到了税务部门通知,告知其需要依法办理境外所得申报并缴纳相应税款。“根据我国个人所得税法,个人股票交易所得属于财产转让所得,应当适用20%的税率按次征收。其中,个人在境内二级市场的股票交易所得暂免征收个人所得税;在境外直接进行股票交易所得没有免税规定,需要在取得所得的次年申报纳税。”吉林财经大学税务学院院长张巍解释说。为了更加合理的征收,我国税务部门在征管时,允许纳税人按照纳税年度盈亏相抵,但不允许跨年互抵。依法纳税是每个公民应尽的义务。个人未申报或者未如实申报境外所得,除了会被税务机关要求补缴税款外,还会被加收滞纳金,情形严重的还可能被稽查部门立案检查,将面临税务处罚。纳税人如果发现自己此前申报个税时,存在少报、漏报境外所得的,要及时补正。

  • 美国SEC文件显示特斯拉批准向马斯克授予9600万股股票奖励

    美国SEC文件显示:特斯拉(TSLA.O)批准向马斯克授予9600万股股票奖励,马斯克将按每股23.34美元的价格购买已获授股票。

  • Binance Alpha:持有至少 200 币安 Alpha 积分的用户可申领 1000 个 DARK 代币空投

    据官方公告,Binance Alpha 是首个上线 DarkStar(DARK)的平台,Alpha 交易将于 2025 年 8 月 4 日 20:00(UTC+8)开始。 交易开始后,持有至少 200 个币安 Alpha 积分的用户可申领 1000 个 DARK 代币空投。先到先得。若活动未结束,则分数门槛将每小时自动降低 15 分。 请注意,申领空投将消耗 15 个币安 Alpha 积分。用户需在 Alpha 活动页面于 24 小时内确认申领,否则视为放弃领取空投。

  • 香港《稳定币条例》正式生效:储备资产须全额覆盖流通面值

    8月1日,香港《稳定币条例》正式生效,建立起稳定币发行人牌照制度,完善香港对虚拟资产活动的监管框架。大湾区国际资讯科技协会会长杨德斌表示,如今国际上稳定币的发展已经达到一定规模。香港在这个时点推出《稳定币条例》,是在监管方面与时俱进的体现。与国际标准接轨,中国香港在制定稳定币相关规定时也力求与全球其他国家和地区的标准接轨。根据香港《稳定币条例》,持牌人必须确保其发行的指定稳定币的储备资产的市值,始终不低于该类稳定币尚未赎回且流通中的面值。持牌人应考虑储备资产的风险状况,确保有适当的超额抵押以覆盖市场风险。

  • 分析师:降息预期升温与SEC新政共振,市场情绪回暖

    Kronos Research 首席投资官 Vincent Liu 表示,在宏观不确定性与机构买盘交织下,当前市场呈现「谨慎乐观」情绪。恐惧与贪婪指数趋向「贪婪」,鲸鱼买入与降息预期正推动交易员重新配置风险资产。 投资者正关注将于 8 月 12 日公布的美国 7 月 CPI 数据,作为下一轮加息或降息决策的关键指标。尽管美联储在 7 月 FOMC 会议上维持利率不变,鲍威尔表示 9 月降息仍取决于经济数据,但 CME 美联储观察数据显示,市场预期有逾 80% 概率将下调 0.25 个百分点。 此外,Liu 认为美国 SEC 启动的「Project Crypto」或将在中长期利好市场。该项目将通过明确代币分类与引入 DeFi 创新豁免机制,降低监管不确定性、推动 DeFi 增长,并增强市场信心。