1. 智能合约安全概述

大家好，我是你们这节课的讲师。在区块链这个圈子里摸爬滚打了六七年，我见过太多项目因为安全问题一夜归零。说实话，每次看到开发者在凌晨三点发现合约被黑，那种绝望的眼神，我至今难忘。

今天咱们聊聊智能合约安全。这不是什么锦上添花的东西，而是你进入这个行业的生存技能。

1.1 区块链安全事件回顾

先看几个真实案例。我挑了几个有代表性的，你感受一下。

时间	事件	损失金额	根本原因
2016年	The DAO 攻击	约 6000 万 ETH	重入漏洞
2017年	Parity 多签钱包	约 1.5 亿美元	库合约自毁
2022年	Ronin 跨链桥	约 6.2 亿美元	私钥泄露
2023年	Euler Finance	约 1.97 亿美元	闪电贷 + 逻辑缺陷

你看，从 2016 年到 2023 年，攻击手法越来越复杂，损失金额也越来越大。我当年刚入行时，觉得写合约就是写个简单的转账逻辑。直到 The DAO 事件发生，我才意识到——代码即法律，但法律也有漏洞。

1.2 智能合约安全的重要性

为什么智能合约安全这么重要？说白了，有四个原因：

• 不可篡改性：合约一旦部署，代码就无法修改。你写了个 bug，那就永远是个 bug。
• 公开透明：合约代码对所有人可见。攻击者可以慢慢研究你的代码，找到漏洞。
• 金融属性：智能合约直接管理资产。一个漏洞可能直接导致资金被盗。
• 组合风险：DeFi 协议之间相互调用。一个协议出问题，可能引发连锁反应。

我记得有一次，一个朋友找我审计他的合约。他说：「代码很简单，就一个转账功能。」我扫了一眼，发现他用的是 tx.origin 做身份验证。嗯，这其实是个经典坑。我跟他解释了半天，他才明白为什么不能用 tx.origin。

1.3 常见攻击类型概览

接下来，我带你快速过一遍最常见的攻击类型。你不需要现在就完全理解，先有个印象就好。

1.3.1 重入攻击

这是最经典的攻击方式。攻击者在合约执行转账时，利用回调函数再次调用原合约，从而反复提取资金。

// 不安全的写法
function withdraw(uint256 amount) public {
    require(balances[msg.sender] >= amount);
    (bool success, ) = msg.sender.call{value: amount}("");
    require(success);
    balances[msg.sender] -= amount; // 状态更新在转账之后
}

你看，问题出在「先转账，后更新状态」。攻击者可以在 receive() 函数里再次调用 withdraw()，直到合约余额被掏空。

1.3.2 整数溢出

Solidity 0.8 之前，整数溢出不会自动回滚。你想想看，如果 balance + amount 超过了 uint256 的最大值，会发生什么？

// Solidity 0.8 之前
uint256 balance = 1;
uint256 amount = type(uint256).max;
uint256 newBalance = balance + amount; // 结果变成 0

嗯，这就是溢出攻击。攻击者可以利用这个漏洞，让余额归零，或者无限增发代币。

1.3.3 闪电贷攻击

闪电贷是 DeFi 的产物。攻击者可以借入巨额资金，在同一个交易中完成攻击。常见手法包括：

• 价格操纵：利用大额交易影响预言机价格
• 套利攻击：利用不同协议之间的价差
• 清算攻击：恶意触发清算机制

我参与过一个项目，他们用的 Uniswap V2 作为价格预言机。我说：「这不行，容易被操纵。」他们不信。结果上线第三天，就被闪电贷攻击了。嗯，有时候经验就是学费换来的。

1.3.4 访问控制漏洞

这个其实是最低级的错误，但也是最常见的。比如：

• 用 tx.origin 做权限验证
• 忘记加 onlyOwner 修饰符
• 初始化函数没有权限控制

// 危险的写法
function init() public {
    owner = msg.sender; // 任何人都可以调用
}

你想想看，如果 init() 可以被任何人调用，那攻击者就可以把自己设为 owner，然后为所欲为。

1.3.5 预言机操纵

预言机是 DeFi 的「眼睛」。如果眼睛出了问题，整个系统都会瘫痪。攻击者可以通过操纵链上数据，让预言机返回错误的价格。

我记得有个项目，他们用了一个单来源的预言机。我说：「这太危险了，至少要用 TWAP 或者多来源聚合。」他们觉得麻烦，没改。后来...嗯，你懂的。

1.4 我的安全开发习惯

最后，分享几个我个人的习惯。这些习惯帮我避开了很多坑：

1. 先写测试，再写代码：测试驱动开发在智能合约领域特别适用
2. 用 OpenZeppelin 的库：别自己造轮子，除非你真的懂
3. 做形式化验证：对于关键逻辑，用工具跑一遍形式化验证
4. 找第三方审计：自己看自己的代码，永远有盲区
5. 设置紧急暂停：给合约留一条「后路」，万一出事可以暂停

下一章，我会带你深入 Solidity 的安全编码规范。咱们到时候见。