# Beosin > Beosin 是一家全球区块链安全公司，提供智能合约审计、风险监控、KYT AML 和加密货币追踪，以增强区块链生态系统的安全性... - Canonical URL: https://iq.wiki/zh/wiki/beosin - Categories: Organizations - Created: 2024-06-17T13:21:56.511Z - Last updated: 2024-06-20T02:25:05.492Z - Source: IQ.wiki — the world's largest blockchain and crypto encyclopedia (https://iq.wiki) --- **Beosin** 是一家全球 [区块链](https://iq.wiki/wiki/blockchain) 安全公司。它为 [Web3](https://iq.wiki/wiki/web3) [区块链](https://iq.wiki/wiki/blockchain) 生态系统提供各种安全服务和产品，旨在提高 [区块链](https://iq.wiki/wiki/blockchain) 技术的安全性和可靠性。[\[1\]](#cite-id-eo2lvgwje34)[\[2\]](#cite-id-mnx9bvcy2bp) ## 概述 Beosin 由 Xia Yang 和 Wensheng Guo 于 2018 年创立，是一家全球 [区块链](https://iq.wiki/wiki/blockchain) 安全公司。该公司由著名大学的教授共同创立，拥有超过 180 名安全专家，其中 40 多人拥有博士学位。Beosin 总部位于新加坡、香港、日本和其他地区，旨在通过一系列服务增强 [区块链](https://iq.wiki/wiki/blockchain) 生态系统的安全性。 Beosin 提供 [智能合约](https://iq.wiki/wiki/smart-contract) 审计、链上风险监控、KYT [AML](https://iq.wiki/wiki/anti-money-laundering-aml) 和加密货币追踪。该公司已经评估了超过 3,000 份 [智能合约](https://iq.wiki/wiki/smart-contract)，包括 [PancakeSwap](https://iq.wiki/wiki/pancakeswap) 和 [Ankr](https://iq.wiki/wiki/ankr) 等知名项目。他们的 KYT [AML](https://iq.wiki/wiki/anti-money-laundering-aml) 服务协助 Hashkey 和 Cobo 等 100 多家机构，在 [区块链](https://iq.wiki/wiki/blockchain) 领域内保持合规性和安全性。[\[1\]](#cite-id-eo2lvgwje34)[\[2\]](#cite-id-mnx9bvcy2bp)[\[3\]](#cite-id-xy8ep5t3e0j)[\[4\]](#cite-id-otcpbbdnmh)[\[5\]](#cite-id-ty8cq8jwhel) ![Screenshot 2024-06-17 at 22.08.46.png](https://ipfs.everipedia.org/ipfs/Qmb2RmMA5NuFpnTwhDpQV1p3gU17QVsbtsZ7vbKTZVZY91) ## 产品 ### KYT Beosin KYT（了解您的交易）旨在提供区块链交易的实时监控，以支持符合 [AML（反洗钱）](https://iq.wiki/wiki/anti-money-laundering-aml) 和 CFT（打击恐怖主义融资）法规。它识别并提醒客户注意构成潜在风险的交易和地址，与虚拟资产服务提供商 (VASP) 的监管政策保持一致。 通过 [区块链](https://iq.wiki/wiki/blockchain) 安全事件分析和人工智能技术，Beosin 维护一个恶意地址库，其中包含攻击、暗网活动和欺诈等安全威胁。该平台不断更新和监控 OFAC、欧盟和英国的制裁名单，以确保数据的准确性。它对交易和地址进行定量风险评估，以提高透明度并增强知情决策能力。 Beosin 的地址监控包括一个异常交易行为引擎，旨在提供持续的监控，并降低资产损失和声誉损害的风险。该平台旨在支持客户满足监管要求 ([AML](https://iq.wiki/wiki/anti-money-laundering-aml)、CFT)，实现与 [区块链](https://iq.wiki/wiki/blockchain) 协议的安全交互，并最大限度地降低 VASP 的风险。[\[4\]](#cite-id-otcpbbdnmh)[\[6\]](#cite-id-hpxvlgqcw2) ### 验证即服务 (VaaS) Beosin 的验证即服务 (VaaS) 采用基于形式化方法的自动 [智能合约](https://iq.wiki/wiki/smart-contract) 验证，以检测漏洞和业务逻辑问题。其目标是识别合约上传时已知和未知的安全风险，并提供补救建议。VaaS 支持各种 [区块链](https://iq.wiki/wiki/blockchain) 的自定义配置，并验证合约之间的属性。 它生成详细的漏洞报告，并提供修改建议。Beosin 在形式化验证技术方面拥有丰富的经验，为 [区块链](https://iq.wiki/wiki/blockchain) 安全审计的进步做出了贡献。VaaS 支持 [ETH](https://iq.wiki/wiki/ether-eth)、BSC、[MATIC](https://iq.wiki/wiki/matic)、[AAVE](https://iq.wiki/wiki/aave)、ONT 和 [EOS](https://iq.wiki/wiki/eos-token)，并简化了合约语言中的形式化规范。[\[4\]](#cite-id-otcpbbdnmh)[\[7\]](#cite-id-5s0szf0e6n) ### 智能合约审计 Beosin 为全球范围内的各种 [区块链](https://iq.wiki/wiki/blockchain) 项目提供 [智能合约](https://iq.wiki/wiki/smart-contract) 审计服务，已经审查了超过 3000 份合约。Beosin 利用形式化验证技术，旨在确保多个 [区块链](https://iq.wiki/wiki/blockchain) 平台上 [智能合约](https://iq.wiki/wiki/smart-contract) 的安全性和运营完整性。审计的重点是识别传统漏洞并验证业务逻辑的正确性，以使代码与预期功能保持一致。 审计领域包括资产安全、业务逻辑、后门、闪电贷、套利攻击、重入和代码标准。Beosin 执行彻底的源代码检查，以检测潜在风险。 审计报告提供按严重程度级别（严重、高、中、低和信息性）分类的详细调查结果，以及解决已识别问题的建议。图表等可视化表示形式提供了对审计结果的额外见解。[\[4\]](#cite-id-otcpbbdnmh)[\[8\]](#cite-id-6kn578bk2mj) ![Screenshot 2024-06-17 at 22.04.44.png](https://ipfs.everipedia.org/ipfs/QmaR9accKoFpCE6wPCtkwKkqX1mDKrc4KGd4fQGYujvSMX) ### 区块链安全审计 Beosin 使用多维方法进行全面的 [区块链](https://iq.wiki/wiki/blockchain) 安全审计，以增强 [区块链](https://iq.wiki/wiki/blockchain) 安全性。他们的审计包括节点通信、存储、共识机制和权限管理。Beosin 提供三种审计类型：黑盒测试、灰盒测试和白盒测试。 这些审计旨在解决语言编码安全、区块生产和治理、账户系统安全、资产安全和应用层安全。审计选项包括白盒测试、灰盒测试和黑盒测试，以确保 [区块链](https://iq.wiki/wiki/blockchain) 平台上的强大安全性。[\[4\]](#cite-id-otcpbbdnmh)[\[9\]](#cite-id-5n39w0s1l8o) ![Screenshot 2024-06-17 at 22.05.47.png](https://ipfs.everipedia.org/ipfs/QmWTCt6HB6tuVq6nYiSot5tzZHVnicM9B1QYc6qF4WKSCQ) ### 加密货币追踪 Beosin 的 [加密货币](https://iq.wiki/wiki/cryptocurrency) 追踪服务调查涉及被盗、勒索或转移的 [加密货币](https://iq.wiki/wiki/cryptocurrency) 的事件，包括通过 Tornado Cash 等平台进行的事件。它旨在防止欺诈并协助 [加密货币](https://iq.wiki/wiki/cryptocurrency) 盗窃调查。 主要功能包括 [AML](https://iq.wiki/wiki/anti-money-laundering-aml) 风险评估、交易分析、加密货币地址监控、实时情报通知和执法取证报告。[AML](https://iq.wiki/wiki/anti-money-laundering-aml) 风险评估评估钱包地址的合规风险。加密货币地址监控实时跟踪可疑地址。 交易分析使用大数据和人工智能来追踪被盗资金，尤其是通过 Tornado Cash 等混币器。实时警报通知利益相关者存入交易所地址的被盗资金。取证报告提供有关加密货币交易的详细见解，有助于识别可疑活动并支持调查。[\[4\]](#cite-id-otcpbbdnmh)[\[10\]](#cite-id-febxutne43t) ![Screenshot 2024-06-17 at 22.06.53.png](https://ipfs.everipedia.org/ipfs/QmTGAe3yB1PSVfK82s43BheLNH5LBcpPG9LTLYan2L3VoN) ### BeosinAPI BeosinAPI 作为一个 [Web3](https://iq.wiki/wiki/web3) 安全和数据分析平台，旨在支持包括 VASP、VC 和项目团队在内的各种利益相关者。其功能旨在评估与存款和取款相关的风险，确保资金没有非法活动。它还提供 EOA 地址的评估，以了解与实体身份相关的潜在风险。 此外，该平台还对代币风险进行全面评估，涵盖合约代码安全和实体身份验证等方面。用户可以利用 [API](https://iq.wiki/wiki/apis) 查询有关可疑地址和实体的信息，包括与恶意活动或商业黑名单相关的地址和实体，从而促进遵守旅行规则等监管准则。[\[4\]](#cite-id-otcpbbdnmh)[\[11\]](#cite-id-hrhjjgrgvij) ![Screenshot 2024-06-17 at 22.07.54.png](https://ipfs.everipedia.org/ipfs/QmWoDvxwugj7wG8tdSK8HKnG7YzKb9LwArPqdFaAtW6b6u)