假如在执行的任何时候不确定智能合约的稳定量是否创立，则应制止挪用其他（不行信）智能合约，因为它们大概会被重入。 假如我们别无选择，可以实验利用ReentrancyGuard来防备可重入。
重入自己不是问题。当智能合约以“纷歧致”状态从头输入时，就会呈现问题。当智能合约特定的稳定量创立时，状态被认为是一致的。譬喻对付ERC20主要稳定性是所有智能合约余额的总和不高出已知的总供给量。
可是我们应该对这种要领不满足，因为它容易受到工钱错误的影响：措施员必需正确地应用它，而审阅者必需发明任何错误。是否可以减轻穷人的这种责任？
“以少量气体运行代码”的一个特例是任何Solidity智能合约中的fallback函数，，因为它是由Solidity的transfer函数或Solidity和Vyper的send函数触发的以太坊通报进程中运行的代码。transfer和send都只答允以太坊的吸收者以2300的气体（实际上是零）。伊斯坦布尔到分叉后，靠近此限制的fallback函数大概会遏制事情，而任何挪用这些函数的智能合约都将在有限的气体中遏制事情。
此刻，我们将看到几种抵制这些进攻的要领。
我们应该提到的第一种技能称为Checks-Effects-Interactions模式。 它描写了一种在函数中组织语句的要领，以使智能合约的状态在调出其他智能合约之前处于一致的状态。通过将每个语句分类为查抄，结果（状态变动）或交互浸染，并确保严格凭据此顺序举办操纵来完成此操纵。通过在交互之前安排结果，我们可以确保所有状态变动都在任何潜在的重入点之前完成，从而使状态保持一致。
}
什么是可重入进攻？
值得一提的是，提款成果可以由任何人挪用，而不只仅是吸收方。这意味着收款人无需知道这是预付款的方针，这在现有的智能合约无法自行付款时尤其重要。
ReentrancyGuard（重入掩护）是一段代码，当检测到重入时，该执行会导致执行失败。OpenZeppelin合约中有一个称为ReentrancyGuard（重入掩护）的模式实现，该模式提供了nonReentrant修饰符。将此修饰符应用于函数将使其变为“不行重入”，而且通过从头挪用将拒绝从头输入该函数的实验。
即将于12月初推出的伊斯坦布尔硬分叉包罗EIP1884：“限制trie巨细有关的操纵码”。要害字是“限制”，这意味着某些指令此刻将耗费更多的气体来执行。最近对此举办了许多接头的原因是现有的可以少量气体运行代码，硬分叉后大概高出该限制，并导致会呈现“out of gas”错误。
由于操纵码订价不不变，我们不能再依赖转移了，因此在后伊斯坦布尔世界中，重入变得不行制止。进攻者可以将其用于粉碎状态稳定性时挪用不信任帐户的合约。有须要通过按照checks-effects-interactions模式组织代码，或利用诸如ReentrancyGuard（重入掩护）法子或Pull Payments（提款付出法）等东西来对我们的合约举办编程，以防备重入进攻。这里的稳定之处在于，智能合约中的资金额便是余额映射中所有条目标总和。在第三行执行挪用期间，由于_amount资金已转出，但余额尚未更新，因此稳定量被粉碎了。 由于msg.sender可以是智能合约，因此同一挪用答允重入。 假如进攻者此时触发了重入，他们将可以或许从破碎的稳定量中赢利。
总 结
Checks-Effects-Interactions（查抄-结果-交互）
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
