广告

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

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

发表我的意见

专栏作者

3195

文章

0

提问

152万+

阅读量

0

回答

11万+

被赞

0

余额

关于我们 联系我们 加入我们 免责声明 广告服务 Sitemap 标签Tag 侵权文章删除:13607219@qq.com 微信:wenlian123com Investor Relations © 2025 金牌网 中值联认证中心(北京)有限公司版权所有 ICP备案:京ICP备20020888号 增值电信经营许可证:京B2-20201851