Today Ontology, a new high-performance public multi-chain project and a distributed trust collaboration platform, announced its technical cooperation with LianAn Technology. LianAn Technology is now officially a member of Ontology’s “Co-Builder Plan” as a security specialist. Both parties will focus on blockchain smart contract development, safety and security audit, formal verification, and other fields to further build safe, secure, and reliable blockchain infrastructure.

Headquartered in Chengdu, LianAn Technology’s formal verification technology has been used in civil aviation and military fields for many years. As the only company with this technology in China, LianAn was on the company list of the 2018 China Blockchain Industry White Paper released by the Ministry of Industry and Information Technology of the People’s Republic of China.

In this cooperation, LianAn Technology will provide a high verification efficiency, highly automatic VaaS (Verification as a Service) platform that supports various contract development languages. Its one-click formal verification tool can pinpoint risky code and find the reasons quickly to effectively verify common smart contract or blockchain application security holes, security properties, and function correctness, which as a result will improve security levels significantly. At the same time, the VaaS platform will customize the development of smart contract programs according to Ontology’s users’ needs and securely design contracts.

Founder of Chengdu LianAn Technology, YANG Xia believes:

“Blockchain’s security issue has always been a serious danger to us all. Each security incident will cause panic in the crypto currency market and create a waterfall effect. Therefore, in the future, we will provide one-stop smart contract development and security audit and other services for more blockchain platforms. We will try our best to contribute to blockchain’s security. We are pleased to join Ontology’s “Co-Builder Plan” as a security specialist and look forward to working together to build a more solid fortress for blockchain security.”

Speaking on this cooperation, Founder of Ontology LI Jun said:

“In the development process of blockchain technology, security needs to be placed first place and we need to attach great importance to it at all times. Since the release of Ontology’s ‘Co-Builder Plan’, we have worked together with SlowMist, Baimaohui, and other partners to build Ontology’s trust ecosystem. The participation of LianAn Technology no doubt makes the team stronger, more solid, and unstoppable. We look forward to make joint efforts with Ontology’s co-builders to strive for building an open-source, open, and cooperative distributed trust ecosystem”.

About LianAn Technology

LianAn Technology focuses on the blockchain security field. Its one-click formal verification VaaS platform is the world first platform that supports EOS and Ethereum blockchain smart contract automatic verification. It has obtained investment from Fenbushi Capital, and has signed strategic cooperation agreements with many organizations such as Huobi, OKex, KuCoin, Bytom, Bubi blockchain, and Yunphant Blockchain. It was on the company list of 2018 China Blockchain Industry White Paper released by Ministry of Industry and Information Technology of the People’s Republic of China. It was audited more than 500 smart contracts.