Cardano Devs IOG 分享了第三方代码库审计的第一个细节

发表于 2022年5 月19日星期四上午 9:12:22

总部位于俄勒冈州的网络安全提供商 Galois, Inc. 已审核了 Cardano (ADA) 开发人员 Input Output Global (IOG) 的新点对点 (P2P) 网络代码库。

非常高的代码质量，没有错误：审计结果

根据 Input Output Global (IOG) 开发人员（Cardano 去中心化解决方案的工程师）共享的官方公告，他们的新点对点网络工具通过了安全检查。

向 IOG 网络团队致敬，感谢他们在新的点对点 (P2P) 网络代码库上的出色工作。这是来自我们的合作伙伴@galois，他最近审核了代码👇 #Cardano pic.twitter.com/OIlamQ1f4X

— IO_Eng (@IOG_Eng) 2022 年 5 月 18 日

根据新帐户@IOG_Eng 在 Twitter 上共享的屏幕截图，审计员 – Galois, Inc. – 确认代码质量非常高。

他们还强调，安全、可靠和抗攻击的开发人员体验需要所有必要的测试基础设施 (QuickChecks)。

在阅读和分析代码时，审计人员发现了零错误或潜在的漏洞。因此，该系统没有危险的攻击媒介。

卡尔达诺 (ADA) 的点对点网络测试网系统于 2021 年 12 月在测试网中上线。

正如 U.Today 之前报道的那样，卡尔达诺（ADA）正接近几个月来最重要的更新，即 Vasil 硬分叉。它的测试网最早可能会在 2022 年 5 月下旬公布。

Vasil 硬分叉将实施四个 Cardano (ADA) 改进建议或 CIPS：CIP-31（参考输入）、CIP-32（内联基准）、CIP-33（参考脚本）和 CIP-40（附带输出））。