PANews 11月4日消息，11月1日，成都链安推出离线免费版智能合约自动形式化验证工具Beosin—VaaS，该版本基于流行的开发工具VS Code插件，供广大开发者免费使用。

据了解，该产品是一款针对智能合约的安全检测定制化工具，可精准定位风险代码位置并给出修改建议，检测准确率>97%，全球最高，为智能合约代码提供“军事级”安全防护。

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