A formal verification tech provider that provides services for military and civil aviation has patterned with Ontology. The partnership with LianAn is part of the Co-Buider Plan by Ontology. LianAn is going to act as a security specialist. In the 2018 Blockchain Industry Whitepaper of China, LianAn was the only security provider that was listed. The Whitepaper was published by the Chinese Ministry of Industry and Info Technology. The company recently received investment from Fenbushi Capital. It has also partnered with other companies like OKEx, Huobi, KuCoin, Bubi Blockchain, and Yunphant Blockchain. The company had a record of 500 smart contract audits at the time this piece was written.
LianAn and Ontology
LianAn and Ontology will combine resources and focus on the development of smart contracts, formal verification, security and safety audits related to creating a safe, reliable and secure blockchain infrastructure. LianAn will offer a highly automatic and highly efficient verification (VaaS) system. The platform will support different contract development languages.
Ontology (ONT) Price Today – ONT / USD
The one-click formal verification tool that will be provided by LianAn will allow developers to identify common security lope holes that may be present the smart contract code. It will also allow them to ensure function correctness and verify security properties. The platform will develop smart contracts that are customizable to meet the needs of Ontology users.
Regarding the partnership, the CEO of LianAn Technology said:
“LianAn Technology will offer an all-in-one smart contract development security audit along with other services for more blockchains in the future. We are happy to join Ontology in its Co-Builder Plan. As we serve as security specialists, we look forward to building a solid infrastructure for blockchain security.”
Founder of Ontology, Li Jun, said:
“Since our Co-Builder plan was launched, we have worked hard alongside Baimaohui, Slow Mist, and many other patterns to build an ecosystem of trust for the Ontology community. By participating, LianAn Technology is no doubt making the team stronger, more trustworthy and unstoppable.”