卡尔达诺审计报告

介绍

卡尔达诺采用了一种同行评审的方法来进行用于协议开发的科学研究。我们认为工程开发也应该和协议开发一样基于同行评审。因此,为了审核 IOHK 的工程项目结果,卡尔达诺基金会聘请了 FP Complete 来对 IOHK 的卡尔达诺开发团队完成的工程项目进行第三方审计。这不仅能让卡尔达诺项目更加透明公开,而且 IOHK 也能够利用这次机会来优化用于实现卡尔达诺的工程方法和编码标准。从 2018 年 2 月起,FP Complete 将为卡尔达诺基金提供定期报告,并与社区分享详细的审计结果。

这种发展方式是独一无二的,证明了卡尔达诺对创新和技术严谨的承诺。

请注意:我们每月都会准备一份报告,并且我们将在每月的最后一天提交报告。我们会将 FP Complete 提供的报告发送给 IOHK 进行检阅,并让 IOHK 在两周内提供答复。由于这是 FP Complete 第一次发布报告,我们对发布过程的测试和报告格式的修正导致了一些延误。我们以后的目标是保证技术审计报告的发布日期和过程如期而至。

关于FP COMPLETE

FP Complete 是一家先进的开源服务器端软件开发和 DevOps 咨询公司。他们专注于帮助金融科技公司解决与数据和信息的完整性,数据安全,架构设计,系统集成和合规性相关的问题。FP Complete 使用 Haskell 编程语言对函数式编程社区所做出贡献获得了全球的认可, 帮助无数公司提高了交付软件产品的速度和质量。从财富 500 强的生物技术公司到小型区块链的金融科技软件公司,他们解决了独特而复杂的问题,并获得了专业的成果。

报告

卡尔达诺审计报告

由FP Complete并与卡尔达诺基金会合作完成
2018年2月

此报告基于以下提交:

• cardano-sl: 535c36cf9496958e96aabf57bb875012060b3b34
• daedalus: d9afc5d4308b3b0f8f2467d3db8bb54c4746537e

注意:本报告旨在公开发行。

这份审计报告应仅被视为初步工作。审计报告还不是完整的。该项目的关键部分还尚未被审查。里面的一些陈述可能不正确。我们将在未来的报告中努力改进这些问题。

Back to top