今天，新一代公有基础链项目及分布式信任协作平台——本体（Ontology）与成都链安科技（LianAn Technology）正式启动技术战略合作。
双方将聚焦于区块链智能合约开发、安全审计、形式化验证等领域，链安科技将使用自身研发的“一键式”形式化验证VaaS平台，为本体提供智能合约安全审计服务，并且将针对本体区块链平台专门定制化研发自动形式化验证平台VaaS-ONT，以提高其智能合约和底层链平台的安全性。同时，双方将共同推动区块链公有链领域的安全升级，打造安全、放心、可靠的区块链基础设施。
关于本体：
本体是新一代公有基础链项目&分布式信任协作平台。
本体提供新一代高性能基础公有链，包括完整的分布式账本、智能合约体系支持。同时本体架构支持公有链网体系，除了提供基础公有链服务，通过本体区块链框架支持不同应用的公有链定制，并通过不同协议群支持链网协作。在基础层之上，本体将持续提供各类分布式应用中的通用性模块，如分布式身份框架、分布式数据交换协议等支持分布式信任协作组件，并会根据应用需求持续扩展新的通用模块。
关于链安科技：
链安科技专注区块链安全领域，研发的“一键式”形式化验证VaaS平台，是全球首个支持EOS、以太坊区块链智能合约自动化验证平台，公司已获得分布式资本战略投资，与Huobi、OKex、KuCoin、比原链、布比区块链、云象区块链等多家单位签订战略合作协议，在国家工信部发布的《2018中国区块链产业白皮书》中公司榜上有名，目前审计过的智能合约超过500份。