パフォーマンス
比較
更新をフォローする
フォローリスト
キャラクター
Zksecurityについて
zksecurityは、ゼロ知識（zk）システムに特化したセキュリティ監査企業です。中核事業は、AIによる脆弱性発見と専門家による手動検証を組み合わせ、zk回路、zkVM、暗号ライブラリ向けの監査を提供しています。 主な差別化要因として、社内AIパイプラインが候補となる発見事項を選別し、バグの特定と再現にかかるコストを削減します。また、RISC-V zkVM向けの差分ファザー「zkvmBlast」や、形式的検証済みで高度に最適化された回路の競技プラットフォーム「zk.golf」などのオープンソースツールを開発しています。これらのツールは、zkコードが手動監査が極めて困難であり、純粋なAI出力は誤検知で開発者を圧倒するという市場の課題に対処します。zksecurityは、機械生成のリードと人間による概念実証検証、責任ある開示を組み合わせることでこれを解決します。 過去6ヶ月間（2026年3月～9月）、zksecurityはCloudflareのCIRCLライブラリに対するAI監査を公開し、7件の実際のバグ（CP-ABEアクセス制御バイパスを含む重大なもの）を発見し、上流で修正されました。また、zkvmBlastをリリースし、SP1、Pico、OpenVM全体で7件の異なる問題を発見。さらにzk.golfを公開し、コミュニティ主導の形式的検証済み回路最適化を促進しました。 注目すべき限界として、AIによる重大度評価はベンダー確認済みの評価と乖離することが多く、パイプラインの詳細（誤検知率、モデル構成）は公開されていません。この透明性の欠如により、ユーザーはAIの発見を最終的な判定ではなく、リードとして扱うべきです。
zkSecurityは2023年5月30日に設立され、当初はZK回路監査企業としてスタートしました。初期のマイルストーンとして、共同創業者のBrandonが退任しO(1) LabsのCEOに就任した一方、GregorとMathiasがフルタイムで参加し、チームは約10名のエンジニアに成長しました。同社は純粋なZK監査から、MPC、FHE、TEE、閾値署名、コンセンサスプロトコルをカバーするより広範な高度暗号技術へと事業を拡大しました。2024年にはCircom回路向けデバッグツールCircomscribeをリリースし、ZK脆弱性の分類体系を公開しました。2026年には、100件以上の監査からパターンをエンコードしたAI搭載の継続的セキュリティスキャナzkaoを立ち上げるという重要な進展がありました。同年、彼らは実際のZK回路に対する最初の2件の既知のエクスプロイト（いずれも誤った設定のGroth16検証器に起因）を特定し、この脆弱性クラスの検出機能をzkaoに統合しました。
2026年3月以降、zkSecurityの主な進展は以下の通りです：Ethereum Foundationから一部資金提供を受けたRISC-V zkVM向けの差分ファジングフレームワーク「zkvmBlast」を公開し、SP1、Pico、OpenVMにおいて7件の完全性/正確性バグを発見、さらに既知のRISC0健全性バグの再現を実施。AI監査ツール「zkao」にAleo/Leoを統合し、HumanityLinkの支援物資分配システムの監査を完了。また、Groth16セットアップフェーズの欠落に起因する初のZKエクスプロイト（VeilおよびFoom）を受けて、zkaoにこの脆弱性クラスの自動検出機能を追加しました。 今後の焦点：zkaoの対応言語・ZK DSLのさらなる拡張、zkvmBlastの開発を深めるための技術詳細の公開と、より多くのzkVMチームによるCIツールとしての採用促進。
共同創業者および現在のコアチーム： - David Wong：zkSecurityの共同創業者、『Real-World Cryptography』の著者、元O(1) Labsの暗号アーキテクト、Novi（Facebook）のDiem/Libraセキュリティリード、NCC GroupのCryptography Servicesのセキュリティコンサルタント。（） - Gregor Mitscha-Baude：zkSecurityの共同創業者、元O(1) Labsのzk暗号エンジニア、ウィーン工科大学で応用数値数学の博士号を取得。（） - Brandon Kase：zkSecurityの共同創業者。詳細な公開経歴はありません。 - Mathias Hall-Andersen：zkSecurityの共同創業者。詳細な公開経歴はありません。
Zksecurityは2026年8月、Kobi Gurkan氏をリサーチメンバーとして迎えました。Kobi氏は応用暗号、SNARKs、閾値方式に関する深い専門知識を持ち、以前はcpsnarks-setやaggregatable-dkgなどのプロジェクトに貢献してきました。彼の加入により、Zksecurityのゼロ知識セキュリティ監査における研究能力が強化されます。 この期間中、退職者は報告されていません。