比推消息，据区块链安全公司链安 Beosin 官方发推称， 该项目已完成跨链资产收益聚合去中心化项目孵化平台 Beatsquare 的智能合约审计，没有发现任何关键或主要问题，审计报告将添加到官方 GitHub 存储库中。成都链安是最早将形式化验证技术应用到区块链安全领域的公司，研发了全球领先的智能合约自动形式化验证平台VaaS，并基于此，建立了Beosin“一站式”区块链安全平台，为区块链企业提供安全审计、虚拟资产追溯与AML反洗钱、隐私保护、威胁情报、安全防护、安全咨询等全方位的安全服务与支持。