Percolator 披露未接受外部审计
当前进展与背景
最新公开报道
最近报道 ·Percolator：尚未接受外部审计，主网测试将设上限
Percolator 项目方 11 月 4 日披露，其尚未接受外部审计，主网测试版将设上限。项目方称交易引擎、程序、keeper、启动器和 SDK 已公开，交付代码包含超过 500 项 Kani 形式化验证证明，其中相当一部分继承自 Anatoly Yakovenko 的 Percolator 引擎，项目自身也针对质押池、LP 金库、撮合器及引擎修改编写了证明，并强调形式化验证不能替代外部审计。
深潮 TechFlow · Web3 资讯 · 查看报道与出处 →报道时间不等于事件生效时间；具体状态与适用对象请对照来源。
背景综述 · AI 整理
以下帮助了解背景；涉及安排、版本或状态时，以较新的具体报道为线索核对。
Percolator 项目方 11 月 4 日披露，其尚未接受外部审计，主网测试版将设上限。项目方称交易引擎、程序、keeper、启动器和 SDK 已公开，交付代码包含超过 500 项 Kani 形式化验证证明，其中相当一部分继承自 Anatoly Yakovenko 的 Percolator 引擎，项目自身也针对质押池、LP 金库、撮合器及引擎修改编写了证明，并强调形式化验证不能替代外部审计。当前材料未提供主网测试上限的具体数值与外部审计安排。
综述整理于
后续待核候选
以下较新报道与本事件出现相同名称及状态变化词，尚未确认为同一事件进展，不据此改变当前结论。请核对涉及对象与原始依据。
- Solana 永续合约平台 Percolator 披露两项修复 →
深潮 TechFlow · Web3 资讯 ·
报道时间线
沿着报道，了解事件的不同侧面。
- 深潮 TechFlow · Web3 资讯Percolator：尚未接受外部审计，主网测试将设上限
Percolator 项目方 11 月 4 日披露，其尚未接受外部审计，主网测试版将设上限。项目方称交易引擎、程序、keeper、启动器和 SDK 已公开，交付代码包含超过 500 项 Kani 形式化验证证明，其中相当一部分继承自 Anatoly Yakovenko 的 Percolator 引擎，项目自身也针对质押池、LP 金库、撮合器及引擎修改编写了证明，并强调形式化验证不能替代外部审计。