区块链审计启动CertiK从币安实验室得到支持
比特币交易所币安的公司有一个名为币安实验室(Binance Labs)的部门，帮助他们投资初创公司和其他项目。周一，币安实验室(Binance Labs)在一份声明中透露，他们已经与一家名为CertiK的新创业公司进行了合作。
CertiK专注于智能合约和区块链审计，他们希望在这些类型的平台上创建更好的安全性。验证过程非常正式，团队已经在现有的区块链平台上进行工作，消除了任何区块链bug的风险。这些漏洞通常与资金或技术中的其他漏洞有关，从而造成更糟糕的问题，但CertiK的使用可以发挥作用。
该公司从去年开始就一直致力于他们的项目，这是由于耶鲁大学教授钟绍的工作。Shao已经相当成功了，已经开发出了最终成为CertiKOS的“认证操作系统”。该项目得到了哥伦比亚大学助理教授顾荣辉的协助。
为了执行他们的审计程序，CertiK的团队使用数学证明，将它们应用到网络上，以检查黑客有可能破坏系统的机会。在这次发布中，该团队的方法包括:
“基于分层的分解方法、可插拔的证明引擎、可机器检查的证明对象、认证的(分散应用)库和智能标签。”
有了这些选项，研究人员相信他们有能力客观地判断平台的安全性。
尽管币安实验室一直对自己的投资金额保持低调，但一位发言人证实，他们在该公司的股票价值“数百万”美元。首席执行官张爱玲讨论了CertiK是区块链行业不可或缺的一部分，她说，
“CertiK绕过了人工检测的局限性，从数学上验证了智能合约的安全性，这是我们在区块链生态系统中面临的一个关键痛点。”
声明还说，他们的投资“标志着对区块链行业正式认证重要性的认识”。它还声称，基于所使用的技术，它有一个“独特的优势”。该技术包括CertiKOS，它已经是美国国防高级研究计划局(DARPA)使用的工具之一。
除了最近与币安实验室(Binance Labs)的投资，CertiK还有几家合作伙伴。其中一些合作伙伴包括NEO和Ontology。有了所有这些支持，CertiK可以更容易地改进其安全协议和技术。