隨着區塊鏈行業井噴式發展，安全問題得到越來越多的重視。 NEO 作爲知名度最高，開發者最多的公鏈，智能合約體系構建不斷完善的同時，將安全性擺在重要位置。因此，NEO 與形式化驗證平臺 CertiK 達成安全戰略合作，以 CertiK 獨有的形式化驗證技術，爲 NEO 量身定製數字資產、數字身份驗證方案，共同完成經濟模式的革命。

What-Is-NEO.jpg

形式化驗證（Formal Verification）：是用邏輯語言來描述規範，通過嚴謹的數學推演來檢查給定的系統代碼是否滿足要求。CertiK 目前主要是針對智能合約 (smart contract) 進行形式化驗證 (formal verification), 力爭從理論上證明代碼實現的正確性 , 從而鞏固合約的安全。

目前基於 NEO 部署的智能合約與 dApp 大多由開發者獨立完成，他們的代碼安全性需要藉助形式化驗證手段來確保，因此對於本次合作，將有益於 NEO 生態的健康發展，吸引更多的開發者。

CertiK 是由來自於紐約和硅谷的精英團隊組成，聯合創始人邵中是耶魯大學計算機繫系主任、終身冠名教授，擁有 30 餘年安全領域經驗。團隊的核心技術來自於邵中教授和另一位聯合創始人，哥倫比亞大學計算機系助理教授顧榮輝的多年科研成果——世界上第一臺從理論上證明可抗黑客攻擊的操作系統 CertiKOS。

NGD （NEO Global Development）總經理趙晨表示：NEO 是一條高度開放自治的公鏈，隨着更多的開發者在 NEO 上部署智能合約，安全性保障將加速 NEO 生態的繁榮。希望 NEO 與 CertiK 的合作能夠攜手共同推動區塊鏈健康發展。

來源鏈接：m.sohu.com