tradingkey.logo
搜索

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

金色财经2026年11月4日 14:49
facebooktwitterlinkedin

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

免责声明:本网站提供的信息仅供教育和参考之用,不应视为财务或投资建议。

推荐文章

tradingkey.logo
风险提示:我们的网站和移动应用程序仅提供关于某些投资产品的一般信息。Finsights 不提供财务建议或对任何投资产品的推荐,且提供此类信息不应被解释为 Finsights 提供财务建议或推荐。
投资产品存在重大投资风险,包括可能损失投资的本金,且可能并不适合所有人。投资产品的过去表现并不代表其未来表现。
Finsights 可能允许第三方广告商或关联公司在我们的网站或移动应用程序的任何部分放置或投放广告,并可能根据您与广告的互动情况获得报酬。
© 版权所有: FINSIGHTS MEDIA PTE. LTD. 版权所有