SOM:SoMo:识别以太坊智能合约中不安全函数修饰符的创新工具

作者:MetaTrustLabs

Web3安全服务提供商MetaTrustLabs最近完成的一项研究发现了以太坊智能合约中自定义函数修饰符存在的重大安全风险。在题为“Beyond'Protected'and'Private':AnEmpiricalSecurityAnalysisofCustomFunctionModifiersinSmartContracts”的ISSTA'23论文中,研究团队检查了超过62,000个智能合约,发现有411个包含可以绕过修饰符的易受攻击合约。为了解决这些问题,MetaTrust已将新开发的工具SoMo集成到其知名的智能合约安全扫描服务MetaScan中。

前CFTC专员Jill Sommers加入FTX US Derivatives董事会:9月1日消息,前 CFTC(商品期货交易委员会)专员 Jill Sommers 加入 FTX US Derivatives(“公司”)董事会,该公司是 FTX 旗下受 CFTC 监管的数字资产期货和期权交易所。Sommers 此前连续两届担任商品期货交易委员会委员。除了担任 CFTC 专员之外,Sommers 女士在其整个职业生涯中还在衍生品行业担任过多种职务,包括担任国际掉期和衍生品协会 (ISDA) 的政策总监和政府事务负责人以及芝加哥商品交易所的监管事务。[2022/9/2 13:03:19]

这项研究的主要目的是识别不安全的修饰符,即“可绕过修饰符”,这些修饰符可以在一个或多个未受保护的智能合约函数中绕过。例如,以下“onlyOwner”修饰符可以通过调用公共函数Mining24()来绕过。因此,攻击者可以利用受onlyOwner修饰符保护的敏感函数。

Azuki空投项目Something Official成交额达3460ETH:金色财经消息,根据NFTScan的数据显示,Azuki空投项目Something Official最近24小时成交额3460ETH,成交笔数1048笔,平均成交价格是3.31ETH。在NFT Collections中排名第2位。[2022/3/31 14:29:58]

为了识别这些漏洞,研究人员开发了一种新的工具SoMo,它构建修饰符依赖图以涵盖所有与修饰符相关的控制/数据流,在MDG上生成符号路径约束,并迭代测试每个候选入口函数。结果表明,SoMo在分析大型数据集中的62464个合约时的精度达91.2%。

基于以太坊的VR平台Somnium Space迁移至Matic:金色财经报道,基于以太坊的虚拟现实(VR)平台Somnium Space已经从可伸缩性解决方案Loon Network转移到Matic。Somnium Space表示,希望这种转变能够实现可扩展性,并提供更好的用户体验。[2020/3/24]

这项研究还揭示了修饰符在现实场景中的主要用途,包括访问控制、与金融相关的、合约状态和杂项检查,如下表所示。这些发现表明,开发人员常常利用修饰符进行安全敏感操作,但它们可能未得到很好的保护。

总体而言,要确保区块链技术安全可靠,还有许多工作要做。通过使用更好的编程技术和测试工具,我们可以帮助防止对智能合约的攻击,并保护我们的数字交易安全。随着更多企业和组织采用区块链技术进行各种应用,确保智能合约安全可靠至关重要。这项研究是实现这一目标的重要一步。

尽管区块链技术有望彻底改变许多行业,但安全性应该始终是最优先考虑的因素。通过使用像MetaScan这样的工具和遵循安全编程的最佳实践,我们可以帮助确保区块链上我们的数字交易安全。

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

地球链

[0:0ms0-0:760ms