成都链安重磅出品 | 基于VS Code插件的智能合约自动形式化验证工具Beosin—VaaS离线免费版

【链得得播报】链得得（微信号：ChainDD）11月1日讯，成都链安重磅推出离线免费版智能合约自动形式化验证工具Beosin—VaaS，该版本基于流行的开发工具VS Code插件，供广大开发者免费使用。

为更好地服务于区块链行业，并深度践行中共中央政治局在第十八次集体学习中“推动区块链安全有序发展”的重要讲话，成都链安此番推出的离线免费版Beosin—VaaS是一款针对智能合约的安全检测定制化工具，可精准定位风险代码位置并给出修改建议，检测准确率>97%，全球最高，为智能合约代码提供“军事级”安全防护。

同时，Beosin—VaaS的可定制化和可移植性一直以来都是该工具的核心亮点。Beosin—VaaS不但支持BCOS、ETH、EOS、Fabric、ONT等多个主流链平台，还支持适配使用EVM和WASM智能合约的公链和联盟链平台。并面向这些平台，针对性增加新的检测项。