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