成都鏈安楊霞：守護區塊鏈領域全生態安全

王志臣

成都鏈安創始人兼CEO楊霞 區塊鏈作為新興產業出現，落地應用于多種行業中

當前，區塊鏈技術正在全球范圍內興起，并加速應用到金融、票據、證券市場應用中，作為一項新興技術，其安全性也不容小視，區塊鏈發展和深入應用仍需反復的磨合與整合的過程，其應用場景中存在的潛在風險也給技術應用帶來了新的挑戰。成都鏈安核心團隊來自電子科技大學，他們從事信息安全領域長達18年，該團隊于2016年率先研究區塊鏈安全。2018年成立成都鏈安科技，是全球較早專門從事區塊鏈安全的團隊和企業。

成都鏈安成功地將形式化驗證技術應用到區塊鏈安全領域，研發了全球領先的智能合約自動形式化驗證平臺VaaS，并基于此，建立了“一站式”區塊鏈安全平臺，為區塊鏈企業提供安全審計、資產追溯與AML反洗錢、隱私保護、威脅情報、安全防護、安全咨詢等全方位的安全服務與支持。

為千份智能合約、百家數字金融企業提供服務

成都鏈安創始人兼CEO楊霞介紹，公司已為全球1000多份智能合約、50多個公鏈和聯盟鏈底層平臺和落地應用系統、近100家數字金融企業提供安全審計與防御部署服務。并與微眾銀行、萬向區塊鏈等國內外100多家區塊鏈頭部企業建立深度合作關系。此外，其AML系統強大的區塊鏈數據分析能力，為各地公安和司法等監管部門提供了區塊鏈相關案件的調查取證工作多達幾十次，積累了豐富的區塊鏈安全監管經驗。

談及發展痛點，楊霞表示，區塊鏈作為新興產業出現，落地應用于多種行業中，對于成都鏈安最大的發展困難就是現行市場變化較快，近兩年內，結合行業動態進行多種相關產品和技術的大膽嘗試和探索，最終逐步才能鎖定到前景較好的相關產品的持續和深入的探索與研發，使其相關技術國際領先，國內第一。然而對于品牌運營層面，成都鏈安也在逐步完善，將繼續擴大國際市場，服務于更多的海內外客戶。

成都鏈安產品與服務已逐步建立了完善的區塊鏈安全防御體系，而面向區塊鏈應用，他們提供了一整套從“區塊鏈安全設計與開發——基于形式化驗證的系統安全檢測——運行時安全監控與監管”的完善解決方案。

為區塊鏈企業提供服務的八大主營業務

目前，成都鏈安科技為區塊鏈企業有八大主營業務：

1. 智能合約與DApp安全審計服務，基于形式化驗證技術對于多個鏈平臺的智能合約及DApp代碼進行安全審計，確保智能合約這一關鍵代碼的安全性與功能正確性，防止其由于代碼安全問題引起資產被盜或系統運行的失效故障。

2. 數字金融企業安全服務，為數字金融企業提供反洗錢合規、安全態勢感知（威脅預警、報警和阻斷）、安全顧問、滲透測試等安全服務，幫助數字金融企業構建全面的安全保障體系。

3. 鏈平臺安全服務，為公鏈、聯盟鏈提供白盒、灰盒、黑盒等多維度的代碼安全審計，保障底層鏈平臺的安全性，同時提供鏈節點防御體系設計和安全部署服務。

4. 鏈上資產調查取證服務，為執法部門和監管部門提供鏈上資產調查服務，幫助分析和追蹤涉案地址的資產轉移路徑，并提供可作為證據的完整調查報告。

5. 區塊鏈應用系統安全，檢測區塊鏈應用系統服務端和App中的賬戶、數據、組件、通信模塊、業務邏輯等方面存在的安全問題。幫助區塊鏈應用系統項目方及時發現和處置各類安全問題。提供區塊鏈應用系統加固服務，保障區塊鏈應用系統的安全性。

6. 安全顧問服務，為區塊鏈企業提供全方位的安全顧問服務，包括安全咨詢、安全規劃、架構設計、應急響應、安全體系建設等服務，幫助企業建設完善的安全保障體系。

7. 威脅情報推送服務，根據用戶畫像，為數字金融企業、區塊鏈應用系統等用戶提供威脅事件實時預警服務，精準推送與用戶高度相關的威脅情報信息。情報數據以STIX、TAXII、Cybox等國際通用威脅情報標準推送。

8. 安全產品定制化，為企業客戶定制開發安全產品，包括智能合約自動形式化驗證平臺Beosin-VaaS、態勢感知Beosin-Eagle Eye、防火墻Beosin-Firewall、威脅情報系統Beosin-OSINT等。

面對市場上其他區塊鏈安全公司，楊霞表示，每家公司關注的方向與領域不盡相同，成都鏈安在團隊規模以及技術研發與服務方面都處于相對較前地位。2019年4月，成都鏈安成為中國信通院可信區塊鏈推進計劃的理事成員;2019年6月，成都鏈安加入國家互聯網應急中心的區塊鏈安全技術檢測中心;2019年10月，成都鏈安參加中國信通院區塊鏈安全標準的撰寫。

目前，成都鏈安的團隊規模已達60余人，其中研發人員占據85%以上，成員包含長期從事形式化驗證和信息安全的專家，均來自知名高校的學者和安全公司的專家。

成都鏈安創始人兼CEO楊霞，曾為電子科技大學副教授，從事形式化驗證、內核安全、移動設備安全、TEE等安全技術研究長達18年，長期為航空、航天等領域提供信息安全技術和形式化驗證服務;聯合創始人兼CTO郭文生，長期從事形式化方法和理論的研究;CMO高子揚為區塊鏈資深人士，自2012年起接觸區塊鏈技術，發起了西班牙比特幣論壇。 此前，成都鏈安曾于 2018 年 5 月獲得分布式資本種子輪投資，2018 年 11 月獲得界石資本、盤古創富的天使輪投資。

近日，成都鏈安科技有限公司宣布連獲多輪融資，共計數千萬元人民幣，由聯想創投、復星高科聯合領投，成創投、任子行戰略投資，分布式資本、界石資本、盤古創富等老股東跟投。

此次融資將用于持續深化區塊鏈全生態安全布局、研發 “一站式”區塊鏈安全服務平臺、開展自主可控的區塊鏈安全技術研究、提升用戶全新體驗及全球化市場的拓展，助力成都鏈安成為全球區塊鏈安全領域的行業標桿。

成都鏈安融資信息

2018年5月，獲得分布式資本種子輪投資;

2018年11月，獲得界石資本、盤古創富的天使輪投資;

近日，宣布連獲多輪融資，共計數千萬元人民幣，由聯想創投、復星高科聯合領投，成創投、任子行戰略投資，分布式資本、界石資本、盤古創富等老股東跟投。