本文介绍了使用 Wake 工具进行智能合约调试的各种技术，包括利用 Solidity 中的 console logging 库、手动引导 Fuzzing(MGF) 技术、使用 ipdb 进行交互式调试以及缩小失败序列，同时还提供了一些额外的技巧，如处理预期 revert、性能分析、Fuzzing 覆盖率和跨链测试，旨在帮助开发者更高效地定位和解决智能合约中的问题。

Ackee Blockchain Security 在 2025 年举办了两期 School of Solana 课程，这是一个由 Solana 基金会支持的免费开发者教育项目。

本文介绍了使用 Wake 框架测试 EIP-712 类型字符串的技巧，通过 encode_eip712_type 和 encode_eip712_data 方法，开发者可以精确地检查类型字符串和预签名数据，确保与 Solidity 合约中的哈希计算方式一致，从而避免因类型定义错误导致的签名验证问题，并提供了一些预防签名错误的技巧。

本文介绍了如何使用 Wake 框架对以太坊可升级合约进行测试。通过 Wake 的 Python 绑定，可以轻松地将代理合约地址包装在实现合约类中，从而直接调用实现函数，并使用与标准合约相同的工具来测试可升级合约。

本文介绍了如何在 Wake 测试框架中使用 Account 对象生成签名，包括原始消息签名（EIP-191）、结构化消息签名（EIP-712）和低级哈希签名，并提供了签名测试的hardening技巧以及一个简单的permit测试示例，从而可以在测试中验证签名逻辑而无需外部钱包。

Wake Arena 是一个用于发现Solidity智能合约漏洞的服务，它通过多代理AI分析和图驱动推理实现。在历史审计竞赛中，Wake Arena 发现了95个高危漏洞中的43个，超越了Zellic的自动化扫描器和普通GPT-5。Wake Arena在审计工作流程中发现了关键漏洞和独特发现，并帮助客户优化代码和降低安全成本。

本文介绍了如何使用Python进行差分模糊测试，以发现高精度计算和Solidity实现之间的差异。通过将Python的高精度计算结果与Solidity的计算结果进行比较，帮助开发者验证智能合约中交换函数的数学计算是否正确，以及合约是否能准确转移计算出的数量。同时强调了手动引导模糊测试（MGF）在发现细微bug中的作用。

本文介绍了如何使用 Wake 的 printer 系统自动化扫描智能合约中的风险模式。通过结合 Python 的简洁性和 Wake 的中间表示 (IR)，可以将复杂的静态分析转化为简单的脚本，从而快速定位潜在的安全漏洞。文章通过创建自定义 printer 的教程，展示了如何实现合约列表、函数分析以及添加命令行选项等功能，旨在提升智能合约审计的效率和准确性。

本文介绍了如何结合AI辅助（Vibe coding）和人工验证来高效地为Solidity智能合约编写fuzzing测试。强调了AI在生成重复性代码结构方面的优势，以及人工验证在确保测试逻辑正确性、数据准确性和覆盖率完整性方面的必要性。通过定义测试流程的四个阶段，并提供实际代码示例，展示了如何在保证安全性的前提下，利用AI加速智能合约的安全测试。

本文介绍了专为Solana开发者设计的VS Code插件，该插件通过实时静态分析和模糊覆盖可视化，将安全层直接引入编辑器。它能够即时反馈代码中的安全问题，无需额外工具或CI/CD延迟，从而帮助开发者在编码阶段尽早发现并修复潜在漏洞。