世界日交易量最大的密码货币交易所的孵化及投资机构币安实验室，在披露该项目作为首选项目之一的几个月后，已披露其在连锁和智能合同验证初创公司CertiK中的主要投资者地位。投资。
10月8日，总部位于纽约的CertiK公司发布了一份新闻稿，币安 Labs为该项目的数学方法做出了数百万的贡献，以证明连锁生态系统是抗黑客和无bug的。投资集团首席执行官Ella Zhang表示：
“CertiK在数学上验证了智能契约–的安全性，它是我们正在绕过手动检测的限制的块链生态系统–中面临的一个关键痛点。
此举将揭示币安对CertiK的承诺的深度，该交易所的创始人赵昌鹏(Changpeng’CZ’.)在9月份的一条微博中悄悄称赞了该项目的自动扫描bug检测引擎：
很酷。http://t/CO/PTFJVEEZUZ＆MADASH；CZWPA6011601PCT（@ CZYWPA6011601PCT）2018年9月1日
杀戮大虫子
这支CertiK球队显然是个学术团体，它似乎已经从常春藤联盟的大厅里被拉出来了，进入了似乎满是漏洞的锁链世界。该项目引用了耶鲁大学和哥伦比亚大学的创始成员——学者，根据耶鲁大学的说法，他们在过去几十年里一直在处理数学软件证明。
相关：耶鲁大学深入研究隐密码市场现在，CertiK引用了灾难性的错误，比如DAO的远古，360万的Ether，硬叉引发的智能合同黑客，它基于其创造世界第一种抗黑客的并发操作系统的遗产，声称是数学上证明的在链链生态系统的所有组件中都没有bug，包括DAPPS和智能合同。
CertiK’s的首席执行官Daryl Hok向该项目的学术祖先表示敬意，强调这项投资将有助于CertiK把培根带回家。他说：
达里尔·霍克说：我们非常高兴能够得到世界顶级交易所之一的支持。随着学术界开始发表的研究，我们相信币安实验室是加速我们独特技术进入更广阔的链条空间的完美伙伴。WPAP60300 6QTE