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

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

📰 来源：jinse.com.cn

💬 引用锚点
Percolator 主网测试版将设置额度上限，以控制潜在风险。
项目已公开交易引擎、程序、keeper、启动器和 SDK 等核心代码，并提交超过 500 项形式化验证证明。
项目方强调形式化验证不能替代外部审计，目前尚未完成外部安全审计。

常见问题

Percolator 项目目前是否已完成外部审计？▼
Percolator 主网测试版有哪些限制措施？▼
项目团队采取了哪些安全措施来保障代码质量？▼
形式验证是否可以替代外部审计？▼
Percolator 项目的代码是否公开透明？▼