PANews 11月4日消息，11月1日，成都鏈安推出離線免費版智能合約自動形式化驗證工具Beosin—VaaS，該版本基於流行的開發工具VS Code插件，供廣大開發者免費使用。

據了解，該產品是一款針對智能合約的安全檢測定制化工具，可精准定位風險代碼位置並給出修改建議，檢測準確率>97%，全球最高，為智能合約代碼提供“軍事級”安全防護。

同時，Beosin—VaaS還擁有可定制化和可移植性的特點，不但支持BCOS、ETH、EOS、Fabric、ONT等多個主流鏈平台，還支持適配使用EVM和WASM智能合約的公鍊和聯盟鏈平台。並面向這些平台，針對性增加新的檢測項。