一、智能合约安全导论：区块链与智能合约基础、安全威胁全景图、常见漏洞分类
1.1 区块链与智能合约基础
说实话，很多人一上来就研究漏洞，我觉得这是本末倒置。你得先搞清楚智能合约到底是个什么东西，它跑在什么样的环境里。
区块链本质上是一个分布式账本。你想想看，传统数据库是中心化的，数据存在一台服务器上。区块链不一样，数据存在成千上万个节点上。每个节点都有一份完整的数据副本。这就是所谓的「去中心化」。
智能合约呢？就是跑在区块链上的程序。我习惯把它理解成「自动执行的合同条款」。举个例子，你写一个合约：如果A给B转了1个ETH，那么B就给A一个NFT。这个逻辑一旦部署上链，没人能阻止它执行——除非你提前设计了暂停机制。
智能合约有几个关键特性，我列一下：
- 不可篡改性：部署后代码不能改。嗯，这里要注意，虽然代码不能改，但可以通过代理合约模式「升级」逻辑。
- 透明性：所有代码和交易记录公开可见。你写的每一行代码，全世界都能看到。
- 确定性：同样的输入，永远得到同样的输出。这跟传统程序不一样，传统程序可能依赖系统时间、随机数等。
- 图灵完备性：以太坊的Solidity语言是图灵完备的，理论上能计算任何可计算的问题。但Gas机制限制了无限循环。
核心认知：智能合约不是「智能」的，它只是「自动」的。它严格按照代码逻辑执行，不会判断对错。所以代码写错了，后果很严重。
我记得刚入行时，有个同事写了一个众筹合约。他以为合约会自动检查「是否达到目标金额」，结果忘了写这个检查逻辑。项目方直接提走了所有资金，投资人血本无归。嗯，这就是不懂基础导致的悲剧。
1.2 安全威胁全景图
智能合约的安全威胁，说白了就是「有人想方设法让你的合约不按预期执行」。我把它分成几个层面：
| 威胁层面 | 典型攻击 | 影响范围 |
|---|---|---|
| 合约层 | 重入攻击、整数溢出 | 单个合约 |
| 协议层 | 闪电贷攻击、价格操纵 | 多个合约/协议 |
| 共识层 | 51%攻击、自私挖矿 | 整个区块链 |
| 应用层 | 前端劫持、私钥泄露 | 用户/前端 |
| 经济层 | 治理攻击、贿赂攻击 | DAO/治理系统 |
你可能会问：「这么多层面，哪个最危险？」我个人经验是，合约层的漏洞最容易被利用，因为攻击者只需要读懂你的代码就行。共识层的攻击成本太高，一般小团队搞不了。
我曾经参与过一个DeFi项目的审计。项目方说他们的合约「绝对安全」，因为用了OpenZeppelin的库。结果呢？他们在业务逻辑里自己写了一个权限检查函数，有个参数没校验，攻击者直接把自己变成了管理员。嗯，这就是典型的「信任第三方库，不信任自己代码」的坑。
1.3 常见漏洞分类
根据SWC Registry（智能合约弱点分类）和我的实战经验，我把常见漏洞分成以下几类：
1.3.1 重入攻击（Reentrancy）
这是最经典的漏洞，没有之一。2016年的The DAO事件就是栽在这上面，损失了360万ETH。
原理很简单：合约A调用合约B时，合约B在回调函数里再次调用合约A，形成递归调用。如果合约A在调用后更新状态，那攻击者就能在状态更新前反复提取资金。
// 漏洞示例
function withdraw(uint _amount) public {
require(balances[msg.sender] >= _amount);
(bool success, ) = msg.sender.call{value: _amount}("");
require(success);
balances[msg.sender] -= _amount; // 状态更新在转账之后！
}避坑指南：我曾经审计过一个项目，他们用了「检查-生效-交互」模式，但忘了在生效步骤里更新状态。结果攻击者通过fallback函数反复调用withdraw，一口气提走了合约里80%的资金。记住：先更新状态，再发起外部调用。
1.3.2 整数溢出（Integer Overflow/Underflow）
Solidity 0.8.0之前，整数运算默认不检查溢出。你想想看，如果uint8的最大值是255，你加1变成256，结果会变成0。这就是溢出。
攻击者可以利用这个特性绕过余额检查。比如你的余额是1个token，攻击者让你转账2个token，你的余额变成负数（实际上变成2^256-1），然后他就能提取天文数字的资金。
个人建议：现在Solidity 0.8.0以上版本默认启用了溢出检查。但如果你用assembly写内联汇编，或者用unchecked块，还是要自己小心。我习惯在关键运算前后加assert断言，双重保险。
1.3.3 访问控制漏洞
说白了就是「谁都能调用不该调用的函数」。最常见的错误是：
- 忘记加onlyOwner修饰符
- 使用tx.origin做身份验证（应该用msg.sender）
- 构造函数拼写错误（变成普通函数）
我记得有个项目，构造函数写成了「constructor」拼成「constructer」，结果变成了一个公开函数。任何人都能调用它来初始化合约，把owner设为自己。嗯，这个bug在Etherscan上挂了半年才被发现。
1.3.4 前端抢跑（Front-running）
这不是代码漏洞，是机制漏洞。交易在进入区块前会先进入交易池（mempool），矿工和机器人能看到所有待处理交易。如果有人看到你的交易有利可图，他可以出更高的Gas费，把自己的交易插到你前面。
典型的场景：你在DEX上看到一个套利机会，提交了交易。机器人看到后，复制你的交易，出更高的Gas，先执行。结果你成了接盘侠，他赚了钱。
1.3.5 预言机操纵
智能合约无法直接获取链外数据，需要预言机。如果预言机数据源单一，攻击者可以操纵这个数据源来获利。
举个例子：一个借贷协议依赖某个DEX的价格作为抵押品估值。攻击者通过闪电贷借入大量资金，在DEX上拉高价格，然后借出远超抵押品价值的资产，最后让价格回归正常。嗯，这就是经典的「价格预言机攻击」。
总结一下：智能合约安全不是「写对代码」就完事了。你得理解区块链的运行机制、经济激励、以及攻击者的思维方式。我常说一句话：写合约的时候，假设全世界都在盯着你的代码找漏洞。这样你才会认真对待每一行代码。
下一章我会深入讲重入攻击的原理和防御策略。到时候我会带大家手写一个攻击合约，看看攻击者到底是怎么操作的。嗯，保证让你印象深刻。