Beosin与阿里云(Alibaba Cloud) 达成战略合作，为Web3客户提供一站式的安全与合规解决方案

近日，全球领先的Web3区块链安全公司Beosin宣布与阿里云(Alibaba Cloud) 达成战略合作，为Web3客户提供一站式的安全与合规解决方案，同时，Beosin的智能合约审计服务、链平台检测服务、安全咨询和应急响应服务已正式上线阿里云市场。

阿里云云市场作为全球知名的软件交易及交付平台，是阿里云的战略发展点，承接着云生态各个链条产品的落地。Beosin入驻阿里云市场之后，将借助云市场平台标准化的交易流程及丰富的客户资源，节省精力去专注Web3安全产品和技术创新，进而开拓新的商业模式和更大的市场，同时Beosin和阿里云将在可持续Web3生态系统的建设、社区安全等方面加强合作，共同打造可持续Web3安全生态系统。 

Beosin的几大服务已正式上线阿里云市场Beosin作为一家全球领先的区块链安全公司，在全球10多个国家和地区设立了分部，业务涵盖项目上线前的智能合约安全审计、项目运行时的安全风险监控、预警与阻断、安全合规KYT/AML等“一站式”区块链安全产品+服务，目前已为全球3000多个区块链企业提供安全技术服务，审计智能合约超过3000份。

以上为Beosin与日本区块链企业HashPort合作的审计项目

Beosin审计过的Web3生态项目作为阿里云服务生态的新成员，双方合作的重点将集中在以下方面：深化技术合作，双方将共同探索区块链安全技术在云计算领域的应用，将Beosin的区块链安全技术与阿里云的底层技术相结合，为客户提供更加安全可靠的云端服务；打造可持续Web3安全生态系统，双方将共同努力，推动可持续Web3生态系统的发展，为建设者和社区提供安全、高效的支持；开展区块链生态安全合作，Beosin将与阿里云共同探索区块链生态安全的合作机会，致力于提升行业整体安全水平，推动区块链技术在各领域的安全应用。

此前消息，阿里云在香港举办的 2 WEB3 FEST 峰会上宣布将推出一系列开箱即用的 Web3 安全工具。该 Web3 安全工具可供开发者与企业用于私钥管理、风险评估、交易审查、合规和用户认证等安全场景，这些工具包括多方安全计算（MPC）、身份验证（KYC）与反洗钱（AML）服务，有助于帮助 Web3 开发者保护资料、节省人力成本并提高营运效率。

同时，作为区块链安全生态解决方案提供商，Beosin将结合多年来服务全球顶级品牌的技术能力，除了能为阿里云 Web3 反洗钱(AML) 服务提供技术支持，还能在安全审计、安全监控上面给阿里云的Web3客户提供更多的安全解决方案。

Beosin KYT基于机器学习和深度学习技术自主设计的高效智能分析引擎，结合Beosin Trace 的数据库，KYT 系统可以检查各种交易模式并跟踪上百个风险指标。实时监测指定帐号的动向，第一时间了解被监测帐号的最新交易信息，第一时间发现高危交易，并通知给用户。同时我们能提供易用的操作界面和专业的API集成方案，满足监管部门、企业在各个业务场景下灵活使用的需求。

同时，Beosin的“一键式”智能合约形式化验证平台 VaaS，能够帮助阿里云的Web3客户提高开发效率，Beosin VaaS可自动发现智能合约中存在的常规漏洞、业务逻辑错误等安全问题，并给出专家的修复意见。同时支持evm，wasm的所有公链的智能合约的上百种常规安全漏洞和业务逻辑缺陷检测，能精确定位风险代码位置，帮助开发者提高智能合约的安全能力。

目前，Beosin基于公司丰富的智能合约安全数据集，借力ChatGPT基础大模型，微调训练出可深度理解智能合约逻辑的智能模型，进一步提升形式化验证工具VaaS对复杂业务合约安全问题的检测验证能力。 

智能合约形式化验证平台Beosin VaaS平台

这些开发的项目还可以纳入Beosin EagleEye安全风险监控、预警与阻断平台，提供24X7小时的实时风险预警，监控链上运行状态、实时交易行为，自动识别异常交易，全面评估项目安全运行状态。能够帮助项目方发现诸如闪电贷攻击、套利交易、私钥泄漏导致的资金被盗等风险交易。 

Beosin EagleEye 安全风险监控、预警与阻断平台链接：https://eagleeye.beosin.com/

通过与阿里云的战略合作，Beosin将进一步拓展其在全球范围内的市场份额，同时加强其技术实力。双方的合作将为区块链行业的安全与发展提供有力支持，共同推动全球区块链技术的进步。