Offline & Free Beosin-VaaS, The Automatic Formal Verification Tool For Smart Contracts Based On Vs Code Plugin By Beosin (Chengdu LianAn) Technology

On November 4th, Beosin (Chengdu LianAn) Technology officially launched offline and free Beosin-VaaS, the automatic formal verification tool for smart contracts. And the version of Beosin-VaaS is based on the popular development tool, VS Code plugin, which is free for all the developers to use. Here is the website to get it, welcome to experience: https://beosin.com/#/

In order to better serve Blockchain industry and deeply fulfill the important speech of the Political Bureau of the CPC Central Committee in “Promoting Secure And Orderly Development Of Blockchain” in the 18th collective study, the offline and free Beosin-VaaS launched by Beosin in this time is a security detection customization tool for smart contracts, which can accurately locate the risk code location and give suggestions for modification. The detection accuracy of Beosin-VaaS is >97%, which is the highest in the world, and Beosin-VaaS can provide “Military” security protection for code of smart contracts.

At the same time, the Customization and Portability of Beosin-VaaS has always been a core highlight of the tool. Beosin-VaaS not only supports multiple main Blockchain platforms such as BCOS, ETH, EOS, Fabric, ONT, but also supports the adaptive use of EVM and WASM smart contracts of Public Blockchain and Alliance Blockchain, and for these platforms, Beosin-VaaS will add new detection items contrapuntally.