更多▾

智能合约开发进阶 —— Solidity 常见漏洞与安全开发实践-web3系列第20节

巴葛

2025-09-0211 分钟

在 Web3 的世界里，智能合约就像一座“自动化的银行金库”。

它能帮我们自动执行规则，但一旦出现漏洞，黑客就能直接把金库里的资产转走。

作为开发者，我常常被问到：

Solidity 最常见的安全问题是什么？
有没有一些实用的开发习惯，能降低合约被攻击的风险？

今天这篇文章，我想和你聊聊 Solidity 合约里的常见漏洞、安全开发实践，以及一些真实案例。

为什么安全这么重要？

先给你两个数字：

根据 Chainalysis 2024 年报告，仅在 2024 年，因智能合约漏洞造成的损失超过 32 亿美元。
单是跨链桥 Ronin（Axie Infinity 背后的链）就因为漏洞，被盗走 6 亿美元。

对比传统软件开发，智能合约有两个关键特点：

不可更改性 —— 合约一旦部署到链上，想修复 bug 几乎不可能。
高价值资产直接托管 —— 合约里存的是真金白银，而不是普通的数据。

所以，安全性对智能合约开发来说，比功能还要优先。

Solidity 常见漏洞

下面我挑选了 5 个最常见、危害最大的漏洞，逐一拆解。

重入攻击（Reentrancy）

原理：合约在向外部地址转账时，如果没有先更新状态，就可能被恶意合约“递归调用”，反复提走资产。
案例：2016 年的 The DAO 攻击，因为重入漏洞，损失 6000 万美元。

整数溢出（Integer Overflow/Underflow）

原理：早期 Solidity 在数值加减超出范围时，会自动“绕回”。攻击者利用这个特性操控代币数量。
案例：2018 年某些 ERC20 代币被攻击，攻击者用溢出制造无限代币。

访问控制不当

原理：函数没有正确加上 onlyOwner 或权限校验，任何人都能调用。
案例：2017 年 Parity 钱包库合约因为 initWallet 没有限制，导致攻击者取得管理员权限，损失 1.5 亿美元。

时间依赖（Timestamp Dependency）

原理：有些合约用 block.timestamp 来做随机数或判断，矿工可以人为操控区块时间，影响结果。
案例：一些博彩合约被矿工操纵开奖，获利。

随机数不安全

原理：用 blockhash、block.timestamp 生成随机数，其实并不随机，容易被预测。
案例：某 NFT 抽签项目被黑客提前预测结果，低价抢走稀有 NFT。

安全开发实践

我自己在做合约开发时，总结了一些“安全习惯”，分享给你：

遵循检查-效果-交互（Checks-Effects-Interactions）

在调用外部合约前，先更新状态，再转账，避免重入攻击。

function withdraw(uint _amount) public { require(balances[msg.sender] >= _amount, "Insufficient balance"); balances[msg.sender] -= _amount; // ✅ 先更新状态 payable(msg.sender).transfer(_amount); // 再转账 }

使用安全库

使用 OpenZeppelin 的 SafeMath（在 Solidity 0.8 之后已内置检查）。
使用 OpenZeppelin 的 Ownable 进行权限管理。

不要自己写随机数

推荐用 Chainlink VRF 等可信预言机。

小额资金先行验证

部署前先用小额资金测试合约逻辑。
关键合约建议先上线测试网、进行代码审计。

定期安全审计

找专业安全公司审计（比如 CertiK、Trail of Bits）。
内部做单元测试 + 模拟攻击测试。

真实案例分享

The DAO（2016）

类型：重入攻击
损失：6000 万美元
启示：永远不要在修改状态前转账。

Parity Wallet（2017）

类型：访问控制缺陷
损失：1.5 亿美元
启示：公共函数一定要加权限控制。

Beanstalk（2022）

类型：治理攻击 + 闪电贷
损失：1.8 亿美元
启示：治理机制需要防范恶意大额投票。

对比表：常见漏洞与防御方式

漏洞类型	攻击方式	典型案例	防御方法
重入攻击	外部合约递归调用	The DAO	Checks-Effects-Interactions，使用 ReentrancyGuard
整数溢出	加减超限绕回	ERC20 Bug	使用 SafeMath 或 Solidity 0.8+
访问控制不当	未限制函数调用	Parity	onlyOwner、AccessControl
时间依赖	操控区块时间	博彩合约	避免用 timestamp 做逻辑关键条件
随机数不安全	预测伪随机数	NFT 抽签	用 Chainlink VRF 等预言机