CertiK今日正式宣布CertiK Chain测试网上线

今日，区块链安全公司CertiK正式宣布CertiK Chain测试网上线。CertiK Chain旨在以可访问、可兼容的方式利用CertiK独有的形式化验证平台，来从系统层面解决区块链安全问题。CertiK开发团队围绕安全进行了自下而上的整体构建，如在基础层上使用CertiK虚拟机（CVM），完整节点将运行在防黑客系统CertiKOS上，并开发了DeepSEA语言来创建安全智能合约等。CertiK由耶鲁大学计算机系系主任邵中教授与哥伦比亚大学顾荣辉教授于2017年创立，专注于区块链安全领域，已成功保护累计超过45亿美元的加密资产。