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

作者:MetaTrustLabs

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

去中心化交易所Soma.Finance已提交加密货币及NFT相关商标申请:6月1日消息,据美国律师Mike Kondoudis的推文,去中心化交易所Soma.Finance已为其名称和Logo提交加密货币及NFT相关商标申请,范围涵盖NFT+加密收藏品、代币化和基于区块链的资产、交易加密货币/加密资产/NFT/数字代币。[2022/6/1 3:55:46]

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

Sommelier与MystenLabs与合作以推出Cosmos智能合约:金色财经报道,以太坊虚拟机(EVM)的协同处理协议Sommelier今天宣布与Web3.0基础设施平台MystenLabs建立研发合作伙伴关系,以提高流动性交易速度并在Cosmos区块链上启动智能合约应用。[2021/9/22 16:56:35]

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

动态 | 新的勒索软件DeathRansom要求0.1 BTC赎金 称可永久加密文件:一种新的比特币勒索恶意软件DeathRansom可对文件进行永久加密,到目前为止,还没有关于这个恶意软件是如何传播的信息,但在11月20日最初的高峰过后,受害者人数继续增长。 BleepingComputer发布的一份赎金通知称,受害者必须在12小时内向勒索者发送0.1 BTC以解密其文件。如果最后期限内未支付,受害者的解密密码将被删除。该恶意软件甚至还附带有一个关于如何购买比特币的小说明,链接到点对点加密货币交易所LocalBitcoins。[2019/11/27]

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

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

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

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

金宝趣谈

[0:15ms0-4:634ms