加入我们，与哥大教授共建可信赖的区块链系统！

CertiK的联合创始人，哥伦比亚大学的顾荣辉教授在哥大校友活动上发表了讲话，他谈到了区块链的安全问题，形式化验证如何帮助解决这些问题，以及CertiK为建立可靠的区块链系统所做的工作等内容。