AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / coding / 问题 / 78829088
Accepted
ZettaZet YT
ZettaZet YT
Asked: 2024-08-03 23:36:10 +0800 CST2024-08-03 23:36:10 +0800 CST 2024-08-03 23:36:10 +0800 CST

用于提取余额的 Solidity 简单合约

  • 772

我写了一个 solidity 合约,用于提取合约余额。有人能告诉我它是否有效吗?withdrawSafe应该可以防止重入攻击,但我不知道它是否有效。只需检查一切是否正常,然后请提出改进​​建议。可能会犯一些愚蠢的错误。

// SPDX-License-Identifier: UNLICENSED
pragma solidity >=0.8.19;

event Response(bool success, bytes data);


interface IVault {
    function deposit() external payable;

    function withdrawSafe(address payable holder) external;

    function withdrawUnsafe(address payable holder) external;
}

interface IAttacker {
    function depositToVault(address vault) external payable;

    function attack(address vault) external;
}

contract Vault is IVault {

    bool private _entered;

     modifier nonReentrant {
        require(!_entered, "re-entrant call");
        _entered = true;
        _;
        _entered = false;
    }

    mapping(address => uint256) public balance;

    function deposit() external payable {
        balance[msg.sender] += msg.value;
    }

    function withdrawSafe(address payable holder) external nonReentrant {
        (bool success, bytes memory data) = holder.call{value: balance[msg.sender], gas: 5000}
        (abi.encodeWithSignature("withdrawSafe(string,uint256)", "call WS", 123));
        emit Response(success, data);
    }

    function withdrawUnsafe(address payable holder) external {
        (bool success, bytes memory data) = holder.call{value: balance[msg.sender], gas: 5000}
        (abi.encodeWithSignature("withdrawSafe(string,uint256)", "call WS", 123));
        emit Response(success, data);
    }
}

此外,如果有人知道如何在没有任何测试网或主网链的情况下在 Remix 中测试合约,或者可能推荐另一个 IDE,我会很高兴听到任何建议。

solidity
  • 1 1 个回答
  • 15 Views

1 个回答

  • Voted
  1. Best Answer
    Ilya Kruchinin
    2024-08-03T23:41:47+08:002024-08-03T23:41:47+08:00

    我遇到了一些可以改进的问题:

    • 修饰符nonReentrant已正确实现,但也应该使用它来保护函数内部的余额更新逻辑withdrawSafe。

    • 在进行外部调用之前应该更新余额,以防止重入。这样可以确保即使外部调用进行递归调用,余额也已被设置为零,从而防止重入。

    • 当前实现不会更新持有者的余额。这对于防止重入非常必要。

    • 指定的 gas 限制(5000)可能不足以使调用成功,具体取决于接收方的实现。您可能希望确保它足以让接收方处理交易。

    • 对于简单的以太币转账来说,这不是必需的。您可以直接使用holder.transfer或转账holder.call{value: amount}("")。

    根据建议的改进,你的合同将如下所示:

    // SPDX-License-Identifier: UNLICENSED
    pragma solidity >=0.8.19;
    
    event Response(bool success, bytes data);
    
    interface IVault {
        function deposit() external payable;
    
        function withdrawSafe(address payable holder) external;
    
        function withdrawUnsafe(address payable holder) external;
    }
    
    interface IAttacker {
        function depositToVault(address vault) external payable;
    
        function attack(address vault) external;
    }
    
    contract Vault is IVault {
        bool private _entered;
    
        modifier nonReentrant {
            require(!_entered, "re-entrant call");
            _entered = true;
            _;
            _entered = false;
        }
    
        mapping(address => uint256) public balance;
    
        function deposit() external payable {
            balance[msg.sender] += msg.value;
        }
    
        function withdrawSafe(address payable holder) external nonReentrant {
            uint256 amount = balance[msg.sender];
            require(amount > 0, "Insufficient balance");
    
            // Update balance before making the external call
            balance[msg.sender] = 0;
    
            // Use call to transfer funds and handle response
            (bool success, bytes memory data) = holder.call{value: amount}("");
            require(success, "Transfer failed");
    
            emit Response(success, data);
        }
    
        function withdrawUnsafe(address payable holder) external {
            uint256 amount = balance[msg.sender];
            require(amount > 0, "Insufficient balance");
    
            // Update balance before making the external call
            balance[msg.sender] = 0;
    
            // Use call to transfer funds and handle response
            (bool success, bytes memory data) = holder.call{value: amount}("");
            require(success, "Transfer failed");
    
            emit Response(success, data);
        }
    }
    

    这有助于确保该withdrawSafe功能能够抵御重入攻击。

    • 0

相关问题

  • 在我的智能合约中看不到(Chainlink)请求的数据

  • 安全帽安装正在下降安装

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    Vue 3:创建时出错“预期标识符但发现‘导入’”[重复]

    • 1 个回答
  • Marko Smith

    为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行?

    • 1 个回答
  • Marko Smith

    具有指定基础类型但没有枚举器的“枚举类”的用途是什么?

    • 1 个回答
  • Marko Smith

    如何修复未手动导入的模块的 MODULE_NOT_FOUND 错误?

    • 6 个回答
  • Marko Smith

    `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它?

    • 3 个回答
  • Marko Smith

    何时应使用 std::inplace_vector 而不是 std::vector?

    • 3 个回答
  • Marko Smith

    在 C++ 中,一个不执行任何操作的空程序需要 204KB 的堆,但在 C 中则不需要

    • 1 个回答
  • Marko Smith

    PowerBI 目前与 BigQuery 不兼容:Simba 驱动程序与 Windows 更新有关

    • 2 个回答
  • Marko Smith

    AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String”

    • 1 个回答
  • Marko Smith

    我正在尝试仅使用海龟随机和数学模块来制作吃豆人游戏

    • 1 个回答
  • Martin Hope
    Aleksandr Dubinsky 为什么 InetAddress 上的 switch 模式匹配会失败,并出现“未涵盖所有可能的输入值”? 2024-12-23 06:56:21 +0800 CST
  • Martin Hope
    Phillip Borge 为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行? 2024-12-12 20:46:46 +0800 CST
  • Martin Hope
    Oodini 具有指定基础类型但没有枚举器的“枚举类”的用途是什么? 2024-12-12 06:27:11 +0800 CST
  • Martin Hope
    sleeptightAnsiC `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它? 2024-11-09 07:18:53 +0800 CST
  • Martin Hope
    The Mad Gamer 何时应使用 std::inplace_vector 而不是 std::vector? 2024-10-29 23:01:00 +0800 CST
  • Martin Hope
    Chad Feller 在 5.2 版中,bash 条件语句中的 [[ .. ]] 中的分号现在是可选的吗? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench 为什么双破折号 (--) 会导致此 MariaDB 子句评估为 true? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng 为什么 `dict(id=1, **{'id': 2})` 有时会引发 `KeyError: 'id'` 而不是 TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String” 2024-03-20 03:12:31 +0800 CST
  • Martin Hope
    MarkB 为什么 GCC 生成有条件执行 SIMD 实现的代码? 2024-02-17 06:17:14 +0800 CST

热门标签

python javascript c++ c# java typescript sql reactjs html

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve