China Blockchain Industry White Paper Released, LianAn Technology Co. Ltd. is on the List

On May 20, 2018, “2018 China Blockchain Industry White Paper” was released by the Ministry of industry and information technology. In the “blockchain security protection” section, the VaaS platform that developed by Chengdu LianAn Technology Co. Ltd. was introduced in detail. The platform can formally verify blockchain smart contracts and currently supports mainstream platforms such as Ethereum and EOS, and has cooperated with more than 10 blockchain companies at home and abroad. VaaS provides a highly automated formal verification tool for smart contracts, which can greatly improve the security and reliability of smart contracts and make them to meet “military level” security requirements to prevent heavy losses from contract security vulnerability.

As a technology company that has provided security-critical software formal verification services for many years in the fields of aviation, national defense, etc., Chengdu LianAn Technology Co. Ltd. sensitively discovered the disadvantages of smart contract vulnerabilities in the blockchain industry. After two years’ research and efforts, the company developed VaaS (Verification as a Service) which is the world’s first highly-automated blockchain formal verification platform. The VaaS platform adopts a variety of formal verification methods with high verification efficiency, high degree of automation, low human participation, ease of use, support for multiple contract development languages, and support for formal verification of large-capacity blockchain underlying platform . It’s “one-click” formal verification tool can automatically pinpoint location of contract codes with security vulnerability and avoid contract security vulnerability such as the BEC. The VaaS platform can provide standardized code security detection services for smart contract developers, and it can also provide global blockchain enthusiasts with a powerful tool for determining the project security.