以太坊后全球第二个形式化验证平台VaaS-ONT发布，本体与成都链安保障智能合约安全

原创

已于 2022-10-27 19:20:18 修改 · 381 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#形式化验证 #区块链 #成都链安 #本体Ontology

于 2019-05-08 15:25:05 首次发布

成都链安推出以太坊后全球第二个智能合约形式化验证平台VaaS-Ontology，为本体智能合约提供安全保障。该平台提供“军事级”验证服务，可精准定位风险代码，提高区块链应用的安全等级。开发者可通过SmartX体验此服务。

在区块链技术领域，智能合约一直在多语言开发环境中发挥着至关重要的作用。如此一来，保证智能合约的安全显得尤为重要。基于这样的背景，本体生态伙伴成都链安（Beosin）推出以太坊后全球第二个高度自动化智能合约形式化验证平台——VaaS-Ontology。
在这里插入图片描述
早在去年7月，成都链安加入本体“共建者计划”，与本体共同聚焦于区块链智能合约开发、安全审计、形式化验证等领域，以提高智能合约和底层链平台的安全性，进一步打造安全、放心、可靠的区块链基础设施。VaaS-Ontology 作为成都链安继以太坊后开发的第二个公链形式化验证安全产品，已在本体智能合约集成开发环境 SmartX 中深度集成。
在这里插入图片描述
本体智能合约集成开发环境 SmartX

VaaS-Ontology 依托成都链安形式化验证技术在民航、军事领域多年的深厚积累，带来“军事级”形式化验证服务。相较于人工审计智能合约的传统安全防护手段，VaaS-Ontology “一键式”形式化验证工具能够精确定位到有风险的代码位置，迅速找出原因，有效验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高安全等级。

开发者可通过进入 VaaS-Ontology产品官方链接全方位体验：

https://smartx.ont.io/

在这里插入图片描述