VaaS - The blockchain formal verification platform for EOS and Ethereum

VaaS(Verification as a Service), the first highly automated smart contract formal verification platform worldwide. Highly efficient, super automated, less humanly intervened, easy to use, available for multiple programming languages and high-capacity blockchain underlying platform.

VaaS one-button security verification platform for smart contracts

  • By accurately locating risky codes and indicating the cause, effectively verifying the security vulnerabilities, security attributes and functional correctness, the one-button formal verification tool of VaaS platform boosts the security level of smart contracts and blockchain App. Audit quality and efficiency are ensured by using automated tools and manual check combined. Up to 5 patents have been acquired with relevant research results.

  • Support Multiple Blockchain Platforms

  • International Leading Product and the First One in China

  • Integrated Solution for Development, Audition of Smart Contracts

  • Highly Automated Formal Verification Platform

  • Support Formal Verification of Large-scale Software




  • ceo ceo ceo ceo ceo
  • Xia Yang


    Associate professor of the University of Electronic Science and Technology of China and the earliest expert in the formal verification of blockchain. Has been providing years of formal verification services for the aerospace and military fields. Presided nearly 10 national projects. Member of the CC International Security Standards and the CCF Blockchain Committee. Published more than 30 academic papers and applied for more than 20 patents.



weibo twitter joinchat facebook

Address:Room 714, 7th Floor, No. 508, East Second Section, Second Ring Road, Chenghua District, Chengdu, China

E-mail: [email protected]

Contact us: 028-8326-2585


Chengdu LianAn Technology Co. Ltd. is headquartered in Chengdu and focusing on blockchain security field. Founded by Prof. Xia Yang and Prof. Wensheng Guo of UESTC, LianAn Tech's core team members consist of more than 30 associate professors, postdoctoral students, doctors and masters with experience of studying at overseas leading universities and laboratories (CSDS, Yale, and UCLA) as well as indutry elite from Alibaba Huawei, and other famous enterprises. Using formal verification as its core technology, this team has been providing years of services for security critical systems in aerospace, military and other fields. Chengdu LianAn Technology Co. Ltd. is the one and only company in China that applies this technology to blockchain security field.

Being the only blockchian security company that obtained strategic investment from Fenbushi capital, LianAn Technology has signed strategic cooperation agreements with well-known corporations such as Huobi, OKEX, KuCoin, LBank, CoinMex, Becent, ONT, Scry, CareerOn, IoTeX, DALICHAIN, Bplus, Bytom, Bubi Blockchain, and YUNPHANT. In addition, it hasmade cooperative agreement with France Inria, the top formal verification team in the world. LianAn Techwas listed on the "2018 China Blockchain Industry White Paper" issued by the Ministry of Industry and Information Technology, and it has also been selected for the smart contract security audit recommendation List in the Etherscan.