Beosin

链安科技

Beosin

Other

In response to severe blockchain security risks, Chengdu Beosin Technology has developed Beosin-VaaS, a one-click automated formal verification tool for smart contracts built around its core formal verification technology. The tool can identify code vulnerabilities with an accuracy rate of more…

Latest round: Series A (2022)

Source: ChinaBulls — chinabulls.com

Last updated 2022-11-01