成都鏈安
成都鏈安是一家致力于區塊鏈安全生態建設的全球領先的區塊鏈安全公司，也是最早將形式化驗證技術應用到區塊鏈安全的公司，總部位于四川成都。公司由電子科技大學教授聯合創立，團隊成員均來自從事信息安全行業多年的國內外知名院校教授、博士后、博士以及知名企業精英，現有團隊成員100余人，技術人員占比超過85%。已在北京、深圳、杭州、海南等多地設有分公司和辦事處。目前已與公安、工信部、中國通信院、網信辦等執法監管機構，以及包括螞蟻鏈、騰訊區塊鏈、微眾銀行、萬向區塊鏈、布比等國內外頭部區塊鏈企業建立了深度合作；為全球2000多份智能合約、50多個區塊鏈平臺和落地應用系統提供了安全審計與防御部署服務；為上千家執法單位提供了案件前、中、后期全鏈條技術支持服務，成功協助破獲案件總涉案金額數百億。