查看原文
其他

安全聚焦 | CertiK已完成对FrenchICO的安全审计

CertiK CertiK 2021-02-05

FrenchICO作为一家法国公司,开发了使用加密货币为项目融资的平台。其发展的愿景是为市场提供数量最多的融资解决方案,并且找到传统融资的替代方案。

2019年12月17日,法国金融监管机构金融市场管理局(Autorité des Marchés Financiers 简称:AMF)批准了FrenchICO首次代币发行的申请,这同样是法国首次批准机构在境内发行其代币。

ICO发行面临着诸多挑战,这些挑战以投资者和政府为核心,涉及到双方提供的资金、相互信任度以及行为规范等问题。
FrenchICO项目具有十分独特的商业模式及明确的发展目标,同时也能将区块链生态系统和数字金融新领域相连接,这都为其团队日后取得成功打下了基础。

审计过程
FrenchICO团队选择CertiK为其提供安全审计服务,对其以Minime为基础的智能合约的设计和其实践情况进行安全审计。
在深度审计过程中,CertiK应用了多种方式对FrenchICO的源代码进行审计。其中包括应用其独有的形式化验证引擎进行机器自动审计,又委派专业的安全团队进行人工复核。形式化验证可应用数学方法针对代码中所有变量的所有可能情况进行审计,从而在数学层面上确保代码的安全运行以及合约的安全性。
审计亮点
1. CertiK针对所有普通漏洞和罕见攻击进行了测试
2. 评估了其代码库是否符合当前的最佳实践和行业标准
3. 确保了合约逻辑符合设计规范和设计意图
4. 与其行业领先公司所设计的相似智能合约进行了合约结构对比
5. 安全团队对整个代码库进行了逐行人工复核
审计期间,CertiK的安全团队与FrenchICO的工程师多次互动,针对修复合约中存在的关键漏洞以及在审计过程中发生的设计变更进行了信息交互
在双方团队对源代码进行了安全强化后,CertiK认为,FrenchICO的合约已经遵循良好实践,且不易受到任何经典漏洞的攻击。


了解更多

General Information: info@certik.org

Audit & Partnerships: bd@certik.org

Website: certik.org

Twitter: @certik.org

Telegram: t.me/certik.org

Medium:medium.com/certik

币乎:bihu.com/people/1093109


往期回顾

请点击“阅读原文”访问CertiK官方网站

    您可能也对以下帖子感兴趣

    文章有问题?点此查看未经处理的缓存