审计

Certik 简介

CertiK 是全球领先的区块链安全公司，专注于通过先进的形式化验证技术为智能合约和区块链协议提供安全审计。成立于2018年，CertiK 由来自耶鲁大学和哥伦比亚大学的计算机科学专家创建，致力于利用数学验证模型确保区块链系统的安全性和可靠性。CertiK 的安全审计服务被全球数千个区块链项目所采用，其客户遍布 DeFi、NFT、Web3 等多个领域。作为行业内的权威，CertiK 的审计报告和评级已成为区块链安全标准的重要组成部分，帮助项目方提升安全性、降低风险，并为用户建立信任。

链安（Beosin）简介

链安（Beosin）是领先的区块链安全公司，成立于2018年，总部位于新加坡。链安专注于为全球区块链生态系统提供全面的安全解决方案，包括智能合约审计、链上交易分析、安全风控管理以及反洗钱（AML）合规服务。链安拥有顶尖的区块链安全团队，其审计服务覆盖广泛的公链和应用链，旨在帮助项目识别潜在漏洞，保障平台安全运营。链安通过与多个全球知名项目的合作，成为区块链安全领域的重要参与者，获得了广泛的行业认可。

审计报告：https://beosin.com/audits/AIDAv2_202408301054.pdf