Chain Foxは、ブロックチェーンのセキュリティ監査の自動化を目指しています。Rust、Go、Solidity、C++言語で書かれたコントラクトをスキャンし、エラーを自動検出することで、より高速、より経済的、そしてよりスマートな実装を実現します。Chain-Foxは、14種類以上の検出ツールをCI対応のプラットフォームに統合し、メモリリーク、同時実行性の問題、ガス効率の悪さなどを検出することで、コード実行速度に匹敵するセキュリティ監査を実現します。

Cyberscope はスマート コントラクト監査および KYC サービス企業であり、これまでに 1,200 を超えるブロックチェーン プロジェクトと NFT を監査し、500 を超えるチームの KYC を実施してきました。

MoveBit は、Move エコシステムのセキュリティ保護に重点を置き、最も安全な Web3 の目的地にするというビジョンを掲げるブロックチェーン セキュリティ企業です。

SolidProof はブロックチェーンのセキュリティ監査会社です。

TonBit は TON の初期の構築者でありセキュリティの専門家であり、プラットフォームはスマート コントラクト監査サービスを提供しています。

Hashlock は、オーストラリアを代表する独立系ブロックチェーン サイバーセキュリティおよびスマート コントラクト監査会社です。手動分析、コミュニティ監査のバックグラウンドを持つ、高度に専門化されたブロックチェーン サイバーセキュリティ会社であり、オーストラリアおよび世界中のクライアントと高いレベルのコラボレーションを維持しながら、発見事項の量で差別化を図っています。

2018年に設立されたブロックチェーンセキュリティ企業であるCertiKは、形式検証とAI技術を連携させ、エンドツーエンドのブロックチェーンセキュリティ監査サービスを提供しています。形式検証と手動検証を組み合わせることで、スマートコントラクトの安全性を数学的に検証します。さらに、同社はスマートコントラクトのセキュリティを強化するために設計されたセキュリティ重視のブロックチェーン「CertiK Chain」を開発しました。

Beosin は、スマート コントラクトの監査、盗まれた暗号資産の回復、リスク監視、アラートなどのサービスを提供するブロックチェーン セキュリティ サービス プロバイダーです。

Secure3 は、プロジェクトに信頼できるセキュリティ監査、監査人に対する競争力のあるインセンティブ モデル、およびコミュニティに対する検証可能な監査実績を提供する、共同 Web3 セキュリティ監査エコシステムです。

Hacken は、Web3 空間をより倫理的な環境に変えるというビジョンを持つ Web3 サイバーセキュリティ監査会社です。Web3 プロジェクトとそのコミュニティに、スマート コントラクト監査、L1 ブロックチェーン プロトコル監査、dApp 監査、ペンテスト、そして No.1 バグ報奨金プラットフォームである HackenProof で実行されるバグ報奨金プログラムなどの一連のサイバーセキュリティ サービスを提供しています。

Halborn は、倫理ハッカーの Steven Walbroehl 氏とグロースハッカーの Rob Behnke 氏によって 2019 年に設立されたブロックチェーン サイバーセキュリティ企業です。高度な侵入テストから Solana、Cosmos、Substrate などのレイヤー 1 ブロックチェーン プロトコルのセキュリティ監査の実行まで、エンドツーエンドのサイバーセキュリティ サービスを提供しています。

Three Sigma は、Web3 の改善に重点を置いたエンジニアリング、リサーチ、投資会社です。同社はこの分野の開発者と緊密に連携しています。

Decurity は、スマート コントラクト、レイヤー 1 ブロックチェーン、サイドチェーン、dApp などの Web3 アプリケーションのセキュリティに重点を置いた企業です。Decurity は、セキュリティ監査、継続的なセキュリティ アドバイザリ、セキュリティ監視を行っています。

Risk DAO は、B.Protocol と 1kx が主導するサービス DAO であり、DeFi の貸借プロトコルやレイヤー 1 ネットワークに新しいオープン ソースのリスク評価フレームワークと関連監査を提供することに重点を置いています。

Aegis AI は、人工知能を使用してスマート コントラクトを監査するプラットフォームです。脆弱性や悪意のあるコードを検出するリアルタイム分析を提供します。

Code4rena は、Web3 セキュリティ監査リーグです。セキュリティ監査コンテストは、従来の監査やバグバウンティとは異なり、プロトコルのより広い範囲と参加者への保証された支払いを提供します。 アリーナのプレーヤーは次のとおりです。コードを監査して DeFi エコシステムを脅威から保護する Wardens。プロジェクトの監査に Wardens を引き付けるために賞金プールを作成するスポンサー。発見の重大性、妥当性、品質を決定し、Wardens のパフォーマンスを評価する審査員。

Macro は、セキュリティ監査、エンジニア トレーニング、その他のサービスを提供し、Web3 の最も重要なプロジェクトのセキュリティ保護と教育を支援します。

MixBytes は、スマート コントラクトの開発、テスト、セキュリティ監査、プロトコル開発のための包括的なサービス スイートを提供するブロックチェーン ソリューション アドバイザリ企業です。

Lunaray はブロックチェーンのセキュリティ監査およびコンサルティング会社です。

Statemind Statemind は、ブロックチェーン業界のクライアントに監査およびコンサルティング サービスを提供するブロックチェーン セキュリティ監査会社です。

TestMachine は、契約を分析して潜在的なセキュリティの脆弱性を特定する AI 搭載のブロックチェーン セキュリティ企業です。繰り返し発生するコード構造とパターンを識別して分析することで、契約が既知のエクスプロイトや脅威に対して堅牢であることを保証します。

Inspex はサイバーセキュリティの専門サービスです。2021 年に設立された Inspex は、サイバーセキュリティのさまざまな分野で高度な経験を持つサイバーセキュリティの専門家チームによって構成されています。Inspex は、幅広いブロックチェーン エコシステムのセキュリティを強化するために、最高品質のブロックチェーンおよびスマート コントラクトの専門サービスとソリューションを提供します。

0x0 はオールインワンのプライバシー ハブおよび AI スマート コントラクト監査機能で、ユーティリティ収入の 100% が ETH でコイン保有者に分配され、受動的な収入源を生み出します。このプラットフォームには、AI 搭載のスマート コントラクト監査機能とプライバシー ミキサーが含まれています。さらに、0x0 はプライバシー DEX、カスタム スマート コントラクトを作成するためのオールインワン ハブ、詐欺の被害者になるのを防ぐために疑わしいトランザクションを検出して先手を打つ AI ボットの開発に取り組んでいます。

Zokyo は、伝説的な Web3/暗号ビジネスを構築、保護、資金提供するベンチャー スタジオです。セキュリティ監査、侵入テスト (ネットワーク、モバイル、アプリ)、データ漏洩検出、ソーシャル エンジニアリング、VAPT テストなどの攻撃的なセキュリティ サービスを提供し、企業をハッカーから保護します。Zokyo の DeFi スタジオは、選ばれた企業のフルスタック パートナーとして機能し、長期的で持続可能なプロジェクトを構築、保護、展開、成長させるためのリソースを提供するとともに、世界中の投資家や従来の取引会社とのつながりを構築します。

Sec3 は、数百万のユーザー向けに Web3 プロトコルを準備するセキュリティ リサーチ会社です。当社は、Web3 プロジェクト向けにテクノロジー ベースのソリューションを構築し、プロトコルが拡張されてもセキュリティが維持されるようにします。

Veridise は、スマート コントラクト、Web3 アプリケーション、ゼロ知識回路、ブロックチェーン実装など、ブロックチェーン エコシステムのすべてのレイヤーに監査およびソフトウェア分析ツールを提供するブロックチェーン セキュリティ企業です。形式検証とソフトウェア セキュリティの研究者のチームによって共同設立された Veridise は、ブロックチェーン セキュリティを強化するための最先端のツールを提供しています。また、スマート コントラクトのセキュリティと正確性を自動的に監査するための包括的で使いやすいツールチェーンも提供しています。

Numen は、業界をリードする Web3 セキュリティ ソリューション、スマート コントラクトとブロックチェーンのセキュリティ監査、リアルタイムのトランザクション セキュリティ検出、脅威インテリジェンスを提供し、あらゆるサイバー攻撃を捕捉してブロックします。

QuillAudits は、これまでに Ethereum、BSC、Solana などの L1/L2 を含む 20 を超えるブロックチェーンの 1,000 件を超える監査を実施してきたスマート コントラクト セキュリティ企業であり、Web3 プロジェクトの安全性と信頼性を確保するために設計された厳格なカスタマイズされたセキュリティ評価を提供しています。

ABDK コンサルティングは、ブロックチェーン開発および監査の分野における大手サービス プロバイダーです。同社は数多くのブロックチェーン プロジェクトに貢献しており、Poseidon ハッシュ関数などの広く知られているブロックチェーン プリミティブの共同作成者でもあります。

Cyfrin は、監査サービス、コードレビュー、Web3 教育を提供するスマート コントラクト監査会社です。契約監査とコードレビューの実行に加えて、Cyfrin は Web3 教育にも力を入れています。同社は、脆弱性の検出、デバッグなどに関するビデオやその他の教育資料をいくつか作成しており、リソース ページからアクセスできます。