詳細な調査と同社の公式ウェブサイトによると、

Veridiseは、2021年に世界クラスの学術専門家グループによって設立されたブロックチェーンセキュリティに焦点を当てた企業です。同社は、最先端の研究とテクノロジーを通じて、Web 3エコシステムで最も複雑なセキュリティの課題を解決することに取り組んでいます。Veridiseの使命は、形式的な検証とプログラム分析技術を通じて、ブロックチェーンのセキュリティと信頼性を向上させることです。

製品とサービス

Veridiseは、次の領域をカバーする包括的なブロックチェーンセキュリティサービスを提供します。

スマートコントラクト監査:

スマートコントラクトのセキュリティを詳細に分析し、脆弱性を検出し、修正の推奨事項を提供します。

ブロックチェーンプロトコル監査:

L 1およびL 2ブロックチェーンプロトコルの包括的なセキュリティ分析により、基盤となるアーキテクチャのセキュリティを確保します。

ゼロ知識回路監査:

ゼロ知識証明（ZK）技術のセキュリティ評価に焦点を当て、プライバシー保護と計算の正確性を確保します。

分散型金融（DeFi）監査:

DeFiプロトコルの複雑さに対応するカスタマイズされたセキュリティ監査サービスを提供します。

形式的検証:

高度な形式的検証技術を使用して、コードの正確性とセキュリティを確保します。

技術的特徴

形式的検証とプログラム解析:

Veridiseは、形式的検証をコア技術とし、プログラム解析手法を組み合わせることで、従来の監査では発見が困難だった脆弱性を検出することができます。

学術と産業の組み合わせ:

同社のチームは、学術界と産業界のトップタレントで構成されており、最新の研究成果を実際のプロジェクトに適用しています。

専用ツール:

Veridiseは、複雑な脆弱性を検出し、包括的なセキュリティ分析を提供するためのさまざまな内部ツールを開発しています。

フルスタックセキュリティカバレッジ:

サービスは、スマートコントラクト、ブロックチェーンプロトコル、ゼロナレッジ回路など、さまざまな分野をカバーし、包括的なセキュリティを提供します。

ブロックチェーンプロジェクトへの参加

Veridiseは、次のような多くの有名なブロックチェーンプロジェクトにセキュリティサービスを提供していますが、これらに限定されません。

リネア:

スマートコントラクトとプロトコルのセキュリティ監査を提供します。

Manta Network:

ゼロナレッジテクノロジーのプライバシー保護プロジェクトに焦点を当てたVeridiseは、ZK回路のセキュリティ評価に参加している可能性があります。

スクロール:

Veridiseがセキュリティ監査サービスを提供するイーサリアムベースのL 2拡張ソリューション。

その他のプロジェクト:

Veridiseは、他のブロックチェーンプロトコル、DeFiプロジェクト、およびゼロナレッジテクノロジーのセキュリティ監査にも関与している可能性がありますが、詳細はさらに確認する必要があります。