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

作者：MetaTrustLabs

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

Solana Labs与Android智能手机制造商OSOM达成合作:9月10日消息，SolanaLabs已宣布与Android智能手机制造商OSOM（Outof Sight、Outof Mind）达成合作，后者还宣布完成了一笔A轮融资，双方将共同开发即将推出新款智能手机Solana Saga。

OSOM创始人Jason Keats透露，该手机将使用高通骁龙8+Gen1芯片，支持Solana Mobile Stack Seed Vault，高安全性web3应用程序，以及使用Solana Mobile Stack SDK开发的Solana驱动的应用程序和其他NFT和DeFi用例。OSOM公司称将利用新资金招募软件工程师、驱动程序、系统架构和固件开发人员。[2022/9/10 13:21:29]

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

动态 | Zcash Blossom升级后单个区块奖励减半 出块耗时缩短:据Tokenview数据显示，大零币Zcash在今日完成名为Blossom的网络升级后，单个区块奖励已由之前的12.5个降为当前的6.25个，目前出块间隔时间由此前的150秒左右降低为75秒左右。[2019/12/12]

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

动态 | 区块链社交平台SOMA获得芬兰政府资助:据Bitsonline报道，芬兰研究经费公共资助机构Business Finland（芬兰商学院）近日与以太坊社交交易平台SOMA达成了一项5万欧元的融资协议。据悉，芬兰商学院已与经济部的一个部门已经开展了为期两个月的资助试验。[2018/8/30]

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

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

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

标签：SOMSolanaLANASOLSOM价格solana币官网下载appsolana币今日价格行情Solarys

比特币最新价格热门资讯