Solidity碳信用交易合约执行失败：代币不足问题求助

错误提示Insufficient token for desired number of credits，说明调用buyCarbonCredits时发送的ETH数量小于购买10个碳信用的总费用，或代码存在逻辑问题，逐一排查如下：

核心原因：发送的ETH不足总费用 #

1. 先确认合约部署时传入的_creditPrice参数值。比如部署时设置的是1 ether（即1e18 wei），那么10个碳信用的总费用是10 * 1e18 wei = 10 ether。调用函数时必须在交易中发送至少10 ether，否则触发该revert。
2. 若用Remix测试，调用函数前要在"Value"输入框填写对应ETH数量，单位需和creditPrice匹配（比如creditPrice是wei就填10倍数值，是ether就填10）。

代码中的其他问题（可能导致后续异常） #

• 第二个require的错误信息与条件不匹配：
  原代码：require(msg.sender != buyer, "buyer cannot be same as seller");
  条件是“调用者不能是当前buyer”，但错误信息逻辑混淆，修正为：

  require(msg.sender != buyer, "Existing buyer cannot purchase again");
  

• 缺少卖家提取合约余额的功能：当前合约收到的ETH存于合约地址中，卖家无法取出，需补充提取函数：

  function withdrawFunds() external {
      require(msg.sender == seller, "Only seller can withdraw");
      payable(seller).transfer(address(this).balance);
  }
  

• 重复购买限制：如果允许同一个地址多次购买碳信用，需要移除require(msg.sender != buyer, ...)这个条件，否则第一次购买后该地址无法再次下单。

修正后的完整代码 #

// SPDX-License-Identifier: GPL-3.0

pragma solidity >=0.8.2 <0.9.0;

contract CarbonCreditTrade {

    address payable public buyer;
    address payable public seller;
    uint256 public carbonCreditsAvailable;
    uint256 public rewardPointsAwarded;
    uint256 public creditPrice;

    constructor(uint256 _creditPrice) payable{
        seller = payable(msg.sender);
        carbonCreditsAvailable = 10000;
        creditPrice = _creditPrice;
    }

    function buyCarbonCredits(uint256 _creditsToBuy) external payable{
        require(msg.sender != seller, "Seller cannot buy carbon credits");
        // 若允许同一地址多次购买，可移除下面这行
        require(msg.sender != buyer, "Existing buyer cannot purchase again");
        require(_creditsToBuy <= carbonCreditsAvailable, "Insufficient carbon credits available");

        uint256 totalCost = _creditsToBuy * creditPrice;
        require(msg.value >= totalCost,"Insufficient token for desired number of credits");

        buyer = payable(msg.sender);
        carbonCreditsAvailable -= _creditsToBuy;
        rewardPointsAwarded += _creditsToBuy / 10;
      
        if(msg.value > totalCost) {
            uint256 refundAmount = msg.value - totalCost;
            payable(msg.sender).transfer(refundAmount);
        }
    }

    function getRewardPointsAwarded() external view returns (uint256){
        return rewardPointsAwarded;
    }

    // 新增卖家提取余额函数
    function withdrawFunds() external {
        require(msg.sender == seller, "Only seller can withdraw");
        payable(seller).transfer(address(this).balance);
    }
}

调试步骤 #

1. 重新部署合约，记录传入的_creditPrice值。
2. 计算总费用：10 * creditPrice，确认单位是wei还是ether。
3. 调用buyCarbonCredits时，设置交易的Value为等于或大于总费用的ETH数量。
4. 若需要同一地址多次购买，移除代码中限制重复购买的require语句。

内容的提问来源于stack exchange，提问作者rohini dingankar