本體與鏈安科技達成深度戰略合作

今天，新一代公有基礎鏈項目及分佈式信任協作平臺——本體（Ontology）與成都鏈安科技（LianAn Technology）正式啓動技術戰略合作。 雙方將聚焦於區塊鏈智能合約開發、安全審計、形式化驗證等領域，鏈安科技將使用自身研發的「一鍵式」形式化驗證VaaS平臺，爲本體提供智能合約安全審計服務，並且將針對本體區塊鏈平臺專門定製化研發自動形式化驗證平臺VaaS-ONT，以提高其智能合約和底層鏈平

>>阅读原文<<