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

原文链接：https://x.com/PercolatorTrade/status/2117990370558529970

声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。