Beosin’s VaaS Smart Contract Formal Verification Platform Now Supports TRON

The VaaS platform now supports smart contracts based on TRON public chain. With research in both public chain base technology and smart contract development, Beosin has accumulated an abundance of blockchain security audit experience. Beosin will use these experience to provide security solutions for smart contracts and DApps based on the TRON platform, supporting the development of the TRON ecosystem and ensuring the safety of the blockchain ecosystem.

TRON is dedicated to building basic infrastructure for the decentralized internet, its TRON contract is one of the biggest DApp operating system contract in the world, which provides high-throughput computing, expansion, and reliable public chain support. Since the publish of virtual machine on its main net, multiple DApps has been published on the TRON platform, with thousands of users within its developer community.

Beosin’s self-developed “One-button” smart contract formal verification platform VaaS has a minimum accuracy rate of 95% and supports smart contract auditing on multiple public chains including EOS, ETH, and Fabric. Beosin recently publicized their all new VaaS-ETH trial version online (link: http://www.beosin.com) in order to provide free convenience for its users. The VaaS platform uses formal verification methods to locate smart contract vulnerabilities, assist its users with common smart contract security issues. As the designated security partner of ONT, Qtum, Bytom, Wanchain and 10 other public chains, Beosin has audited over 500 smart contracts globally, is listed on the Etherscan smart contract auditing directory.

About Beosin

Beosin is headquartered in Chengdu and focuses on blockchain security field.Founded by Prof. Xia Yang and Prof. Wensheng Guo of UESTC, Beosin’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, Beosin is the first company in China that applies formal verification technology to blockchain security field.

Beosin has received strategic equity investments from known venture capitals including Fenbushi Capital, Milestone Capital, and Vangoo Capital while building strategic partnerships with over 40 renowned blockchain companies such as Huobi, OKEx, Kucoin, LBank, Seele, ONT, Qtum, Bytom, Wanchain, Scry, Bubi Blockchain, YUNPHANT, QuarkChain, IoTeX, Math Wallet, Seele, etc.

Let’s connect

E-mail：vaas@lianantech.com

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

Twitter: https://twitter.com/Beosin_com

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

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

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