庫珀科技與鏈安科技達成深度戰略合作

2019-12-21 20:43 稿源:用戶投稿  0條評論

 今天,全球領先的區塊鏈技術服務商庫珀科技宣布與成都鏈安科技正式啟動技術戰略合作。

  據了解,雙方將聚焦于區塊鏈智能合約開發、安全審計、形式化驗證等領域,鏈安科技將使用自身研發的“一鍵式”形式化驗證VaaS平臺,為庫珀科技提供智能合約安全審計服務,并且將針對庫珀科技開發的產業區塊鏈平臺專門定制化研發自動形式化驗證平臺VaaS-ONT,以提高其智能合約和底層鏈平臺的安全性。同時,雙方將共同推動區塊鏈公有鏈領域的安全升級,打造安全、放心、可靠的區塊鏈基礎設施。

  成都鏈安專注區塊鏈安全領域,總部位于成都。其核心技術為形式化驗證,該技術已在民航、軍事領域使用多年,是國內唯一一家掌握該技術的公司。其開發的VaaS(Verification as a Service)形式化驗證平臺是一套針對多個區塊鏈平臺智能合約形式化驗證工具,采用形式化驗證方法對智能合約進行“軍事級”的安全審計,可有效防止代碼邏輯漏洞和安全漏洞,確保智能合約程序的安全性。

  庫珀科技是行業領先的基于區塊鏈的產業互聯網解決方案提供商。集團成立于 2017 年,總部設在中國成都,在新加坡、菲律賓、泰國、保加利亞都設有分支機構。集團以“讓區塊鏈造福于民”為品牌愿景,深耕區塊鏈技術,經過長期的努力鉆研與實踐,團隊對區塊鏈技術研發以及應用場景落地有著獨到的見解和經驗,致力于推動區塊鏈技術在教育、就業、養老、精準脫貧、醫療健康、商品防偽、食品安全、公益、社會救助等民生領域的應用。




本文由站長之家用戶投稿,未經站長之家同意,嚴禁轉載。如廣大用戶朋友,發現稿件存在不實報道,歡迎讀者反饋、糾正、舉報問題(反饋入口)。

免責聲明:本文為用戶投稿的文章,站長之家發布此文僅為傳遞信息,不代表站長之家贊同其觀點,不對對內容真實性負責,僅供用戶參考之用,不構成任何投資、使用建議。請讀者自行核實真實性,以及可能存在的風險,任何后果均由讀者自行承擔。

聲明:本文轉載自第三方媒體,如需轉載,請聯系版權方授權轉載。協助申請

相關文章

相關熱點

查看更多
?
關閉
街机捕鱼技巧