今天，新一代公有基础链项目及分布式信任协作平台——本体（Ontology）宣布与成都链安科技（LianAn Technology）启动技术合作，链安科技正式加入本体安全“共建者计划”，双方将聚焦于区块链智能合约开发、安全审计、形式化验证等领域。链安科技将针对本体区块链平台专门定制化研发自动形式化验证平台VaaS-ONT，以提高智能合约和底层链平台的安全性，进一步打造安全、放心、可靠的区块链基础设施。
链安科技总部位于成都，其形式化验证技术已在民航、军事领域使用多年。作为国内唯一一家掌握这项技术的公司，链安科技已入选Etherscan智能合约安全审计名单，并在国家工信部发布的《2018中国区块链产业白皮书》中公司榜上有名
在本体与链安科技的合作中，链安科技将提供具备高验证效率、高度自动化、支持多种合约开发语言的VaaS-ONT平台，其“一键式”形式化验证工具能够精确定位到有风险的代码位置，迅速找出原因，有效验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高安全等级。同时，VaaS-ONT平台会根据本体用户需求定制化开发智能合约程序，对合约进行安全设计。
