本体与链安科技达成深度战略合作

今天，新一代公有基础链项目及分布式信任协作平台——本体（Ontology）与成都链安科技（LianAn Technology）正式启动技术战略合作。 双方将聚焦于区块链智能合约开发、安全审计、形式化验证等领域，链安科技将使用自身研发的“一键式”形式化验证VaaS平台，为本体提供智能合约安全审计服务，并且将针对本体区块链平台专门定制化研发自动形式化验证平台VaaS-ONT，以提高其智能合约和底层链平

>>阅读原文<<