パフォーマンス
比較
詳細
本コンテンツは RD AI により生成されたもので、参考情報としてご利用ください
Veridise は、スマート コントラクト、Web3 アプリケーション、ゼロ知識回路、ブロックチェーン実装など、ブロックチェーン エコシステムのすべてのレイヤーに監査およびソフトウェア分析ツールを提供するブロックチェーン セキュリティ企業です。形式検証とソフトウェア セキュリティの研究者のチームによって共同設立された Veridise は、ブロックチェーン セキュリティを強化するための最先端のツールを提供しています。また、スマート コントラクトのセキュリティと正確性を自動的に監査するための包括的で使いやすいツールチェーンも提供しています。
更新をフォローする
フォローリスト
キャラクター
Veridiseについて
Veridiseは、形式手法を適用してプロトコルを強化するブロックチェーンセキュリティ企業です。中核事業はスマートコントラクト、ゼロ知識回路、DeFiプロトコル、NFT、ウォレット連携、L1/L2インフラをカバーしています。同社は、手作業による一行単位のレビューと、Vanguard（静的解析）、OrCa（仕様に基づくファジング）、Picus（ZK回路の決定性に対する形式検証）などの社内自動化ツールを組み合わせています。これらのツールはオープンソースのスキャナーを超え、制約不足の回路や再入など、微妙なバグの検出を可能にします。主要な差別化要因は、全コンテキストレビューモデルです。すべての監査には少なくとも2名の監査人が参加し、それぞれがコードベース全体をレビューすることで、業界に一般的なサイロ化されたアプローチを回避しています。市場の課題は明らかです。ゼロ知識回路は正確に実装することが非常に難しく、Veridiseの分析によると、ZK監査ではスマートコントラクト監査と比較して重大なバグが発見される可能性が2倍高いことが示されています。たった一つの制約の欠落が、回路全体を不安全にする可能性があります。過去6ヶ月間（2026年3月12日から2026年9月12日）、Veridiseは製品統合に注力しており、ZK Vanguardは現在Circom、Halo2、カスタムDSLをサポートし、継続的なモニタリングのためのシームレスなGitHub Actions統合を提供しています。PicusはCircom、R1CS、gnarkをサポートしています。同社はまた、制約不足の回路の自動検出に関する研究（PLDI 2023）を発表しています。入手可能な情報において、重大な否定的な事象は確認されていません。
過去6ヶ月間、Veridiseは共有ZKインフラとセキュリティツールに注力しました。MLIR上に構築された初の安定版ZK中間表現であるLLZK V1.0をリリースし、CircomやHalo2などのフロントエンドとR1CSやzkLeanなどのバックエンドを接続し、PicusやZK Vanguardなどのツールを言語間で再利用可能にしました。このリリースではRustバインディングとHalo2/Picusバックエンドが追加され、Galoisが独自にバックエンドを提供しました。LLZKはEthereum財団の資金提供を受け、独自のGitHub組織に移行しました。また、Veridiseは制約とウィットネスコード間の整合性を検証するLLEQを立ち上げ、最初はCircomをサポートし、次にNoirを予定しており、SNARK研究から得られた約34/99の回路レベルの脆弱性クラスを対象としています。ZK Vanguardは静的解析とカスタム検出器を拡張し続け、AuditHubを介してCI/CDと統合されました。 ロードマップの優先事項：コミュニティ主導の統一IRとしてLLZKを継続的に開発、形式的仕様の高度化、汎用構造体/関数のテンプレートサポート強化、ウィットネス生成バックエンドの追加、LLEQの対応言語拡大、AuditHubを通じた継続的なセキュリティ監視と回帰防止のスケールアップ。
Veridiseコアチーム：共同創業者兼社長 Isil Dillig（UTオースティン教授、形式検証の専門家）；共同創業者兼CEO Jon Stephens（UTオースティン博士課程修了、スマートコントラクトおよびZKセキュリティに特化）；CTO Kostas Ferles（UTオースティン博士、プログラム解析と合成の専門家）；最高研究責任者 Shankara Pailoor（UTオースティン博士、ZK回路検証の専門家）；製品担当VP Nikos Chondros（分散システムの博士号保有、セキュリティツール開発を主導）；エンジニアリング担当VP Andreea Buțerchi（製品品質とエンジニアリングを担当）；研究開発担当VP Benjamin Mariano（形式手法とセキュリティ研究に注力）。
Veridiseにおける最近のチーム変更：最高セキュリティ責任者のベン・セパンスキー氏が2026年4月に退社しました。彼は2023年1月に入社し、セキュリティ監査と研究を統括し、スマートコントラクトおよびゼロ知識回路の分析ツールに貢献しました。彼の退社が最近の主要な人事異動です。ベン氏はその後他のプロジェクトに移り、Veridiseは共同創業者のもとで継続しています。