本体与CertiK携手共筑可信区块链生态

本篇文章148字，读完约1分钟

[7月17日]今天，Ontology宣布与美国著名的正式认证公司certik进行战略合作。双方将通过深度规范技术及时发现开源代码的安全漏洞，并在智能合同发布前确保安全性和可靠性。Certik自动化形式验证可以避免人工检测的思维局限，最大限度地降低智能合同验证的成本，真正实现低成本、高安全性。