Ontology ONT: VaaS-ONT Launch

In the field of blockchain technology, the security of smart contracts is of utmost importance. That is why Ontology and its strategic partner Beosin (LianAn Technology), a Chengdu-based tech company focused on blockchain security, have launched VaaS-ONT, the world’s first customized formal verification platform after Ethereum’s.

Last July, Beosin joined Ontology’s “Co-Builder Plan” and worked with Ontology to focus on smart contract development, security auditing, and formal verification, in a bid to strengthen the security of smart contracts and blockchain platforms, creating safe, secure, and reliable blockchain infrastructure. VaaS-ONT is the world’s first formal verification platform customized for public blockchain, and has been deeply integrated into SmartX, Ontology’s smart contract integrated development environment.

Beosin’s formal verification technology has been applied to the civil aviation and defense industry for many years, which allows VaaS-ONT to provide a “military-grade” formal verification service. Compared to the traditional method of manually auditing smart contracts, the VaaS-ONT formal verification tool is able to precisely locate vulnerable code, quickly find out the causes, and verify common security vulnerabilities, security properties, and functional correctness of smart contracts or blockchain applications, thus strengthening security significantly. At the same time, VaaS-ONT platform will customize smart contract applications according to the requirements of Ontology’s users and provide security design for the contracts.

VaaS-ONT formal verification tool

Product link: 
https://smartx.ont.io/

User manual: 
https://github.com/ontio/ontology-python-compiler/tree/master/vaas

User cases:
https://github.com/ontio/ontology-python-compiler/tree/master/vaas/example