Audits

CertiK について

CertiKは、スマートコントラクトおよびブロックチェーンプロトコルのセキュリティ監査を提供する、先進的な形式検証技術に特化した世界的なブロックチェーンセキュリティ企業です。2018年にイェール大学とコロンビア大学のコンピュータサイエンスの専門家によって設立されたCertiKは、数学的検証モデルを使用してブロックチェーンシステムのセキュリティと信頼性を確保することに専念しています。CertiKのセキュリティ監査サービスは、世界中の何千ものブロックチェーンプロジェクトによって採用されており、顧客はDeFi、NFT、Web3など多岐にわたります。業界の権威として、CertiKの監査報告書と評価は、ブロックチェーンセキュリティ標準の重要な一部となり、プロジェクトがセキュリティを向上させ、リスクを軽減し、ユーザーとの信頼を築くのを支援しています。

Beosin について

Beosinは、2018年に設立され、新加坡に本社を置く、主要なブロックチェーンセキュリティ企業です。Beosinは、スマートコントラクト監査、オンチェーントランザクション分析、セキュリティリスク管理、アンチマネーロンダリング（AML）コンプライアンスサービスを含む包括的なセキュリティソリューションをグローバルなブロックチェーンエコシステムに提供することに注力しています。Beosinの監査サービスは、トップレベルのブロックチェーンセキュリティチームによって提供され、幅広いパブリックチェーンおよびアプリケーションチェーンをカバーしており、プロジェクトが潜在的な脆弱性を特定し、プラットフォームの安全な運用を確保するのを支援します。Beosinは、世界的に有名なプロジェクトとの協力を通じて、ブロックチェーンセキュリティ分野で重要な役割を果たしており、広く業界の認知を得ています。

Audit Report : https://beosin.com/audits/AIDAv2_202408301054.pdf