成都鏈安科技有限公司(簡稱成都鏈安)是一家致力于區(qū)塊鏈安全生態(tài)建設的全球領先區(qū)塊鏈安全公司，也是最早將形式化驗證技術應用到區(qū)塊鏈安全的公司。2018年3月由電子科技大學教授、博士后聯合創(chuàng)立，團隊成員均來自從事信息安全行業(yè)多年的國內外知名院校教授、博士后、博士以及知名企業(yè)精英。現有團隊成員近200人，技術人員占比超過85%，已在北京、深圳、杭州、海南等多地設有分公司和辦事處。先后獲得上海云鐫(螞蟻區(qū)塊鏈)、前海母基金、聯想創(chuàng)投、復星高科等知名機構的多輪投資，已與工信部、信通院、網信辦、公安等執(zhí)法監(jiān)管機構以及頭部區(qū)塊鏈企業(yè)建立了深度合作。
成都鏈安致力于產業(yè)區(qū)塊鏈安全防護與保障，可提供全方位的產業(yè)區(qū)塊鏈安全服務和技術支持。基于成都鏈安從“代碼安全—運行安全—安全監(jiān)管”的一站式區(qū)塊鏈安全解決方案，我們可以為產業(yè)區(qū)塊鏈提供全生命周期的安全解決方案，為產業(yè)區(qū)塊鏈的安全發(fā)展保駕護航。
為護航產業(yè)區(qū)塊鏈安全發(fā)展，成都鏈安還重磅推出了鏈必驗-智能合約形式化驗證平臺。
成都鏈安鏈必驗-智能合約形式化驗證平臺是全球最早將形式化驗證技術應用到智能合約的代碼安全自動化檢測的工具。這種基于「數學推理」的驗證方法，一方面能精確證明代碼是否存在安全漏洞，另一方面能有效解決傳統技術對人員經驗的嚴重依賴和無法窮舉的問題。鏈必驗，“一鍵式”自動檢測智能合約代碼安全，精確定位風險代碼，產品和技術已達到國際領先，獲得全球10W+生態(tài)用戶和區(qū)塊鏈開發(fā)者使用。
安全護航，安全發(fā)展，重視安全發(fā)展應該也必須是產業(yè)區(qū)塊鏈生態(tài)發(fā)展的重中之重。成都鏈安將繼續(xù)積極發(fā)揮區(qū)塊鏈安全頭部企業(yè)優(yōu)勢，依托我們的聯盟鏈安全整體解決方案助力聯盟鏈安全健康發(fā)展，讓安全防護措施先行一步。
