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

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