幣安與CertiK達成戰略合作，智能合約安全方興未艾

紐約時間2019年1月4日，軟件安全公司CertiK與幣安交易平台正式宣布了戰略合作。據悉，作為幣安第一家戰略安全合作夥伴，CertiK已經對幣安交易平台自身的業務係統和代幣進行了全麵的安全審計，而且會在2019年對將要登錄幣安交易平台上的項目進行自動化安全驗證，排查代幣在上線前所可能存在的安全漏洞，確保平台的健康運營和廣大用戶的數字資產安全。

在區塊鏈生態中，交易平台是數字貨幣流通和價值確定的場所，也是財富的彙聚中心。集成了多個角色功能，如獲客、交易、清算等。截至2019年初，共有2096種數字貨幣在二級市場進行交易。但是，相比傳統金融市場完善的係統安全網絡保障和嚴格的法律監管，數字貨幣交易平台由於其薄弱的防護體係，極易成為黑客攻擊的主要對象。在2018年區塊鏈安全事件中，針對交易所的黑客攻擊約占所有事件的34%，其次是智能合約，約占所有事件的20%。

CertiK官方表示，自區塊鏈2.0時代以來，智能合約在承擔眾多商業活動運作和執行中展現了廣闊的前景。然而，由於智能合約擁有開源以及一旦部署很難修改的特性，非常容易遭受黑客的攻擊。在目前公開曝光的區塊鏈漏洞事件中，相當數量的漏洞來源於智能合約本身，所以在智能合約上線之前運用先進的安全審查技術篩查風險、保證廣大用戶的資產安全成了區塊鏈安全領域的重中之重。

幣安是全球最大也是最受歡迎的加密貨幣交易平台之一，擁有行業領先的全球布局和國際化的交易體驗。根據CoinMarketCap的數據，幣安24小時內交易量約為15億美元。在自身快速發展和吸納廣大用戶的同時，幣安也將提升自身安全性、保護用戶的數字資產列為了重要的發展方針。

美國軟件安全公司CertiK於2017年成立於紐約及矽穀，為智能合約和區塊鏈應用提供安全驗證和生態安全解決方案，與幣安交易平台的發展訴求有著緊密聯係。2018年10月，CertiK獲得幣安孵化器Binance Labs數百萬美元的投資。幣安孵化器是幣安交易所旗下重要的投資機構，也是幣安生態中重要的一環，管理的資產達到10億美元。幣安孵化器對CertiK的投資是對創新型安全技術的認可，也預示了幣安交易平台和CertiK達成戰略合作的風向。

CertiK公司的形式化驗證技術，簡而言之，是用嚴謹的數學邏輯來推理演算，證明智能合約不存在漏洞。對於複雜軟件，CertiK提出了基於抽象層的分解證明技術，將軟件模塊拆分，再轉化為數學模型進行複合證明，大大提高了安全驗證的彈性和效率。CertiK的核心技術產品是由CertiKOS防黑客操作係統演變迭代而來，是耶魯大學與哥倫比亞大學曆時多年的研究成果，已被廣泛應用於高安全需求的關鍵領域。

據悉，CertiK已經和區塊鏈生態中眾多的數字貨幣交易平台達成深度合作，並為150家以上客戶提供了安全驗證服務。截至目前已經保護了價值15億美金的數字資產免受到黑客攻擊，保持著“零事故率”的記錄。此次與幣安交易平台的戰略合作標誌著區塊鏈行業在新的一年裏對安全和規範領域的重視，是一個新的裏程碑。