Percolator称尚未接受外部审计 主网测试版将设上限

11月4日，据Percolator项目方披露，其尚未接受外部审计，主网测试版将设上限。项目方表示，交易引擎、程序、keeper、启动器和SDK已公开，交付代码含超过500项Kani形式化验证证明，其中相当一部分继承自Anatoly Yakovenko的Percolator引擎；项目自身亦针对质押池、LP金库、撮合器及引擎修改编写了证明。项目方强调，形式化验证不能替代外部审计。(金色财经)