LISAはSolidityスマートコントラクト向けのLLMを活用したセキュリティ分析ツールで、ブロックチェーン技術を用いて脆弱性検出と監査を提供するWeb3セキュリティプロジェクトです。

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

Zellic は、ブロックチェーン セキュリティ監査およびコンサルティング会社であり、業界で 10 年以上の経験を積んだブロックチェーン専門家のチームによって 2020 年に設立されました。

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

OKLink は、業界をリードするビジュアル ブロックチェーン データ処理および分析ツールを備えたブロックチェーン テクノロジーおよびデータ サービス プロバイダーです。ビッグ データ、AI、その他の高度なテクノロジーを統合して、複雑で多様なブロックチェーン データを分析および処理します。同社は、ブロックチェーン エクスプローラー、オンチェーン データ分析、コンプライアンス ステーブルコイン USDK、オンチェーン ウォレット、デジタル資産保管、ブロックチェーン アカデミーなど、6 つの製品とサービスを提供しています。

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

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

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

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

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

Audit Wizard は、ワンクリックで脆弱性をスキャンし、AI の洞察を活用し、ユニット テストを直感的に作成するなど、スマート コントラクトの安全なソリューションです。

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

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

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

MetaTrust は、Web3 アプリケーション用の自動セキュリティ スキャン ソリューションです。複数の最先端のセキュリティ スキャン エンジンを 1 つのプラットフォームに統合し、これまでにない速度と精度を実現します。スマート コントラクト レイヤーを超えて、アプリケーションのあらゆる側面を保護します。

Oak Security は、Cosmos、Terra、Polkadot、Flow エコシステムなどの第 3 世代のブロックチェーンとプロトコルに特に重点を置いて、多数のブロックチェーンのセキュリティ監査サービスを提供するサイバー セキュリティ コンサルティング会社です。

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

Techrate は、DeFi プロジェクトに特化したスマート コントラクト監査会社です。

ChainLight は、高度なテクノロジーとツールを使用してスマート コントラクトの複雑なセキュリティ脆弱性を発見する暗号セキュリティ監査会社です。

Supremacy は、2022 年に 2 人のハッカーによって資本的支援なしで設立されたブロックチェーン セキュリティ企業であり、業界のハッカーと学術研究者で構成され、技術的ノウハウと革新的な研究を通じてセキュリティ ソリューションを提供することに専念しています。

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

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

FYEO は、Web 3.0 への移行を進める企業や個人のセキュリティ確保と強化に特化したサイバーセキュリティ企業です。ブロックチェーン セキュリティ監査、デジタル脅威監視とインテリジェンス、分散型 ID 管理などのサービスを提供しています。

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

Quantstamp は、セキュリティおよびリスク評価サービスを通じてブロックチェーン技術の主流採用を促進することを目的とした、ブロックチェーン分野のスマート コントラクト監査会社です。同社のサービスには、Ethereum 2.0 や Solana などのレイヤー 1 ブロックチェーンのセキュリティ保護、Maker や OpenSea などのスマート コントラクトを利用した NFT および DeFi アプリケーションのセキュリティ保護、レイヤー 1 ブロックチェーン エコシステム向けの金融プリミティブの開発などが含まれます。

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

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

Sayfer は、企業向けのカスタマイズされたサイバーセキュリティ ソリューションを専門とする Web3 サイバーセキュリティ コンサルティング会社です。Sayfer の研究者とビジネス脅威アナリストは、ハッカーの考え方でサイバーセキュリティに取り組んでいます。この戦略により、Sayfer は、リスクのある最も重要な領域に優先順位を付けてソリューションを提供し、従来のセキュリティ製品では見落とされる可能性のある脆弱性に対処することができます。

OXORIO は、スマート コントラクト、zk-SNARK ソリューション、セキュリティ コンサルティングを専門とするブロックチェーン セキュリティ企業です。2021 年以来、Lido、1Inch、Rarible、deBridge などの著名な DeFi プロジェクトの主要なセキュリティ監査を実施しており、卓越性と長期的な顧客関係を優先しています。