CertiK 是由来自于纽约和硅谷的精英团队构成，连系首创人邵中是耶鲁大学计较机系系主任、终身冠名传授，拥有 30 余年安详规模履历。团队的焦点技能来自于邵中传授和另一位连系首创人，哥伦比亚大学计较机系助理传授顾荣辉的多年科研成就——世界上第一台从理论上证明可抗黑客进攻的操纵系统 CertiKOS。

形式化验证（Formal Verification）：是用逻辑语言来描写类型，通过严谨的数学推演来查抄给定的系统代码是否满意要求。CertiK 今朝主要是针对智能合约 (smart contract) 举办形式化验证 (formal verification), 力图从理论上证明代码实现的正确性 , 从而固定合约的安详。

跟着区块链行业井喷式成长，安详问题获得越来越多的重视。 NEO 作为知名度最高，开拓者最多的公链，，智能合约体系构建不绝完善的同时，将安详性摆在重要位置。因此，NEO 与形式化验证平台 CertiK 告竣安详计谋相助，以 CertiK 独占的形式化验证技能，为 NEO 量身定制数字资产、数字身份验证方案，配合完成经济模式的革命。

今朝基于 NEO 陈设的智能合约与 dApp 大多由开拓者独立完成，他们的代码安详性需要借助形式化验证手段来确保，因此对付本次相助，将有益于 NEO 生态的康健成长，吸引更多的开拓者。

NGD （NEO Global Development）总司理赵晨暗示：NEO 是一条高度开放自治的公链，跟着更多的开拓者在 NEO 上陈设智能合约，安详性保障将加快 NEO 生态的繁荣。但愿 NEO 与 CertiK 的相助可以或许联袂配合敦促区块链康健成长。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。