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

所属事件

Percolator 披露未接受外部审计

Percolator 项目方 11 月 4 日披露，其尚未接受外部审计，主网测试版将设上限。项目方称交易引擎、程序、keeper、启动器和 SDK 已公开，交付代码包含超过 500 项 Kani 形式化验证证明，其中相当一部分继承自 Anatoly Yakovenko 的 Percolator 引擎，项目自身也针对质押池、LP 金库、撮合器及引擎修改编写了证明，并强调形式化验证不能替代外部审计。当前材料未提供主网测试上限的具体数值与外部审计安排。

读懂这条消息

来自 Learn 的概念与核对方法，帮助理解新闻中的机制和口径。