币安资助区块链初创公司CertiK数百万美元

近日，加密货币交易所币安（Binance）的孵化部门币安实验室（Binance Labs）已向智能合约及区块链审计初创公司CertiK投资数百万美元。

CertiK的研发目标是创建正式的验证流程以维护智能合约和区块链平台的安全，该团队目前正在确保现有的区块链平台不包含可能导致资金损失或其他任何安全问题的漏洞。

CertiK成立于2017年，创始人之一是耶鲁大学教授劭中，劭中与哥伦比亚大学教授顾荣辉以开发了名为CertiKOS的认证操作系统而闻名。

CertiK的团队将使用数学的方法来评估黑客是否能够破坏某一系统，包括基于图层的分解方法，可插拔证明引擎，机器可检查证明对象，经过认证的分散应用程序库和智能标签。CertiK声称通过这些方法可以客观地确认区块链平台的安全性。

虽然币安实验室没有透露投资总额，但一位发言人表示有数百万美元。该实验室CEO Ella Zhang指出，CertiK的平台解决了区块链领域的一个重点需求。CertiK在数学层面验证了智能合约的安全性，这是区块链生态系统中面临的一个关键痛点，能够弥补人工检测的局限性。

Ella Zhang进一步表示，这项投资表明了币安对区块链行业正式验证重要性的认可。鉴于其历史和成熟的技术，CertiK在该领域具有独特优势。

CertiK的技术包括CertiKOS，目前该技术已运用于企业和军事领域，且是美国国防高级研究计划局（DARPA）使用的工具之一。