链闻消息,CertiK 基金会宣布现已正式开源 CertiK Chain。目前已开放使用的产品包括 CertiK Chain、去中心化 CertiK 安全预言机、用于编写安全智能合约的安全编程语言和编译器工具链 DeepSEA 工具链。链闻此前报道,9 月 7 日,CertiK 发布基于 CertiK 链的去中心化安全预言机,旨在有效减少链上交易与实时安全检测之间的距离,致力于运用去中心化的方法来解决安全难点。

来源链接