安全与审计

智能合约部署后具备不可篡改性与资金直连性，其安全保障依赖于完备的威胁建模、代码防御范式与严格的审计流程。

本专题将以太坊安全体系划分为两个层次进行系统剖析：

目录索引

1. 基础漏洞模型

梳理单合约内部由于逻辑校验缺失、EVM 底层调用控制流转移或算术回绕导致的经典漏洞形态：

• 重入攻击：经典单函数回调与检查-生效-交互（CEI）模式。
• 权限控制：所有者管理、修饰器权限校验及常见越权缺陷。
• DoS 攻击：无界循环 Gas 耗尽与转账回滚拒绝服务。
• 整数溢出：Solidity 算术回绕机理与安全数学库。
• 授权竞争：ERC-20 approve 机制的前置竞态条件。
• 预言机操纵与闪电贷：DEX 现货流动性冲击与瞬时价格操纵。
• 签名滥用与重放：签名重放、延展性与 EIP-712 结构化签名基础。
• 可升级代理漏洞：存储槽重叠冲突与初始化入口防护。

2. 进阶机制与复合风险

剖析现代 DeFi 生产环境中跨协议交互、只读中间态暴露、语言编译器底层缺陷以及最新 EVM 特性（如 EIP-1153 瞬态存储）引发的深度攻防：

• 重入攻击进阶：只读重入（Read-Only Reentrancy）、跨合约状态未同步与编译器重入锁失效。
• 权限控制进阶：tx.origin 上下文陷阱、未保护实现合约劫持与瞬态存储槽鉴权穿透。
• DoS 进阶：EIP-150 63/64 Gas Griefing、Return Bomb 内存二次方爆炸与强制注资不变式破坏。
• 整数与精度进阶：unchecked 边界溢出、除法截断舍入差与 ERC-4626 金库通胀攻击。
• 授权机制进阶：无限授权系统性敞口、USDT 强制归零约束与 Permit2 集中授权。
• 预言机操纵进阶：广义预言机判定准则、TWAP 操纵成本量化模型与 Chainlink 降级防护。
• 签名验证进阶：EIP-712 域分隔符动态缓存安全、ERC-1271 合约钱包验签与伪 Permit 接口漏洞。
• 可升级代理进阶：EIP-1967 标准伪随机槽、ERC-7201 命名空间隔离与 Nomad 零哈希穿透复盘。