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