Chengdu LianAn Technology Globally Publishes its VaaS “One-Button” Automated Smart Contract Formal Verification Tool

Chengdu LianAn Technology’s (also known as Beosin Blockchain Security) development of its latest version of the “One-Button” Automated Smart Contract Formal Verification Tool (named VaaS) is officially finished. You will be able to get a taste of VaaS’ capability through the online simplified version available for Ethereum smart contracts (official link: http://www.lianantech.com). LianAn spent over 1 year in developing the VaaS tool, which uses formal verification as its core technology. VaaS is the first smart contract auditing tool that is developed to support multiple blockchain platforms including (but not limited to) Ethereum, EOS, Fabric, with an accuracy rate of 95%. The online simplified VaaS-ETH is free to use. LianAn welcomes fellow blockchain users to come experience its VaaS “One-Button” smart contract verification tool, verify your own smart contract through VaaS-ETH and get information of your contract risks according to multiple security standards. Chengdu LianAn Technology also offers full auditing services towards blockchain technology including: wallet development and auditing, customized VaaS platform development, secured Dapp development and auditing, secured smart contract development and auditing, exchange platform and public chain security inspection.

About Chengdu LianAn

Chengdu LianAn Technology Co. Ltd. is headquartered in Chengdu and focuses on blockchain security field.Founded by Prof. Xia Yang and Prof. Wensheng Guo of UESTC, Chengdu LianAn’s core team consists of 40 associate professors, doctors, and postdoctoral fellows with experience studying overseas and leading universities as well as laboratories industry elites from Alibaba, Huawei, and other known enterprises. Using formal verification as its core technology, the team has been providing years of services for security-critical systems in aerospace, military and other fields. Chengdu LianAn Technology is the first company in China that applies formal verification technology to blockchain security field.

Chengdu LianAn Technology has received 2 rounds of strategic equity investment from Fenbushi Capital and other known venture capitals while building strategic partnerships with over 40 renowned blockchain companies such as Huobi, OKEx, Kucoin, LBank, CoinBene, CoinMex, CoinTiger, ONT, Scry, Qtum, QuarkChain, Wanchain, IoTeX, Bytom, Bubi Blockchain, YUNPHANT, etc.

Let’s connect

E-mail：vaas@lianantech.com

Official website：https://www.lianantech.com

Twitter: https://twitter.com/LianAnTech_com

Facebook: https://www.facebook.com/LianAnTechChengdu/

Telegram Chinese Group：https://t.me/joinchat/IRgNDA4iCF0Rs92sg5qoVg

Telegram English group： https://t.me/joinchat/IRgNDBBpCon-695ATmbA4w