比推消息，CertiK基金会宣布现已正式开源CertiK Chain。目前已开放使用的产品包括CertiK Chain、去中心化CertiK安全预言机、用于编写安全智能合约的安全编程语言和编译器工具链DeepSEA 工具链。