今天，全球领先的区块链技术服务商库珀科技宣布与成都链安科技正式启动技术战略合作。

据了解，双方将聚焦于区块链智能合约开发、安全审计、形式化验证等领域，链安科技将使用自身研发的“一键式”形式化验证VaaS平台，为库珀科技提供智能合约安全审计服务，并且将针对库珀科技开发的产业区块链平台专门定制化研发自动形式化验证平台VaaS-ONT，以提高其智能合约和底层链平台的安全性。同时，双方将共同推动区块链公有链领域的安全升级，打造安全、放心、可靠的区块链基础设施。

成都链安专注区块链安全领域，总部位于成都。其核心技术为形式化验证，该技术已在民航、军事领域使用多年，是国内唯一一家掌握该技术的公司。其开发的VaaS(Verification as a Service)形式化验证平台是一套针对多个区块链平台智能合约形式化验证工具，采用形式化验证方法对智能合约进行“军事级”的安全审计，可有效防止代码逻辑漏洞和安全漏洞，确保智能合约程序的安全性。

库珀科技是行业领先的基于区块链的产业互联网解决方案提供商。集团成立于2017年，总部设在中国成都，在新加坡、菲律宾、泰国、保加利亚都设有分支机构。集团以“让区块链造福于民”为品牌愿景，深耕区块链技术，经过长期的努力钻研与实践，团队对区块链技术研发以及应用场景落地有着独到的见解和经验，致力于推动区块链技术在教育、就业、养老、精准脱贫、医疗健康、商品防伪、食品安全、公益、社会救助等民生领域的应用。

免责声明：市场有风险，选择需谨慎!此文仅供参考，不作买卖依据。