火龙果财经：全球标志性的区块链安全服务商都有哪些？

安全服务商的意义主要在于降低区块链平台上线前、以及运行过程中的安全风险。

1. 成都链安

成都链安科技有限公司是全球最早专门从事区块链安全的公司，也是最早将形式化验证技术应用到区块链安全领域的团队，研发了全球领先的智能合约自动形式化验证平台 VaaS，并基于此，建立了 Beosin“一站式”区块链安全平台，为区块链企业提供安全审计、资产追溯与 AML 反洗钱、隐私保护、威胁情报、安全防护、安全咨询等全方位的安全服务与支持。申请软件发明专利和著作权 15 项。

2.厦门慢雾

厦门慢雾科技有限公司，成立于 2018 年 1 月，致力于成为全球领先且专注于区块链生态的安全公司，慢雾科技已经为全球多家钱包、智能合约等项目做了安全审计及防御部署。慢雾科技的安全解决方案包括：安全审计、安全顾问、防御部署、威胁情报(BTI)、漏洞赏金等服务并配套相关安全产品。在行业内曾独立发现并公布多起通用高风险的安全漏洞，得到业界的广泛关注与认可。

3.AnChain.ai

AnChain.ai 是总部位于美国硅谷的 AI 区块链安全公司，其将 AI 与区块链深度结合，推出了“CAP”和“SAP”两款区块链安全方面的产品。CAP?(Contract Audit Platform)是容器化的智能合约审计平台，主要提供智能合约和分布式应用的代码自动审计和专家审计。与智能合约的形式化验证不同，CAP 是一个将智能合约平民化的颠覆性产品，它希望成为一个知识库，把所有已经发现的漏洞， 做成扫描模块，进行快速深度的扫描，从而实现以快速的低廉的价格找出代码的漏洞。SAP?(Situational Awareness Platform)是基于威胁情报、AI 和知识图谱的区块链态势感知平台，为区块链智能合约及链上交易安全护航。

—-

编译者/作者：区块链大咖说

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。