智能合约测试：Foundry 单元与集成、Fork 主网、模糊与不变量、Gas 与升级验证
系统讲解智能合约测试的工程化实践：Foundry forge test 与 Hardhat 的单元/集成测试、cheatcodes 与断言技巧、Fork 主网测试复现真实依赖、模糊测试（fuzzing）与不变量测试（invariant testing）、Gas 快照与回归门禁、重放攻击防护验证、以及代理升级模式下的存储布局兼容性检查。
tag
Foundry
共 8 篇文章。
EVM 追踪与调试
从 trace、debug 与 callTracer 三类追踪接口出发，系统讲解 EVM 调试方法：调用树构建与内部转账解析、状态差异与存储槽定位、eth_call 模拟执行与状态覆盖、失败交易的 revert 原因追溯、Gas 消耗的逐指令归因，以及工具链脚本与常见陷阱。
区块链与智能合约 CTF
面向 CTF 与自建链上靶场的智能合约安全入门：从 EVM 执行模型与存储槽布局讲起，拆解重入、整数溢出、Delegatecall 与权限缺陷、闪电贷组合攻击的成因，梳理合约反编译与字节码分析方法，并给出 Foundry 本地复现环境搭建与链上题目的解题套路与防御要点。
Yul 汇编与 Gas 优化：从 EVM 操作码到存储槽打包
从 EVM 操作码的 Gas 成本表出发，系统讲解 Yul 内联汇编与 Gas 优化的完整方法论：深入 EIP-2929 冷热访问与 EIP-3529 退款上限对 SLOAD 与 SSTORE 成本的重塑、存储槽打包与 slot 布局对部署和读写 Gas 的影响、calldata 与内存布局的读取成本差异，并给出内联汇编在自定义错误、位运算、循环展开、calldata 解码优化上的真实代码。文章包含优化前后 Gas 对比表格、Foundry gas snapshot 测试、Yul 独立合约写法，以及 free memory pointer、slot 冲突、内存模型被破坏等安全边界与踩坑清单。
Foundry 合约测试实战：forge test、模糊测试与不变式测试
系统讲解 Foundry 合约测试体系：forge test 断言、作弊码、模糊测试、分叉测试与不变式测试，并覆盖覆盖率、gas 快照与 CI 集成实践。
Foundry 测试与模拟：Forge、作弊码与模糊测试实战
Foundry 是当前最强大的 Solidity 测试框架：用 Solidity 本身写测试、内置作弊码模拟任意链上状态、支持 fork 主网与模糊测试。覆盖 Forge 测试基础（断言/事件/预期 revert）、vm.prank/vm.deal/vm.warp 等作弊码全解、主网分叉测试、模糊测试（fuzz）与不变式测试、Gas 报告与单测优化、CI 集成与覆盖率。
Hardhat 与 Foundry 开发工具链
Solidity 专业开发环境对比：Hardhat（JavaScript 任务流）与 Foundry（Rust 原生测试）。覆盖本地网络、分叉测试、Gas 快照、部署脚本、CI/CD 集成与完整实战示例。
智能合约开发实战：Solidity 核心特性与安全编码
从 Solidity 语言核心特性到 Hardhat/Foundry 开发工具链，覆盖重入攻击、溢出、访问控制等常见漏洞及其防御策略，以及智能合约安全审计流程。