随着区块链行业井喷式发展，安全问题得到越来越多的重视。 NEO作为知名度最高，开发者最多的公链，智能合约体系构建不断完善的同时，将安全性摆在重要位置。因此，NEO与形式化验证平台CertiK达成安全战略合作，以CertiK独有的形式化验证技术，为NEO量身定制数字资产、数字身份验证方案，共同完成经济模式的革命。
形式化验证（Formal Verification）：是用逻辑语言来描述规范，通过严谨的数学推演来检查给定的系统代码是否满足要求。CertiK目前主要是针对智能合约(smart contract)进行形式化验证(formal verification), 力争从理论上证明代码实现的正确性, 从而巩固合约的安全。
目前基于NEO部署的智能合约与dApp大多由开发者独立完成，他们的代码安全性需要借助形式化验证手段来确保，因此对于本次合作，将有益于NEO生态的健康发展，吸引更多的开发者。
CertiK是由来自于纽约和硅谷的精英团队组成，联合创始人邵中是耶鲁大学计算机系系主任、终身冠名教授，拥有30余年安全领域经验。团队的核心技术来自于邵中教授和另一位联合创始人，哥伦比亚大学计算机系教授顾荣辉教授的多年科研成果——世界上第一台从理论上证明可抗黑客攻击的操作系统CertiKOS。
NGD（NEO Global Development）总经理赵晨表示：“NEO是一条高度开放自治的公链，随着更多的开发者在NEO上部署智能合约，安全性保障将加速NEO生态的繁荣。希望NEO与CertiK的合作能够携手共同推动区块链健康发展。”
