LianAn Technology

Based in Chengdu, LianAn Technology was established in March 2018 by Professor Xia Yang and Professor Wensheng Guo from the University of Electronic Science and Technology of China (UESTC). Both founders possess extensive backgrounds in information security and formal verification, with Professor Yang having nearly two decades of experience in areas like kernel security and mobile device security, and Professor Guo specializing in artificial intelligence and formal verification technologies. Their academic and research careers, which included work on security for critical systems in aerospace and the military, laid the groundwork for the company's focus on blockchain security.

LianAn Technology operates in the blockchain security market, addressing the critical need for robust security in a rapidly evolving industry. The company's business revolves around providing comprehensive security solutions for the entire blockchain ecosystem. Its clientele includes blockchain platform developers (both public and permissioned chains), smart contract and DApp developers, cryptocurrency exchanges, and digital asset wallets. Revenue is generated by offering a suite of security services and products, including security audits, asset tracking, anti-money laundering (AML) compliance, privacy protection, and threat intelligence.

The company’s core offering is its 'Beosin' one-stop blockchain security platform, which features the VaaS (Verification as a Service) platform. VaaS is an automated formal verification tool designed to audit smart contracts for vulnerabilities with a high degree of accuracy. This platform supports multiple blockchains, including Ethereum and EOS, and can pinpoint risky code, identify security holes, and verify the functional correctness of smart contracts. Beyond automated auditing, LianAn Technology provides in-depth security services, having audited over 1,000 smart contracts and secured partnerships with more than 100 major blockchain entities such as Huobi, OKEx, and Wanxiang Blockchain.

Keywords: blockchain security, formal verification, smart contract audit, VaaS platform, Chengdu LianAn Technology, Xia Yang, Wensheng Guo, cryptocurrency security, DApp security, Beosin, threat intelligence, AML compliance, asset tracking, blockchain risk management, decentralized application security, public chain security, information security, cybersecurity, financial technology security