我们自豪地宣布，我们为 Superform 编写的 Invariant Suite 现在已公开！ 该套件是为期 4 周的不变性测试工作和为期 3 周的审计并行进行的成果。 数千行代码，测试了 120 个属性。 链接在我们的审计页面！