安全测试

本文介绍了如何使用Paradigm的CTF框架创建以太坊智能合约的CTF挑战。文章详细讲解了从智能合约的漏洞设计、框架的设置、Docker环境的搭建到进行远程测试的每个步骤，适合想要了解区块链CTF的开发者与安全研究人员。

Rekt Test 是由 Web3 安全专家创建的，旨在帮助区块链开发者客观评估其安全状况和衡量进展的简单测试，该测试通过12个问题，涵盖了角色权限文档、外部依赖文档、事件响应计划、攻击方式记录、身份验证、安全负责人、硬件密钥、密钥管理、不变量测试、自动化工具、外部审计与漏洞披露、用户滥用防范等方面。旨在促进区块链社区对安全问题的有意义的讨论。

本文介绍了差分模糊测试（Differential Fuzzing）的概念、使用场景和结构。差分模糊测试通过生成大量随机输入，比较同一算法的不同实现，以发现逻辑错误。文章还提供了一个使用Rust的libfuzzer工具的差分模糊测试示例，并讨论了如何处理不同实现间输入输出格式的差异，以确保测试的有效性。

AI 系统已深入业务关键工作流程，传统安全测试难以跟上。文章讨论了将 AI 纳入威胁模型的重要性，强调了 AI 系统风险评估、红队测试的必要性，并介绍了 AI 红队测试的具体内容，例如：评估 AI 系统如何处理输入、管理权限、维持状态以及信任输出。文章还提到了 AI 红队测试的频率、成本和自动化程度，旨在帮助组织更好地理解和管理 AI 风险。

Cygent 的 BattleMode 通过对抗性模拟测试智能合约，在沙盒环境中部署合约并由 AI 代理尝试编写漏洞利用代码来窃取资金，以验证漏洞是否可被利用，而不仅仅是静态分析标记。文章指出静态分析工具召回率合理但精度低，产生大量误报；BattleMode 提供运行时验证，帮助团队优先修复真正可利用的问题。它还包含重测阶段以确认修复有效，并与 Cygent 的审计管道集成形成闭环。文章强调检测不等于可利用，BattleMode 旨在弥合这一差距。

本文介绍了 Foundry 的一个非常有用的 Cheatcode：vm.prank，它允许开发者在测试中模拟任何地址作为 `msg.sender`，从而方便地测试访问控制和各种边界情况。

本文介绍了使用Wake的Manually Guided Fuzzing (MGF)技术来发现智能合约中的抢跑漏洞。通过分析合约逻辑、使用Python进行测试以及简化测试流程，MGF能够有效地揭示潜在的安全问题，文章通过两个具体的案例，展示了如何利用MGF发现盐值碰撞和ERC-721通证铸造中的抢跑漏洞，并强调了在测试中考虑各种边缘情况的重要性。