我见过的最干净的预审计代码库奖（到目前为止）颁给：Aave v4。 尽管复杂性很高，但几乎没有任何人们在如此规模的代码库中预期会出现的“简单”问题。 我怀疑这是一种谨慎设计、持续应用最佳实践（例如，明确的舍入、检查类型转换）以及利用模糊测试和不变式的详细测试套件的结合。

在高压舱中小憩，真是让你感觉焕然一新。

PSA：一位知名的“区块链安全工程师” (@0xNickLFranklin) 竟然是朝鲜的操作者……我注意到我的一些粉丝/互粉也关注了他。别觉得不好意思，他骗了所有人，只是至少不要相信他发给你的任何东西。