如果你从事软件工程方面的工作，很可能你听说过至少一条软件工程原则。虽然我不主张严格遵守每一条原则，但有一些确实是值得关注的。
我今天要讲的就是最小惊讶原则，它有一个奇特的名字，但却是一个非常简单的想法。它所说的是，当呈现声称要做某件事的代码时，大多数用户都会假设它是如何完成这件事的。因此，作为开发人员，你的工作是编写符合这些假设的代码，这样你的用户就不会感到意外。
这是一个很好的原则，因为开发人员喜欢对事物进行假设。如果你导出一个名为calculateScore(GameState) 的函数，很多人就会假设该函数只会从游戏状态中读取。如果你还改变了游戏状态，你会使得很多人面临困惑的状态，他们试图弄清楚为什么他们的游戏状态会随机被破坏。即使你把它放在文档中，仍然不能保证人们会看到它，所以最好首先确保你的代码不会令人惊讶。
“6小时的调试工作，可以为你们节省5分钟的文档阅读时间。”
越安全越好，对吗？
早在 2018 年初，当ERC-721 标准被起草出来时，有人就提出了实施转账安全性的建议，以确保代币不会被卡在不用于处理代币的接受者合约中。为此，提案作者修改了transfer函数的行为，以检查接收方是否能够支持代币转账。他们还引入了unsafeTransfer函数，如果发送者愿意，该函数将绕过这个检查。
然而，由于担心向后兼容性，这个函数在随后的提交中被重命名了。这使得ERC-20 和 ERC-721 代币的transfer函数表现相同。但是，现在需要将接收方检查转移到其他地方。因此，标准作者就引入了safe类函数：safeTransfer 以及 safeTransferFrom。
这是一个关于正当性问题的解决方案，因为有许多 ERC-20 代币被意外转移到从未期望收到代币的合约的例子（一个特别常见的错误是将代币转移到代币合约中，将其永久锁定）。而在起草 ERC-1155 标准时，提案作者从ERC-721标准汲取了灵感，不仅在转账时，而且在铸造（mint）也纳入了接收方检查，这一点也不足为奇。
在接下来的几年里，这些标准大多处于休眠状态，而 ERC-20代币标准保持了它的流行状态，而最近gas成本的飙升，以及社区对
你可能觉得这个函数看起来非常合理。然而，正如你可能已经预料到的，在 _safeMint 调用中隐藏着一些险恶的东西。 让我们来看看。
为了安全性，这个函数对token的接受者执行了一次callback回调，以检查他们是否愿意接受转账。然而，我们是token的接收者，这意味着我们刚刚得到了一次callback回调，在这个点上我们可以做任何我们想做的事情，包括再次调用mint
下面是_wrap函数本身，这里没有什么特别的。
不幸的是，正是这个 _mint 函数，它可能会给毫无戒心的开发者带来可怕的惊喜。ERC-1155 规范规定，在铸造token时，应咨询接收者是否愿意接受该token。在深入研究库代码（该代码库根据OpenZeppelin的基础稍作了修改）后，我们发现情况确实如此。
但这到底对我们有什么好处呢？好的，我们再一次看到了一个不安全的外部调用，我们可以用它来执行重入攻击。具体地说，请注意，在callback回调期间，我们拥有了代币ENS域名的ERC-1155 token，但域名封装器尚未验证我们拥有基础ENS域名本身。这使我们能够在不实际拥有ENS域名的情况下对其进行操作。例如，我们可以要求域名封装器解开我们的域名，燃烧掉我们刚刚铸造的token并获取底层的ENS域名。
现在我们拥有了底层的ENS域名，我们可以用它做任何我们想做的事情，比如注册新的子域名或者设置解析器。完成后，我们只需退出callback回调。域名封装器将和底层ENS域名的当前所有者（即我们）交互，并完成交易。就像那样，我们已经取得了域名封装器被批准用于的任何ENS域名的临时所有权，并对其进行了任意更改。
结论
令人惊讶的代码可能会以灾难性的方式破坏事物。在本文的两个案例下，开发人员合理地假设safe函数类可以安全地使用，却无意中增加了他们的攻击面。随着ERC-721和ERC-1155代币标准变得越来越流行及广泛，这类攻击情况很可能会越来越频繁。开发人员需要考虑使用safe类函数的风险，并确定外部调用如何与他们编写的代码进行交互。
