Percolator启动测试网，设定交易上限并公示验证成果

11月4日，Percolator项目方发布最新进展，宣布其主网测试版本将引入交易上限机制，以控制初期网络负载与风险暴露。项目方指出，核心组件如交易引擎、程序模块、keeper、启动器及SDK均已开源，且交付代码包含超过500个Kani形式化验证证明。

多模块完成形式化验证，部分源自知名开发者引擎

其中，大量验证逻辑继承自Anatoly Yakovenko所主导的Percolator引擎架构。项目团队还针对质押池、LP金库、撮合器以及底层引擎修改等关键模块，独立构建了专属的形式化验证集，进一步强化系统可信度。

强调形式化验证无法取代第三方审计

尽管技术实现具备高度严谨性，项目方仍明确声明，形式化验证不能替代独立的外部审计流程，未来仍将推进专业机构审查工作，以确保整体安全体系的全面覆盖。