EVM 追踪与调试
从 trace、debug 与 callTracer 三类追踪接口出发,系统讲解 EVM 调试方法:调用树构建与内部转账解析、状态差异与存储槽定位、eth_call 模拟执行与状态覆盖、失败交易的 revert 原因追溯、Gas 消耗的逐指令归因,以及工具链脚本与常见陷阱。
tag
从 trace、debug 与 callTracer 三类追踪接口出发,系统讲解 EVM 调试方法:调用树构建与内部转账解析、状态差异与存储槽定位、eth_call 模拟执行与状态覆盖、失败交易的 revert 原因追溯、Gas 消耗的逐指令归因,以及工具链脚本与常见陷阱。
面向 CTF 与自建链上靶场的智能合约安全入门:从 EVM 执行模型与存储槽布局讲起,拆解重入、整数溢出、Delegatecall 与权限缺陷、闪电贷组合攻击的成因,梳理合约反编译与字节码分析方法,并给出 Foundry 本地复现环境搭建与链上题目的解题套路与防御要点。
从 EVM 栈机与操作码出发,系统讲解 Yul 语法、memory/storage/calldata 访问、memory-safe 汇编的安全边界、ABI 编解码手写优化、常见 gas 热点改写案例,以及汇编代码的调试与审计要点。
从 EVM 操作码的 Gas 成本表出发,系统讲解 Yul 内联汇编与 Gas 优化的完整方法论:深入 EIP-2929 冷热访问与 EIP-3529 退款上限对 SLOAD 与 SSTORE 成本的重塑、存储槽打包与 slot 布局对部署和读写 Gas 的影响、calldata 与内存布局的读取成本差异,并给出内联汇编在自定义错误、位运算、循环展开、calldata 解码优化上的真实代码。文章包含优化前后 Gas 对比表格、Foundry gas snapshot 测试、Yul 独立合约写法,以及 free memory pointer、slot 冲突、内存模型被破坏等安全边界与踩坑清单。
以太坊底层执行模型深度解析:EOA/合约双账户模型、世界状态与 Patricia Trie、Gas 定价机制与 EIP-1559、EVM 调用栈与 ABI 编码、storage/memory/calldata 三种数据位置、precompile 预编译合约。附 Opcode 语义与 gas 成本表。
深入理解以太坊的 EVM 架构、Gas 计费模型、账户体系(EOA/Contract)、世界状态存储(MPT)及伦敦升级后的 EIP-1559 手续费机制。