China’s First Blockchain Formal Verification Company Got the Seed Round Investment

Chengdu LianAn Technology Co. Ltd., which was founded in military electronic innovation accelerator of Science and Technology Park of University of Electronic Science and Technology of China, got the fenbushi capital seed investment in April. It is the first company that specializes in the research and development of blockchain formal verification technology in China.

Yangxia, the associate professor of the School of Information and Software Engineering of University of Electronic Science and Technology of China, as the CEO of LianAn Technology, leading its blockchain formal verification team to establish a leading edge information technology company focusing on the field of blockchain security verification. The company’s goal is to occupy the highland of blockchain security technology research, innovation and practice, and to become the verifier and gatekeeper of blockchain security in China and even in the world.

LianAn Technology is working with LongHash and Cybex to establish a formal verification community for EOS (Enterprise Operation System, that is Block chain operating system designed for commercial distributed applications), focusing on the formal verification of the EOS blockchain platform. LianAn Technology provides comprehensive formal verification services for EOS, including formal verification of EOS smart contracts, formal modeling and verification of EOS platform underlying software.