区快洞察消息，形式化验证服务商 CertiK 宣布上线 CertiK 公链测试网，旨在设计一个数学上可证安全的公链。CertiK 公链由 DeepSEA 语言开发，目标是让普通开发者也可以编写形式化验证的智能合约。该团队表示，将现有区块链和安全功能集成在一起是自身突围激烈公链竞争的优势，「只要有一些 DApp 有很高的安全性要求，即使它们已经在其他公链上运行，也有需求通过跨链技术部署 CertiK 公链 提供的安全功能。」CertiK 团队表示，其安全审计业务作为一个使用场景目前已经实现盈利，这对于一个处于测试网阶段的区块链项目公司尚属少见。据 Block123 com 信息，CertiK 由耶鲁大学计算机系系主任邵中教授与哥伦比亚大学顾荣辉教授创立，曾获得光速中国和币安孵化器投资，通过形式化验证的方法为智能合约和区块链应用提供代码安全服务。