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

Sherlock は、監査ごとに最大 1,000 万ドルの補償を提供するスマート コントラクト監査プラットフォームです。

ランタイム検証は、パブリック ブロックチェーン上の仮想マシンとスマート コントラクトのセキュリティ監査を実行するために形式手法を使用します。また、ブロックチェーン分野のソフトウェア システムの安全性、信頼性、正確性を向上させるソフトウェア テスト、検証サービス、製品も提供します。

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

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

Hexens は、ブロックチェーンと新技術に重点を置いたサイバーセキュリティ プロバイダーです。

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

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

Zksecurity は、ゼロ知識アプリケーション向けのセキュリティ監査ソリューションです。その目標は、ゼロ知識の世界への移行に伴う問題を最小限に抑えることです。Zksecurity は、ツール、ベスト プラクティスを作成し、ゼロ知識システムとアプリケーションを監査します。

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

CredShields は、ボタンをクリックするだけで監査レポートを提供するクラウドベースのスマート コントラクト セキュリティ スキャナーである SolidityScan.com を構築しています。

Neodyme は、革新的な思考で課題を解決し、いくつかの国際 CTF コンテストで賞を受賞した、製品安全性に重点を置いた企業です。Neodyme は、ブロックチェーン監査、侵入テスト、セキュリティ トレーニングなどのサービスを提供しています。

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

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

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

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

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

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

Consensys Diligence は、スタートアップから大企業まで、あらゆる企業が Ethereum ブロックチェーン アプリケーションを起動および維持するのに役立つ包括的なスマート コントラクト監査サービスです。

ZippelVM は、低コストで高速な方法で世界中のソフトウェアを検証することを最終目標として、Ethereum のリアルタイム証明を提供します。

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

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

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

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

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

SharkTeam は、スマート コントラクト監査、チェーン分析、緊急対応サービスを提供する Web3 セキュリティ サービス プロバイダーです。

SECBIT Labs は、Solidity スマート コントラクト、形式検証、ゼロ知識証明 (ZKP) やその他の暗号化アルゴリズムに関連するコードの検査などのセキュリティ監査サービスを提供する中国の一流組織です。

Dedaub は、プロジェクトのセキュリティを確保するために、最先端のプログラム分析テクノロジーと組み合わせた高度なセキュリティの専門知識を提供するスマート コントラクト セキュリティおよび監査会社です。

Omniscia は、複雑なスマート コントラクトとブロックチェーン ネットワークの保護と最適化に関する豊富な経験を持つ Web3 セキュリティ企業です。

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