审计

将列出的内容

每次审计都会列出：审计方、范围（合约与提交版本）、日期、完整报告，以及每项发现的处理情况。已审计合约的每次升级都会注明其经过的审查。

目前已有的

合约有单元测试、模糊测试和不变式测试，其算法的 TypeScript 镜像也与合约生成的测试向量核对。这些是测试，不是审计。