智能合约安全

本次审计主要关注Era Contracts仓库中，EVM模拟器对modexp预编译的支持、指针方式处理字节码的优化，以及系统合约中对EIP-4337半抽象nonce的实现。审计发现了包括字节位移错误和内部变量遮蔽导致的返回错误等严重问题，并提出了代码优化、文档完善和测试加强等建议。

第一课【权限漏洞及重入攻击】。

近年来，各个大型CTF（Capture The Flag，中文一般译作夺旗赛，在网络安全领域中指的是网络安全技术人员之间进行技术竞技的一种比赛形式）比赛中都有了区块链攻防的身影

2022年5月9日消息，Fortress Loans遭到黑客攻击。此次攻击事件损失了1048.1 ETH以及40万DAI。

Notional Finance在2022年1月7日报告了一个智能合约中的关键漏洞，该漏洞可能导致资产被重复计算。团队使用Certora Prover进行形式验证，但由于一个逻辑错误，导致编写的防止资产既是“位图”又是“活动”状态的不变性条件是空洞的。文章分析了错误和正确的形式化方法，并提出了改进措施，以防止未来出现类似情况，确保代码安全。

Move语言安全性分析及合约审计要点之回退攻击

通过在线网站反编译智能合约opcode的一种方法

Beanstalk Farms攻击原理及资金流向分析

监守自盗？Titano.Finance被黑事件分析

AscendEX黑客攻击事件资金流向分析

OpenZeppelin 对 Mantle Network 的 Mantle token 合约和桥合约进行了安全审计，发现了一些低风险问题和需要注意的点，包括误导性的注释、桥合约可以被重新初始化、以及一些代码上的优化空间。审计建议 Mantle 团队关注治理行为和资产转移，以确保系统的安全。