パフォーマンス
RD 人気指数
RD 成長指数
比較
更新をフォローする
フォローリスト
キャラクター
Axiomについて
Axiomは、イーサリアム用のZKコプロセッサであり、スマートコントラクトが信頼の前提なしに過去のオンチェーンデータにアクセスし計算することを可能にします。中核ビジネスとして、開発者がデータリクエストを送信し、Axiomがオフチェーンでゼロ知識証明を生成し、その結果がオンチェーンで検証されるクエリプロトコルを提供します。これにより、コントラクトは検証済みの過去データをロジックで利用できます。 Axiomが解決する市場の課題は、イーサリアムから直接過去のブロックチェーンデータを読み取る際の高いコストと複雑さです。現在、スマートコントラクトは最新の状態にのみアクセス可能であり、過去データには信頼の前提を伴う高価な外部ブリッジやオラクルが必要です。AxiomはZK証明を用いて過去データの正確性を暗号学的に保証し、ネイティブのオンチェーンデータと同等の信頼性を実現します。 過去6ヶ月間（2026年2月から8月）、Axiomはパフォーマンス改善と形式検証に注力してきました。主な進展として、1 GHzの証明スループットを達成したOpenVM 2.0のリリース、4 GPUでのリアルタイムイーサリアム証明を実現したOpenVM 2.1 Preview、LeanによるKeccakおよびSHA-2ハッシュ回路の形式検証、そしてAxiom Proving APIでのGPUベース証明の提供による開発者コスト削減が挙げられます。
Axiomは2023年にEthereumメインネット上でアルファ版を開始し、スマートコントラクトがZK証明を通じて履歴オンチェーンデータにトラストレスにアクセスできるようにしました。2024年1月にはAxiom V2がメインネットで稼働開始し、トランザクション、レシート、Solidityマッピングのサポートが追加され、Spearbit、Zellic、Trail of Bitsによる完全な監査が行われました。同年後半、AxiomはParadigmとStandard Cryptoが主導する2000万ドルの資金調達を実施しました。2025年にはOpenVM 2.0が実用化され、CPU上でEthereumメインネットブロックを3分未満で証明し、1トランザクションあたり0.0015ドルを実現し、Axiom Proving APIはプライベートアルファ版に入りました。これらのマイルストーンは、Axiomが研究プロトタイプからスケーラブルなZKコプロセッサインフラへと進化したことを示しています。
主な進展： - OpenVM 2.0は、16基のGPU上でp99値11.8秒でイーサリアムメインネットブロックをリアルタイムに証明し、イーサリアム財団のL1 zkEVM性能目標を達成。
- OpenVM 2.0 Betaは、平均証明時間を4.4秒（p99値7.9秒）に改善し、1ブロックあたり約0.01ドル、10基のGPUでリアルタイム証明を実現。オープンソース化。
- OpenVMのRISC-V拡張の形式検証をLeanとNethermindで完了。全45のRV32IMオペコードを網羅し、回路バグは発見されず。
- Lighterとの提携により、OpenVM 2.0とカスタム回路を組み合わせたハイブリッドZKシステム「Lighter EVM」を実現。構成可能な汎用EVM実行を可能に。 今後の注力： - 形式検証の継続、128ビットセキュリティの達成、イーサリアムクライアントとの統合。
- Axiom Proving API上でのOpenVM 2.0プレビュー提供後、APIまたはオンプレミス展開によるGPU証明を用いた本番リリース。
Yi Sun（共同創設者）：MIT数学博士、指導教官：Vladimir Drinfeld、IASポスドク、MIT NSFフェロー、Perimeter Instituteシニアポスドク、現Axiom共同創設者。 Jonathan Wang（共同創設者）：ハーバード大学数学学士/修士、ケンブリッジ大学数学修士、シカゴ大学博士、IASポスドク、現Axiom共同創設者。 Nathan Feng（COO）：定量分析（D.E. Shaw）と数学教育（Art of Problem Solving）のバックグラウンド、現Axiom COO。