前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >以太坊智能合约安全开发建议

以太坊智能合约安全开发建议

作者头像
Tiny熊
发布2020-12-29 11:54:27
1.1K0
发布2020-12-29 11:54:27
举报

  • 译文出自:登链翻译计划[1]
  • 译者:六天[2]
  • 校对:Tiny 熊[3]

协议相关的建议

以下建议适用于以太坊上任何智能合约的开发。

外部调用

在合约中请求外部合约时需谨慎

请求不可信的合约时可能会引入一些意外风险或错误。在调用外部合约时,外部合约或其依赖的其它合约中可能存在恶意代码。因此,每个外部合约的请求都应该被认为是有风险的。如必须请求外部合约,请参考本节中的建议以最大程度的减小风险。

标记不可信合约

在自己开发的合约调用外部合约时,可以明确的将相关的变量、方法以及合约接口标记为非安全。

代码语言:javascript
复制
// bad
Bank.withdraw(100); // 没有明确标记可信或不可信

function makeWithdrawal(uint amount) { // 不清楚该方法是否安全
    Bank.withdraw(amount);
}

// good
UntrustedBank.withdraw(100); // 不可信的外部调用
TrustedBank.withdraw(100); // 由XYZ Corp维护的可信任的外部合约调用

function makeUntrustedWithdrawal(uint amount) {
    UntrustedBank.withdraw(amount);
}
避免调用外部合约后更改自身合约状态

无论使用底层调用 (形式 someAddress.call())还是合约调用 (形式 ExternalContract.someMethod()),都应该假定可能会执行恶意代码。即使ExternalContract不是恶意代码,也可能通过其他合约调用执行恶意代码。

一种极其危险的情况是恶意代码劫持了程序的控制流,而造成重入攻击。(详见 重入攻击[4] ).

如果调用不可信的外部合约,尽量避免在调用后更改合约中的变量状态。这种模式也称为 checks-effects-interactions 模式[5].

详见 SWC-107[6]

不使用transfer()send()

.transfer().send()方法会将固定的 2300 gas 。这种固定 gas 的目的是为了防止重入攻击[7],但这种方式仅适合 gas 费用固定的前提下。伊斯坦布尔升级中包含了EIP 1884[8],1884 提案中包含的一项更改就是增加了 gas 花费的SLOAD操作码,会导致合约的 fallback 函数执行消耗的 gas 大于 2300。

建议使用 .call()方法代替.transfer().send()

代码语言:javascript
复制
// bad
contract Vulnerable {
    function withdraw(uint256 amount) external {
        // 如果接收者是一个合约,2300的gas可能会不够
        msg.sender.transfer(amount);
    }
}

// good
contract Fixed {
    function withdraw(uint256 amount) external {
        // 使用所有可用的gas
        // 使用该方式请确认检查返回值
        (bool success, ) = msg.sender.call.value(amount)("");
        require(success, "Transfer failed.");
    }
}

需要注意的是,.call()方式并不能避免重入攻击,因此需要采取其他方式。如果需要防止重入攻击,建议使用checks-effects-interactions pattern[9]

调用外部合约时要对错误进行处理

Solidity 提供了在原始地址上调用外部合约的低级别方法:address.call(), address.callcode(), address.delegatecall(), 和 address.send()。这些方法不会抛出异常,但在执行异常时会返回false结果。另一方面,直接调用外部合约相关方法 (例如, ExternalContract.doSomething()) 会自动抛出异常(如, 执行ExternalContract.doSomething()时,doSomething()抛出异常,该程序也会抛出异常)。

如果选择使用低级别方法,记得检查返回值,来确保合约请求成功。

代码语言:javascript
复制
// bad
someAddress.send(55);
someAddress.call.value(55)(""); // 有双重风险,可能会消耗所有剩余的gas,而且没有检查返回结果
someAddress.call.value(100)(bytes4(sha3("deposit()"))); // 如果deposit方法执行异常,call()方法返回false,但交易并不会回滚

// good
(bool success, ) = someAddress.call.value(55)("");
if(!success) {
    // 处理请求失败的情况
}

ExternalContract(someAddress).deposit.value(100)();

详见 SWC-104[10]

调用外部合约时,被动比主动好

调用外部合约时,可能有意或无意造成失败。为了最大程度的减小失败造成的损害,交易发起者可以将每次外部合约调用隔离在单独的交易中。特别是在转账交易中,最好让用户主动发起资金提取而不是自动向用户发起转账。(这也减小了 gas limit 的问题[11].)避免在一次交易中包含多个以太坊转账。

代码语言:javascript
复制
// bad
contract auction {
    address highestBidder;
    uint highestBid;

    function bid() payable {
        require(msg.value >= highestBid);

        if (highestBidder != address(0)) {
            (bool success, ) = highestBidder.call.value(highestBid)("");
            require(success); // 如果请求一直失败,则无法出价
        }

       highestBidder = msg.sender;
       highestBid = msg.value;
    }
}

// good
contract auction {
    address highestBidder;
    uint highestBid;
    mapping(address => uint) refunds;

    function bid() payable external {
        require(msg.value >= highestBid);

        if (highestBidder != address(0)) {
            refunds[highestBidder] += highestBid; // 记录需要退还给用户的资金
        }

        highestBidder = msg.sender;
        highestBid = msg.value;
    }

    function withdrawRefund() external {
        uint refund = refunds[msg.sender];
        refunds[msg.sender] = 0;
        (bool success, ) = msg.sender.call.value(refund)("");
        require(success);
    }
}

详见 SWC-128[12]

不要委托调用不可信的合约

使用delegatecall调用其它合约方法时,就像是调用本地合约一样,这也造成被调合约可以更改调用合约的状态,这是不安全的。下面示例展示了使用delegatecall 导致合约被销毁或造成了资金损失。

代码语言:javascript
复制
contract Destructor
{
    function doWork() external
    {
        selfdestruct(0);
    }
}

contract Worker
{
    function doWork(address _internalWorker) public
    {
        // unsafe
        _internalWorker.delegatecall(bytes4(keccak256("doWork()")));
    }
}

如果使用 Destructor的合约地址为参数,调用Worker.doWork()方法,Worker合约会被销毁。在使用delegatecall时,一定不要使用用户提供的地址调用。

警告 不要假设合约余额为 0,攻击者在合约创建前可以向其地址发送以太币。更多信息参考issue 61[13]详见 SWC-112[14]

谨记,以太币可以被强行发送到某个地址中

在编写合约时,不应该编码跟踪的方式来检查合约余额。

攻击者可以强制将以太币发送到任何地址,并且无法阻止(即使在合约的 fallback 函数中使用了revert())。

攻击者可以通过创建一个合约,存入 1 wei,调用selfdestruct(victimAddress)方法。这种方式并不会调用victimAddress地址对应的合约代码,因此无法避免。给矿工地址发送奖励也是这种方式,矿工地址可以是合约地址也可以是普通地址。

另外,由于合约地址可以被提前计算出来,因此在合约部署之前,就可以向该地址转账以太币。

详见 SWC-132[15]

谨记,链上的数据都是公开的

很多区块链应用程序要求提交到链上的数据在一定时间内是保密的。例如游戏(例如猜拳游戏)和拍卖应用(如 保密竞拍Vickrey auctions[16])类应用。如果需要构建数据保密类的应用,应该尽量避免让用户过早的提交数据。最好的方式是使用具有不同阶段的承诺方案[17]:可以先提交数据的 hash 值,之后在提交元数据。

例如:

  • 在石头剪刀布游戏中,要求玩家先提交动作的 hash,然后在提交动作,如果提交的动作计算 hash 后与先前提交的 hash 不匹配,则丢弃。
  • 在拍卖中,要求玩家在初始阶段提交竞价的 hash(以及大于其出价的保证金),然后在第二阶段提交真实的竞拍价。
  • 应用程序如果需要依赖随机数时,提交的顺序是:(1) 玩家提交动作;(2) 生成随机数;(3) 玩家支付。生成随机数的方法本身就是一个快速发展的研究领域。当前最佳解决方案包括比特币的区块头(通过 http://btcrelay.org[18]验证),hash 提交显示方案 (即,一方生成一个数字,发布其 hash 值,并在之后揭示 hash 对应的数字)和RANDAO[19]。由于以太坊是一个确定性的系统,因此系统中任何变量都不能用作不可预测的随机数。还需要注意的是,矿工在一定程度上控制着block.blockhash() 值\*[20].

注意,某些参与者可能下线而不会有返回值

不要依赖第三方提供的退款或索赔等特定操作,而自身没有其他方式提取资金。例如,在猜拳游戏中,一个常见的错误是在两个玩家都提交动作后才进行支付。这样,恶意玩家可以通过不提交动作来拖住对方。实际上,如果一个玩家看到对手的动作而确定自己输了的话,那么玩家根本没有理由再给出自己的动作并支付。在使用状态通道的情况下也可能出现该问题。当出现这种情况时,(1) 提供一种规避不参与的方法,例如玩家需要在一定的期限给出动作。(2) 考虑增加额外的激励措施,使参与者在应有的所有情况下都可以提交信息。

警惕最大负整数的否定

Solidity 提供了多种有符号的数据类型。与大多数编程语言一样,在 Solidity 中,有符号整数使用N个字节表示从-2^(N-1)2^(N-1)-1范围的数值。负数的符号占用两个数字位,因此最大负整数的否定将导致相同的数字[21].

在 Solidity 的所有有符号整型 (int8, int16, ..., int256)中都需要注意这个问题。

代码语言:javascript
复制
contract Negation {
    function negate8(int8 _i) public pure returns(int8) {
        return -_i;
    }

    function negate16(int16 _i) public pure returns(int16) {
        return -_i;
    }

    int8 public a = negate8(-128); // -128
    int16 public b = negate16(-128); // 128
    int16 public c = negate16(-32768); // -32768
}

处理此问题的一种方法是在否定之前检查变量的值,如果值等于最小整数则抛出异常。另一种方法是使用长度更大的数据类型,使得变量的值不会达到边界值。

int类型进行乘或除以-1 时,也会有类似的问题。

Solidity 特定建议

以下是针对 Solidity 语言的特定建议,但对于使用其他语言开发智能合约时也有指导意义。

使用assert()验证不变量

断言失败时将会触发断言保护,如不变量被更改。例如,在以太坊发行的 Token 的总量是可以固定的,可以通过assert()进行验证。断言经常和其他逻辑结合使用,比如暂停合约和允许升级。(否则,可能会出现断言一直失败。)

例如:

代码语言:javascript
复制
contract Token {
    mapping(address => uint) public balanceOf;
    uint public totalSupply;

    function deposit() public payable {
        balanceOf[msg.sender] += msg.value;
        totalSupply += msg.value;
        assert(address(this).balance >= totalSupply);
    }
}

注意,断言通过不代表以太币余额一定相等,因为可以不通过deposit() 方法,强制向合约地址发送以太币[22]

正确使用assert(), require(), revert()

assertrequire函数可以用于参数校验,如果不通过则抛出异常。assert函数应仅用于检查内部错误和检查不变量。require函数更适合用于确保条件满足,如输入或合约状态变量被满足,也可以验证调用外部合约的返回值。\*[23]

遵循此范例,形式分析工具可以验证永远不会到达的无效的操作码:这意味着不会违反代码中的不变式且代码将被形式化验证。

代码语言:javascript
复制
pragma solidity ^0.5.0;

contract Sharer {
    function sendHalf(address payable addr) public payable returns (uint balance) {
        require(msg.value % 2 == 0, "Even value required."); //Require() 具有可选的消息字符串
        uint balanceBeforeTransfer = address(this).balance;
        (bool success, ) = addr.call.value(msg.value / 2)("");
        require(success);
        // 如果转账失败,交易会被回滚
        assert(address(this).balance == balanceBeforeTransfer - msg.value / 2); // used for internal error checking
        return address(this).balance;
    }
}

详见 SWC-110[24] & SWC-123[25]

函数修饰器仅用于检查

modifier 中的代码通常是在主函数体之前执行的,因此任何状态变量的改变或外部合约调用都会违反Checks-Effects-Interactions[26]模式。而且,由于修饰器的代码和主函数体的代码不在一块,开发者可能会忽略修饰器中的代码。例如,在修饰器中的代码调用外部合约时,可能导致重入攻击。

代码语言:javascript
复制
contract Registry {
    address owner;

    function isVoter(address _addr) external returns(bool) {
        // Code
    }
}

contract Election {
    Registry registry;

    modifier isEligible(address _addr) {
        require(registry.isVoter(_addr));
        _;
    }

    function vote() isEligible(msg.sender) public {
        // Code
    }
}

在本例中,Registry 合约可以通过在 isVoter()调用 Election.vote() 方法来实施重入攻击。

注意 使用modifiers[27]来替换多个函数中的重复校验,例如 isOwner(),否则在函数内部使用 requirerevert 。这样合约代码更具可读性,并且易于审核。

警惕整数除法的四舍五入

所有整数除法四舍五入向下取整。如果需要更高的精度,建议使用乘数或者将分子和分母同时存储。(未来, Solidity 会支持 浮点型[28]

代码语言:javascript
复制
// bad
uint x = 5 / 2; // 结果是2,向下取整

在合约代码中,如果需要用到 x,可以使用乘数来解决精度问题。

代码语言:javascript
复制
// good
uint multiplier = 10;
uint x = (5 * multiplier) / 2;

存储分子和分母意味着可以在线下计算numerator/denominator

代码语言:javascript
复制
// good
uint numerator = 5;
uint denominator = 2;

权衡抽象合约和接口

接口和抽象合约都为智能合约提供了一种可自定义和可重复使用的方法。在 Solidity 0.4.11 中引入的接口与抽象合约相似,但是不能实现任何功能。接口对于在开发之前设计合约有用,但接口具有局限性,例如无法访问存储或从其他接口继承,而抽象合约可以。另外,需要注意的是,如果合约从抽象合约继承,则必须覆盖实现所有未实现的功能,否则它也将是抽象的。

Fallback 函数

让 Fallback 函数尽量简单

当向合约发送不带参数的消息(或没有匹配到合约方法)会自动调用Fallback 函数[29],并且,如果是使用.send().transfer()请求时,只会有 2,300 gas。如果你希望合约能够从.send().transfer()方法中接收到以太币,在 fallback 函数中,最多就是记录一个事件,如果需要有复杂操作,可以通过附加以太币来调用函数。

代码语言:javascript
复制
// bad
function() payable { balances[msg.sender] += msg.value; }

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

function() payable { require(msg.data.length == 0); emit LogDepositReceived(msg.sender); }
在 fallback 函数中检查消息长度

由于fallback 函数[30] 可以在无消息数据或未匹配到合约方法时被触发,因此,如果仅仅是使用 fallback 函数接收以太币,建议检查消息是否为空。否则,调用者可能因使用不正确调用了不存在的函数而得不到通知。

代码语言:javascript
复制
// bad
function() payable { emit LogDepositReceived(msg.sender); }

// good
function() payable { require(msg.data.length == 0); emit LogDepositReceived(msg.sender); }

在方法和状态变量中明确标记 payable

Starting from Solidity 0.4.0, every function that is receiving ether must use payable modifier, otherwise if the transaction has msg.value > 0 will revert (except when forced[31]). 从 Solidity 0.4.0版本起,函数如有需要接收以太币必须使用payable 修饰,否则如果msg.value > 0时,交易会被回滚。(强制发送除外).

注意:需要注意的是,payable修饰仅适用于外部调用。如果在同一个合约中,在 payable 修饰的方法中调用未被修饰的方法,即使 msg.value 大于 0 也不会出错。

在方法和状态变量中明确标记可见性

函数可以被标记为 external, public, internal or private。注意这些关键字的区别。例如,external修饰符完全可以替代public。对于合约中的状态变量,不能使用external。对函数和状态变量明确的标记可见性,可以比较清楚的知道谁可以调用谁不能调用。

  • External 修饰的函数是合约接口的一部分。一个使用 external 修饰的函数 f 不能在合约内部被调用(即不能直接f()调用,但可以this.f()调用)。external 修饰的函数在接收大数据时,可能会更有效。
  • Public 修饰的函数是合约接口的一部分,可以在内部或者外部被调用。对于 public 类型的变量,会自动生成 getter 方法。
  • Internal 修饰的函数和状态变量只能被内部访问,不需要使用this关键字。
  • Private 修饰的函数和状态变量其所在的合约可见,其继承的子合约不可见。注意: 合约内的所有内容对外部都是可见的,也包括 Private 修饰的内容\*[32].
代码语言:javascript
复制
// bad
uint x; // 默认是内部变量,但最好使用Internal显性修饰
function buy() { // 默认是public
    // public code
}

// good
uint private y;
function buy() external {
    // only callable externally or using this.buy()
}

function utility() public {
    // callable externally, as well as internally: changing this code requires thinking about both cases.
}

function internalAction() internal {
    // internal code
}

详见 SWC-100[33] 和 SWC-108[34]

明确 solidity 的具体版本

合约在部署时,应该选用测试时的版本。锁定 pragma 版本,可以避免部署时意外使用最新的版本,而最新的版本可能包含未知错误。合约也可能被其他人部署,合约开发者应该标明使用的编译器版本。

代码语言:javascript
复制
// bad
pragma solidity ^0.4.4;

// good
pragma solidity 0.4.4;

注意:一个浮动的 pragma 版本(即. ^0.4.25) 最适合使用 0.4.26-nightly.2018.9.25编译,但是这种方式不建议用于生产环。

警告:当合约打算供其他开发人员使用时,可以允许 Pragma 版本浮动,例如库或 EthPM 软件包中的合约。否则,开发人员就需要手动更新编译版本以便在本地编译。

详见 SWC-103[35]

使用事件监控合约

合约部署后,在很多情况下都需要对其进行监控,其中一种方法是查看合约的所有交易,因为合约之间的消息调用没有记录在区块里,通过交易查到的数据可能不满足需求。另外,区块中的数据只能查到输入参数,而不会记录状态实际发生的变化,以及事件可以在用户界面中用来触发函数。

代码语言:javascript
复制
contract Charity {
    mapping(address => uint) balances;

    function donate() payable public {
        balances[msg.sender] += msg.value;
    }
}

contract Game {
    function buyCoins() payable public {
        // 5% goes to charity
        charity.donate.value(msg.value / 20)();
    }
}

上述合约中,Game合约内部调用了 Charity.donate()。该交易在Charity合约的交易列表中是不存在的,只在内部交易里可见。

事件是记录合约变化的一种便捷的方式。事件产生的日志会与其他合约数据一起存在区块链中,可供审核使用。下方代码是对上方示例的改进,使用 event 事件记录了捐赠记录。

代码语言:javascript
复制
contract Charity {
    // define event
    event LogDonate(uint _amount);

    mapping(address => uint) balances;

    function donate() payable public {
        balances[msg.sender] += msg.value;
        // emit event
        emit LogDonate(msg.value);
    }
}

contract Game {
    function buyCoins() payable public {
        // 5% goes to charity
        charity.donate.value(msg.value / 20)();
    }
}

上述合约中,通过Charity合约进行交易(无论是否直接调用)都会记录在该合约的事件列表中,以及捐赠的金额。

注意:优先使用新版本 Solidity 的构造函数优先使用selfdestruct (而不是 suicide) , keccak256 (而不是 sha3)类似的构造/别名。类似的模式 require(msg.sender.send(1 ether))可以简化为使用 transfer(),如msg.sender.transfer(1 ether). 更新信息查看 Solidity 更新日志[36]

注意,内置方法可能会被覆盖

当前,Solidity 中的内置方法是可能被 覆盖[37]的。合约可以覆盖如 msgrevert()等内置方法。这种覆盖可能是有意为之[38], 但可能让合约的使用者误以为这是合约的真实行为。

代码语言:javascript
复制
contract PretendingToRevert {
    function revert() internal constant {}
}

contract ExampleContract is PretendingToRevert {
    function somethingBad() public {
        revert();
    }
}

合约用户(和审核员)应了解他们打算使用的所有合约源代码。

避免使用tx.origin

永远不用使用tx.origin做身份验证,授权用户使用 tx.origin 变量的合约通常容易受到网络钓鱼攻击的攻击,这可能会诱骗用户在有漏洞的合约上执行身份验证操作。

代码语言:javascript
复制
contract MyContract {

    address owner;

    function MyContract() public {
        owner = msg.sender;
    }

    function sendTo(address receiver, uint amount) public {
        require(tx.origin == owner);
        (bool success, ) = receiver.call.value(amount)("");
        require(success);
    }

}

contract AttackingContract {

    MyContract myContract;
    address attacker;

    function AttackingContract(address myContractAddress) public {
        myContract = MyContract(myContractAddress);
        attacker = msg.sender;
    }

    function() public {
        myContract.sendTo(attacker, msg.sender.balance);
    }

}

应该使用msg.sender来做身份验证(如果其它合约你得合约时,msg.sender为其他合约地址,而不是调用的用户地址)。

更多信息详见:Solidity 文档[39]

警告: 除了身份验证问题,tx.origin未来可能从以太坊协议中删除,如果使用tx.origin可能会造成未来的不兼容。Vitalik: 'Do NOT assume that tx.origin will continue to be usable or meaningful.'[40]

还需要注意的是,不能使用tx.origin来限制合约之间的互操作,因为使用tx.origin的合约不能被另一个合约使用。

See SWC-115[41]详见 SWC-115[42]

对时间戳的依赖

在合约中使用时间戳时,需要注意三个方面,特别是在涉及资金转移时。

时间戳可被操控

矿工可以操控区块的打包时间,请看下方合约[43]:

代码语言:javascript
复制
uint256 constant private salt =  block.timestamp;

function random(uint Max) constant private returns (uint256 result){
    // 为随机性获得最佳种子
    uint256 x = salt * 100/Max;
    uint256 y = salt * block.number/(salt % 5) ;
    uint256 seed = block.number/3 + (salt % 300) + Last_Payout + y;
    uint256 h = uint256(block.blockhash(seed));

    return uint256((h / x)) % Max + 1; //介于1到最大之间的随机数
}

当合约使用时间戳作为随机数的种子时,矿工可以在区块通过验证后的 15s 内发布时间戳,从而使得矿工可以预先计算出对自己有利结果。时间戳不是随机的,不应该在上下文中使用。

15 秒规则

以太坊黄皮书[44]只规定下个区块的时间需要比上一个大,但没有规定区块间隔时间区间[45] 。以太坊客户端 Geth[46] 和 Parity[47]都拒绝时间戳超过 15 秒的块。因此评估时间戳使用情况一个比较好的方法是:

注意: 如果与时间有关的事件的每次触发可以相差 15 秒并保持完整性,则可以安全地使用block.timestamp

避免使用block.number 作为时间戳

通过block.number属性和平均区块时间[48]可以评估区块的时间,但这种方法并不可靠,因为区块时间可能改变(例如分叉重组[49] 和 难度炸弹[50])。在使用 15 秒的规则来预估出块时间会更可靠。

详见 SWC-116[51]

慎用多重继承

在 Solidity 中使用多重继承时,了解编译器如何构造继承图谱非常重要。

代码语言:javascript
复制
contract Final {
    uint public a;
    function Final(uint f) public {
        a = f;
    }
}

contract B is Final {
    int public fee;

    function B(uint f) Final(f) public {
    }
    function setFee() public {
        fee = 3;
    }
}

contract C is Final {
    int public fee;

    function C(uint f) Final(f) public {
    }
    function setFee() public {
        fee = 5;
    }
}

contract A is B, C {
  function A() public B(3) C(5) {
      setFee();
  }
}

合约被部署时,按照从右到左的顺序线性继承(在关键字 is之后,按从最基层父类到最派生的子类的顺序列出)。合约 A 的继承顺序:

Final <- B <- C <- A

示例合约中最终 fee 的值是 5。开发人员可以通过对布尔类型的排序,可以隐藏子合约中一些关键信息。对于这种多重继承,需要仔细检查。

有关安全性和继承的更多信息,请查看本文。

详见 SWC-125[52]

使用接口类型代替地址以确保安全

当函数将合同地址作为参数时,最好传递接口或合约类型,而不是地址类型。如果该函数在源代码中的其他位置调用,则编译器将提供其他类型安全保证。

下方代码给出了两种方式:

代码语言:javascript
复制
contract Validator {
    function validate(uint) external returns(bool);
}

contract TypeSafeAuction {
    // good
    function validateBet(Validator _validator, uint _value) internal returns(bool) {
        bool valid = _validator.validate(_value);
        return valid;
    }
}

contract TypeUnsafeAuction {
    // bad
    function validateBet(address _addr, uint _value) internal returns(bool) {
        Validator validator = Validator(_addr);
        bool valid = validator.validate(_value);
        return valid;
    }
}

从下面的示例中可以看出上方合约TypeSafeAuction的好处。如果方法validateBet() 不是使用合约 Validator类型作为参数调用,则编译器将抛出以下错误:

代码语言:javascript
复制
contract NonValidator{}

contract Auction is TypeSafeAuction {
    NonValidator nonValidator;

    function bet(uint _value) {
        bool valid = validateBet(nonValidator, _value); // TypeError: Invalid type for argument in function call.
                                                        // Invalid implicit conversion from contract NonValidator
                                                        // to contract Validator requested.
    }
}

避免使用extcodesize检查是否为外部帐户

通常使用以下修饰符(或类似的检查)来验证是从外部帐户(EOA)还是合约帐户进行请求:

代码语言:javascript
复制
// bad
modifier isNotContract(address _a) {
  uint size;
  assembly {
    size := extcodesize(_a)
  }
    require(size == 0);
     _;
}

这个想法很简单:如果一个地址包含代码,则它不是 EOA,而是合约帐户。但是合约在构造期间没有源代码。使用extcodesize来检查合约地址会返回 0.下面示例,展示了如何规避此检查:

代码语言:javascript
复制
contract OnlyForEOA {
    uint public flag;

    // bad
    modifier isNotContract(address _a){
        uint len;
        assembly { len := extcodesize(_a) }
        require(len == 0);
        _;
    }

    function setFlag(uint i) public isNotContract(msg.sender){
        flag = i;
    }
}

contract FakeEOA {
    constructor(address _a) public {
        OnlyForEOA c = OnlyForEOA(_a);
        c.setFlag(1);
    }
}

由于合约地址可以预先计算,所以在某个区块中,对该地址的检查可能会失败。

警告: 这是一个比较细小的问题。如果只是为了防止其他合约能够调用您的合同,那么使用extcodesize来检查足矣。还有一种替代方法是检查(tx.origin == msg.sender)的值,这种方式也有自己的缺点[53]。在其他情况下,extcodesize检查可以满足需求。可以了解 EVM 的基本原理来判断。

过时的/历史的 建议

以下这些建议由于协议的更改或 solidity 版本升级而不再相关。在此仅作记录。

小心被 0 除 (Solidity < 0.4)

在 Solidity0.4 版本之前,除 0 返回零而不是引发异常。确保您至少运行版本 0.4。

区分函数和事件 (Solidity < 0.4.21)

在 events 中建议使用大写字母和添加前缀(建议使用 Log),以防止 functions 和 events 之间混淆的风险。对于 functions,除构造函数外,始终以小写字母开头。

注意: Solidity 在v0.4.21[54]版本中,引入了emit关键字来提交事件emit EventName();。从 0.5.0 开始,必需使用这个方式。

来源:https://consensys.github.io/smart-contract-best-practices/recommendations/

本翻译由 Cell Network[55] 赞助支持。

参考资料

[1]

登链翻译计划: https://github.com/lbc-team/Pioneer

[2]

六天: https://learnblockchain.cn/people/436

[3]

Tiny熊: https://learnblockchain.cn/people/436

[4]

重入攻击: https://consensys.github.io/smart-contract-best-practices/known_attacks#reentrancy

[5]

checks-effects-interactions 模式: https://learnblockchain.cn/docs/solidity/security-considerations.html#checks-effects-interactions

[6]

SWC-107: https://swcregistry.io/docs/SWC-107

[7]

重入攻击: https://consensys.github.io/smart-contract-best-practices/known_attacks#reentrancy

[8]

EIP 1884: https://eips.ethereum.org/EIPS/eip-1884

[9]

checks-effects-interactions pattern: https://learnblockchain.cn/docs/solidity/security-considerations.html#checks-effects-interactions

[10]

SWC-104: https://swcregistry.io/docs/SWC-104

[11]

gas limit的问题: https://consensys.github.io/smart-contract-best-practices/known_attacks#dos-with-block-gas-limit

[12]

SWC-128: https://swcregistry.io/docs/SWC-128

[13]

issue 61: https://github.com/ConsenSys/smart-contract-best-practices/issues/61

[14]

SWC-112: https://swcregistry.io/docs/SWC-112

[15]

SWC-132: https://swcregistry.io/docs/SWC-132

[16]

Vickrey auctions: https://en.wikipedia.org/wiki/Vickrey_auction

[17]

承诺方案: https://en.wikipedia.org/wiki/Commitment_scheme

[18]

http://btcrelay.org: http://btcrelay.org

[19]

RANDAO: http://github.com/randao/randao

[20]

*: https://ethereum.stackexchange.com/questions/419/when-can-blockhash-be-safely-used-for-a-random-number-when-would-it-be-unsafe

[21]

将导致相同的数字: https://en.wikipedia.org/wiki/Two%27s_complement#Most_negative_number

[22]

强制向合约地址发送以太币: #remember-that-ether-can-be-forcibly-sent-to-an-account

[23]

*: https://learnblockchain.cn/docs/solidity/control-structures.html#assert-require-revert

[24]

SWC-110: https://swcregistry.io/docs/SWC-110

[25]

SWC-123: https://swcregistry.io/docs/SWC-123

[26]

Checks-Effects-Interactions: https://learnblockchain.cn/docs/solidity/security-considerations.html#checks-effects-interactions

[27]

modifiers: https://solidity.readthedocs.io/en/develop/contracts.html#function-modifiers

[28]

浮点型: https://solidity.readthedocs.io/en/develop/types.html#fixed-point-numbers

[29]

Fallback 函数: http://solidity.readthedocs.io/en/latest/contracts.html#fallback-function

[30]

fallback 函数: http://solidity.readthedocs.io/en/latest/contracts.html#fallback-function

[31]

except when forced: https://consensys.github.io/smart-contract-best-practices/recommendations/#remember-that-ether-can-be-forcibly-sent-to-an-account

[32]

*: https://solidity.readthedocs.io/en/develop/contracts.html?#visibility-and-getters

[33]

SWC-100: https://swcregistry.io/docs/SWC-100

[34]

SWC-108: https://swcregistry.io/docs/SWC-108

[35]

SWC-103: https://swcregistry.io/docs/SWC-103

[36]

Solidity 更新日志: https://github.com/ethereum/solidity/blob/develop/Changelog.md

[37]

覆盖: https://en.wikipedia.org/wiki/Variable_shadowing

[38]

有意为之: https://github.com/ethereum/solidity/issues/1249

[39]

Solidity 文档: https://learnblockchain.cn/docs/solidity/security-considerations.html#tx-origin

[40]

Vitalik: 'Do NOT assume that tx.origin will continue to be usable or meaningful.': https://ethereum.stackexchange.com/questions/196/how-do-i-make-my-dapp-serenity-proof/200#200

[41]

SWC-115: https://swcregistry.io/docs/SWC-115

[42]

SWC-115: https://swcregistry.io/docs/SWC-115

[43]

合约: https://etherscan.io/address/0xcac337492149bdb66b088bf5914bedfbf78ccc18#code

[44]

以太坊黄皮书: https://ethereum.github.io/yellowpaper/paper.pdf

[45]

没有规定区块间隔时间区间: https://ethereum.stackexchange.com/a/5926/46821

[46]

Geth: https://github.com/ethereum/go-ethereum/blob/4e474c74dc2ac1d26b339c32064d0bac98775e77/consensus/ethash/consensus.go#L45

[47]

Parity: https://github.com/paritytech/parity-ethereum/blob/73db5dda8c0109bb6bc1392624875078f973be14/ethcore/src/verification/verification.rs#L296-L307

[48]

平均区块时间: https://etherscan.io/chart/blocktime

[49]

分叉重组: https://blog.ethereum.org/2015/08/08/chain-reorganisation-depth-expectations/

[50]

难度炸弹: https://github.com/ethereum/EIPs/issues/649

[51]

SWC-116: https://swcregistry.io/docs/SWC-116

[52]

SWC-125: https://swcregistry.io/docs/SWC-125

[53]

也有自己的缺点: https://consensys.github.io/smart-contract-best-practices/recommendations/#avoid-using-txorigin

[54]

v0.4.21: https://github.com/ethereum/solidity/blob/develop/Changelog.md#0421-2018-03-07

[55]

Cell Network: https://www.cellnetwork.io/?utm_souce=learnblockchain

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2020-12-17,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 深入浅出区块链技术 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 协议相关的建议
    • 外部调用
      • 在合约中请求外部合约时需谨慎
      • 标记不可信合约
      • 避免调用外部合约后更改自身合约状态
      • 不使用transfer() 或 send()
      • 调用外部合约时要对错误进行处理
      • 调用外部合约时,被动比主动好
      • 不要委托调用不可信的合约
    • 谨记,以太币可以被强行发送到某个地址中
      • 谨记,链上的数据都是公开的
        • 注意,某些参与者可能下线而不会有返回值
          • 警惕最大负整数的否定
          • Solidity 特定建议
            • 使用assert()验证不变量
              • 正确使用assert(), require(), revert()
                • 函数修饰器仅用于检查
                  • 警惕整数除法的四舍五入
                    • 权衡抽象合约和接口
                      • Fallback 函数
                        • 让 Fallback 函数尽量简单
                        • 在 fallback 函数中检查消息长度
                      • 在方法和状态变量中明确标记 payable
                        • 在方法和状态变量中明确标记可见性
                          • 明确 solidity 的具体版本
                            • 使用事件监控合约
                              • 注意,内置方法可能会被覆盖
                                • 避免使用tx.origin
                                  • 对时间戳的依赖
                                    • 时间戳可被操控
                                      • 15 秒规则
                                        • 避免使用block.number 作为时间戳
                                          • 慎用多重继承
                                            • 使用接口类型代替地址以确保安全
                                              • 避免使用extcodesize检查是否为外部帐户
                                              • 过时的/历史的 建议
                                                • 小心被 0 除 (Solidity < 0.4)
                                                  • 区分函数和事件 (Solidity < 0.4.21)
                                                    • 参考资料
                                                    相关产品与服务
                                                    多因子身份认证
                                                    多因子身份认证(Multi-factor Authentication Service,MFAS)的目的是建立一个多层次的防御体系,通过结合两种或三种认证因子(基于记忆的/基于持有物的/基于生物特征的认证因子)验证访问者的身份,使系统或资源更加安全。攻击者即使破解单一因子(如口令、人脸),应用的安全依然可以得到保障。
                                                    领券
                                                    问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档