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