not-so-smart-contracts：SpankChain安全事件技术分析

not-so-smart-contracts：SpankChain安全事件技术分析

【免费下载链接】not-so-smart-contractsExamples of Solidity security issues项目地址: https://gitcode.com/gh_mirrors/no/not-so-smart-contracts

SpankChain安全事件是区块链行业中典型的重入攻击案例，通过分析not-so-smart-contracts项目中Reentrancy漏洞的SpankChain源代码，我们可以深入了解智能合约安全的重要性。本教程将带你全面剖析SpankChain事件的技术细节，帮助开发者避免类似的安全陷阱。

什么是重入攻击？

重入攻击（Reentrancy Attack）是智能合约中最常见且危害极大的漏洞之一。当合约在执行外部调用后未及时更新状态变量时，攻击者可以利用回调函数反复调用目标函数，从而盗取资金。这种攻击方式就像小偷在你关门之前反复闯入你的房子，每次都能带走一部分财物。

SpankChain事件背景

2018年，SpankChain项目因智能合约漏洞导致约300 ETH被盗。该事件的根源在于其支付通道合约（SpankChain_Payment.sol）中的byzantineCloseChannel函数存在重入漏洞。攻击者利用这一漏洞，在合约资金转账完成前多次调用该函数，窃取了大量资金。

漏洞代码深度分析

关键漏洞函数

SpankChain_Payment.sol中的byzantineCloseChannel函数是漏洞的核心所在。以下是该函数的关键代码片段：

function byzantineCloseChannel(bytes32 _lcID) public { // ... 状态检查代码 ... // 存储当前余额 uint256 ethbalanceA = channel.ethBalances[0]; uint256 ethbalanceI = channel.ethBalances[1]; uint256 tokenbalanceA = channel.erc20Balances[0]; uint256 tokenbalanceI = channel.erc20Balances[1]; // 清零余额 channel.ethBalances[0] = 0; channel.ethBalances[1] = 0; channel.erc20Balances[0] = 0; channel.erc20Balances[1] = 0; // 转账ETH if(ethbalanceA != 0 || ethbalanceI != 0) { channel.partyAddresses[0].transfer(ethbalanceA); channel.partyAddresses[1].transfer(ethbalanceI); } // 转账代币 if(tokenbalanceA != 0 || tokenbalanceI != 0) { require( channel.token.transfer(channel.partyAddresses[0], tokenbalanceA), "byzantineCloseChannel: token transfer failure" ); require( channel.token.transfer(channel.partyAddresses[1], tokenbalanceI), "byzantineCloseChannel: token transfer failure" ); } // ... 其他代码 ... }

漏洞分析

虽然开发团队已经意识到重入风险，并在转账前将余额清零，但这里存在一个致命缺陷：先清零状态变量，再进行外部调用。这种做法看似安全，实则不然。

当调用transfer函数时，如果接收方是一个恶意合约，其fallback函数可以再次调用byzantineCloseChannel。此时，虽然状态变量已被清零，但由于合约的其他状态（如isOpen）尚未更新，攻击者仍可绕过某些检查，导致意想不到的后果。

更安全的做法应该是使用** Checks-Effects-Interactions **模式：

1. 首先进行所有状态检查（Checks）
2. 然后更新状态变量（Effects）
3. 最后进行外部调用（Interactions）

如何修复重入漏洞？

1. 使用ReentrancyGuard修饰符

OpenZeppelin提供了ReentrancyGuard合约，可以有效防止重入攻击。只需在容易受到攻击的函数上添加nonReentrant修饰符：

import "@openzeppelin/contracts/security/ReentrancyGuard.sol"; contract SpankChainPayment is ReentrancyGuard { function byzantineCloseChannel(bytes32 _lcID) public nonReentrant { // ... 函数内容 ... } }

2. 严格遵循Checks-Effects-Interactions模式

确保在进行任何外部调用之前，所有状态变量都已正确更新：

function byzantineCloseChannel(bytes32 _lcID) public { // 1. Checks require(channel.isOpen, "Channel is not open"); // ... 其他检查 ... // 2. Effects uint256 ethbalanceA = channel.ethBalances[0]; uint256 ethbalanceI = channel.ethBalances[1]; // ... 存储其他余额 ... channel.ethBalances[0] = 0; channel.ethBalances[1] = 0; // ... 清零其他余额 ... channel.isOpen = false; // 关键状态更新 // 3. Interactions if(ethbalanceA != 0) { channel.partyAddresses[0].transfer(ethbalanceA); } // ... 其他转账 ... }

3. 使用Pull支付模式

避免直接向用户地址转账，而是让用户主动提取资金：

mapping(address => uint256) public pendingWithdrawals; function byzantineCloseChannel(bytes32 _lcID) public { // ... 计算余额 ... pendingWithdrawals[channel.partyAddresses[0]] += ethbalanceA; pendingWithdrawals[channel.partyAddresses[1]] += ethbalanceI; // 清零状态变量... } function withdraw() public { uint256 amount = pendingWithdrawals[msg.sender]; pendingWithdrawals[msg.sender] = 0; msg.sender.transfer(amount); }

总结：智能合约安全最佳实践

SpankChain事件给我们敲响了警钟，智能合约开发必须时刻关注安全问题。以下是一些关键的安全最佳实践：

1.** 遵循Checks-Effects-Interactions模式：在进行外部调用前，确保所有状态更新已完成。 2.使用成熟的库：如OpenZeppelin提供的ReentrancyGuard、SafeMath等。 3.进行全面审计：上线前务必进行专业的安全审计。 4.实施紧急暂停机制：在发现漏洞时能够快速冻结合约。 5.采用最小权限原则 **：限制合约功能的访问权限。

通过研究not-so-smart-contracts项目中的SpankChain源代码，我们不仅了解了重入攻击的原理，还学习了如何防范此类漏洞。希望本文能帮助开发者构建更安全的智能合约系统。

如果你想深入学习智能合约安全，可以查看项目中的reentrancy/SpankChain_source_code/SpankChain_Payment.sol文件，亲自分析漏洞细节。记住，安全是一个持续的过程，只有不断学习和实践，才能构建出真正安全的智能合约。

【免费下载链接】not-so-smart-contractsExamples of Solidity security issues项目地址: https://gitcode.com/gh_mirrors/no/not-so-smart-contracts