摘要：今日，本体宣布与美国知名形式化验证公司CertiK展开战略合作，双方将通过深度规范技术及时检测到开源代码的安全漏洞，在智能合约发布前确保安全性与可靠性。CertiK自动化的形式化验证能够避免人为检测的思维局限，…

今日，本体宣布与美国知名形式化验证公司CertiK展开战略合作，双方将通过深度规范技术及时检测到开源代码的安全漏洞，在智能合约发布前确保安全性与可靠性。CertiK自动化的形式化验证能够避免人为检测的思维局限，最大限度的降低智能合约验证成本，真正实现低成本与高安全。