智能合约工程化完全指南
一条完整覆盖智能合约生命周期的学习路径：先搭好 Hardhat 与 Foundry 开发环境、写好 Solidity 与标准 ERC-20 合约，再建立单元 / 模糊 / 分叉测试体系并部署到测试网， 然后进入安全深水区——重入、闪电贷与预言机操纵等高频漏洞攻防，以及专业审计流程， 最后掌握主网上线的 Gas 优化、多签治理、可升级合约与持续监控。
工程路线图
按照真实团队交付智能合约的顺序组织：编写 → 测试 → 部署 → 审计 → 主网运维
第一阶段 · 编写
搭好 Hardhat / Foundry 环境，掌握 Solidity 语法骨架，基于 OpenZeppelin 写出标准 ERC-20
第二阶段 · 测试与部署
单元 / 模糊 / 分叉测试体系，部署 Sepolia 测试网并完成 Etherscan 源码验证
第三阶段 · 安全与审计
重入、预言机操纵等高频漏洞攻防，掌握 Slither、审计流程与报告解读
第四阶段 · 主网上线
Gas 优化、多签与 Timelock 治理、可升级合约的原理、信任假设与持续监控
全部章节
按编号顺序学习，左侧导航可随时跳转任意章节
开发环境搭建：Hardhat、Foundry 与编辑器配置
从零搭好一套专业的智能合约开发环境：先建立「编写 → 编译 → 测试 → 本地部署 → 测试网部署 → 审计」的完整路线图，再一步步安装 Node.js、初始化 Hardhat 项目、安装 Foundry 工具链、配置 VS Code 的 Solidity 插件与编译器版本，讲清 artifacts / cache / contracts / test / scripts 目录各自存放什么，最后用 .env 与环境变量管理 RPC 与私钥，从第一天就养成「私钥绝不硬编码进代码」的安全习惯，并跑通第一次 hardhat compile。
Solidity 语法基础：合约结构、数据类型与权限控制
系统讲透 Solidity 写智能合约必备的语法骨架：pragma 版本声明的含义与 ^ / ~ 范围规则；状态变量、局部变量、构造函数、常量与 immutable 的区别；值类型（uint 系列、address、bool、定长 bytes、枚举）与引用类型（数组、struct、mapping）及 memory / storage / calldata 三种数据位置；public / external / internal / private 四种可见性与 view / pure 修饰；modifier 修饰器与 onlyOwner 权限模式；event 事件与 indexed 参数；合约收 ETH 的 receive / fallback 与 call 转账；最后是 interface、library 与继承 is，学完即可读懂绝大多数合约源码。
实战编写 ERC-20：基于 OpenZeppelin 发一个代币合约
亲手完成一个可部署的 ERC-20 代币合约：拆解 EIP-20 标准规定的 6 个必选函数（totalSupply / balanceOf / transfer / allowance / approve / transferFrom）与 Transfer、Approval 两个事件；安装并理解 OpenZeppelin Contracts 库为什么是行业标配；写出继承 ERC20 的 MyToken，用构造函数设置名称符号并初始 mint；讲透 _mint / _burn / approve / allowance / transferFrom 的授权扣款链路；分析加「转账征税」等自定义逻辑时最容易引入的漏洞；编译后检查 artifacts 中的 ABI 与字节码；再扩展到 ERC20Burnable、Pausable、ERC20Permit、ERC20Votes 与 ERC-721/1155 的区别。
合约测试：单元测试、模糊测试与主网分叉测试
建立专业的合约测试体系：理解为什么不可篡改、直接管理资金的合约把测试变成生命线；掌握测试金字塔（单元 / 集成 / 模糊 / 不变量 / 分叉测试）各自覆盖什么；用 Hardhat + Mocha/Chai 写出第一个测试，用 fixture 标准化部署快照；断言事件、revert 与自定义错误；切换到 Foundry 用 Solidity 写高速测试并使用 prank / warp / roll 等 cheatcode；用 fuzz 让框架自动生成成千上万组输入找边界；用 fork 主网与真实 DeFi 协议交互测试；用 solidity-coverage 检查覆盖率、hardhat-gas-reporter 监控 Gas；最后把测试接入 GitHub Actions 持续集成。
测试网部署：Sepolia 水龙头、部署脚本与 Etherscan 验证
完整走通把合约部署到公共测试网的端到端流程：厘清本地链、测试网、主网在共识、费用与信任上的区别；选择 Sepolia 作为目标测试网并通过官方水龙头、Alchemy 水龙头获取免费测试 ETH；申请 Alchemy/Infura RPC 端点并理解公共 RPC 的限流；编写 Hardhat 部署脚本与 Ignition 声明式模块；用环境变量安全注入专用开发钱包私钥；广播部署交易并在 Sepolia Etherscan 上核对合约地址、创建交易与 Gas；用 hardhat-verify 完成源码验证拿到绿色对勾；最后用一个最小前端（地址 + ABI + MetaMask）真正调用一次测试网合约。
合约安全：重入、预言机操纵等高频漏洞与防范
以攻击者视角系统拆解导致史上巨额损失的智能合约漏洞类别：建立「所有外部输入与外部调用都是恶意的」安全第一性原理；重入攻击的三种形态与 Checks-Effects-Interactions、重入锁；整数溢出/下溢与 0.8 内置检查；访问控制缺失与 tx.origin 钓鱼；外部调用失败导致的拒绝服务；闪电贷如何无成本放大价格预言机操纵风险，以及 Chainlink 喂价与 TWAP 的正确姿势；无限授权与签名重放；可预测随机数；最后用 The DAO、Parity 多签、Ronin 桥、Euler 等真实案例时间线建立直觉，并给出项目方的应急响应预案框架。
合约审计：审计流程、静态工具、报告解读与竞赛生态
完整讲透智能合约审计这门专业工作：审计能证明什么、不能保证什么（审计≠零漏洞保险）；从范围冻结、架构文档、威胁建模到逐行手动审查的标准六步流程；用 Slither 做静态分析、用 Mythril 理解符号执行的边界；手动审计的数据流分析、权限矩阵与状态机遍历方法论；如何阅读一份审计报告并理解 Critical/High/Medium/Low/Informational 分级；顶级审计公司与 Code4rena、Sherlock、CodeHawks 公开竞赛生态；审计管不到的经济模型与中心化风险（admin key、Timelock、多签阈值）；以及审计通过后的部署清单与持续监控。
主网上线与运维：Gas 优化、多签治理与可升级合约
完成主网发布前的最后一块拼图：上线前总检查清单；Gas 优化的原理与高收益技巧（storage 槽打包、calldata、immutable/constant、内存缓存、短循环）；主网部署的 EIP-1559 费用设置与区块确认等待；用 Gnosis Safe 多签接管管理员权限并理解签名阈值与风险；Timelock 时间锁如何给用户留出撤离窗口、治理提案如何流转；透明代理与 UUPS 可升级模式的原理、存储槽规则与初始化；升级能力的信任假设与为什么 immutable 合约更受信任；最后是部署后的链上监控、事件告警、文档维护与 Bug Bounty 负责任披露全流程。
账户抽象与 ERC-4337：智能账户、UserOperation 与 Paymaster
以太坊有两种账户：外部账户（EOA，由私钥控制）与合约账户（由代码控制）——<strong>只有 EOA 能发起交易，而 EOA 没有代码、不能自定义逻辑</strong>。这带来三个长期痛点：私钥丢了就没了、必须先有主币才能付 Gas、一笔笔确认无法批量。账户抽象就是要把「账户」变成可编程的：ERC-4337 在不改共识层的前提下，用一套链上合约 + 链下角色实现智能账户。这一篇讲清四个核心角色（EntryPoint、Bundler、Paymaster、Smart Account）、走完一次 UserOperation 的完整生命周期、逐字段解释 UserOp 结构，然后说清智能账户带来的四个真实好处与五类新风险，最后给出判断一个智能账户值不值得用的标准。
动手试一试
下面 1 个练习在浏览器里真跑：输入是常量与参数，不需要连钱包、不发交易、不读你的账户。数字自己改，结论自己验。
试一试 · 函数选择器与事件 topic 是怎么算出来的
可直接改代码 · 在浏览器沙箱里真跑检查点（跑完后逐条核对）
- transfer(address,uint256) 的选择器是 0xa9059cbb
- 事件 topic0 是 32 字节的哈希，与选择器算法相同但取值长度不同
- 结论：参数类型是签名的一部分，写错就对不上