成(cheng)都(dou)鏈(lian)(lian)(lian)安(an)(an)(an)(an)是一家致力于區(qu)塊(kuai)鏈(lian)(lian)(lian)安(an)(an)(an)(an)全(quan)(quan)生態建設的區(qu)塊(kuai)鏈(lian)(lian)(lian)安(an)(an)(an)(an)全(quan)(quan)公(gong)(gong)司,也(ye)是較早將形式(shi)化(hua)驗證技術(shu)應(ying)用(yong)到區(qu)塊(kuai)鏈(lian)(lian)(lian)安(an)(an)(an)(an)全(quan)(quan)的公(gong)(gong)司,總部位于四川成(cheng)都(dou)。公(gong)(gong)司由電(dian)子(zi)科技大學(xue)教授聯合(he)(he)創立,團隊(dui)成(cheng)員(yuan)均來自從(cong)事信(xin)(xin)息安(an)(an)(an)(an)全(quan)(quan)行(xing)業多年的國內外知名院(yuan)校教授、博士后(hou)、博士以(yi)及知名企(qi)業精英,現(xian)有團隊(dui)成(cheng)員(yuan)100余人,技術(shu)人員(yuan)占比超過85%。已在北京、深(shen)圳(zhen)、杭州(zhou)、海南等(deng)多地設有分公(gong)(gong)司和辦(ban)事處(chu)。目前已與公(gong)(gong)安(an)(an)(an)(an)、工(gong)信(xin)(xin)部、中國通(tong)信(xin)(xin)院(yuan)、網(wang)信(xin)(xin)辦(ban)等(deng)執法(fa)監管機構,以(yi)及包括螞蟻鏈(lian)(lian)(lian)、騰訊區(qu)塊(kuai)鏈(lian)(lian)(lian)、微眾銀行(xing)、萬(wan)向區(qu)塊(kuai)鏈(lian)(lian)(lian)、布比等(deng)國內外頭部區(qu)塊(kuai)鏈(lian)(lian)(lian)企(qi)業建立了深(shen)度合(he)(he)作;為全(quan)(quan)球2000多份智能合(he)(he)約、50多個區(qu)塊(kuai)鏈(lian)(lian)(lian)平臺和落地應(ying)用(yong)系(xi)統(tong)提供了安(an)(an)(an)(an)全(quan)(quan)審(shen)計(ji)與防御部署服務(wu);為上千家執法(fa)單位提供了案(an)件前、中、后(hou)期全(quan)(quan)鏈(lian)(lian)(lian)條技術(shu)支持服務(wu),成(cheng)功協助破獲(huo)案(an)件總涉案(an)金(jin)額數百億。