論文の概要: Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution

• arxiv url: http://arxiv.org/abs/2510.05376v1
• Date: Mon, 06 Oct 2025 21:10:11 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-08 17:57:07.983172
• Title: Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
• Title（参考訳）: zkEVMの制約レベル設計:アーキテクチャ、トレードオフ、進化
• Authors: Yahya Hassanzadeh-Nazarabadi, Sanaz Taheri-Boshrooyeh,
• Abstract要約: Zero-knowledge Virtual Machines (zkEVMs) は、透過的なシーケンシャルな実行のために設計された仮想マシンであり、ゼロ知識証明は回路表現を必要とする。 この調査は、既存の主要製品であるzkEVMの実装が、異なる制約エンジニアリング戦略を通じて、この緊張を解決する方法について、最初の体系的な分析を提供する。
• 参考スコア（独自算出の注目度）: 3.724127405825709
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Zero-knowledge Ethereum Virtual Machines (zkEVMs) must reconcile a fundamental contradiction: the Ethereum Virtual Machine was designed for transparent sequential execution, while zero-knowledge proofs require algebraic circuit representations. This survey provides the first systematic analysis of how existing major production zkEVM implementations resolve this tension through distinct constraint engineering strategies. We develop a comparative framework that maps the design space across three architectural dimensions. First, arithmetization schemes reveal stark trade-offs: R1CS requires compositional gadget libraries, PLONKish achieves elegance through custom gates that capture complex EVM opcodes in single constraints, while the homogeneous structure of AIR fundamentally mismatches the irregular instruction set of EVM. Second, dispatch mechanisms determine constraint activation patterns: selector-based systems waste trace width on inactive constraints, while ROM-based approaches trade memory lookups for execution flexibility. Third, the Type 1-4 spectrum quantifies an inescapable trade-off: the bit-level EVM compatibility of Type 1 demands significantly higher constraint complexity than the custom instruction sets of Type 4. Beyond cataloging implementations, we identify critical open problems across multiple domains: performance barriers preventing sub-second proving, absence of formal verification for constraint-to-EVM semantic equivalence, lack of standardized benchmarking frameworks, and architectural gaps in hybrid zkEVM/zkVM designs, decentralized prover coordination, privacy preservation, and interoperability.
• Abstract（参考訳）: Ethereum仮想マシンは透過的なシーケンシャルな実行のために設計され、ゼロ知識証明は代数回路表現を必要とする。 この調査は、既存の主要製品であるzkEVMの実装が、異なる制約エンジニアリング戦略を通じて、この緊張を解決する方法について、最初の体系的な分析を提供する。 設計空間を3つのアーキテクチャ次元にわたってマッピングする比較フレームワークを開発する。 R1CSはコンポジションガジェットライブラリを必要とし、PLONKishは単一制約で複雑なEVMオペコードを取得するカスタムゲートを通じてエレガンスを達成する一方、AIRの同質構造は基本的に不規則なEVM命令セットと一致しない。 第2に、ディスパッチ機構は制約活性化パターンを決定する:セレクタベースのシステムでは、不活性な制約にトレース幅を浪費する。 第3に、Type 1-4スペクトルは、避けられないトレードオフを定量化する: Type 1のビットレベルのEVM互換は、Type 4のカスタム命令セットよりもはるかに高い制約複雑性を要求する。 パフォーマンスバリアは、サブ秒の証明を防止すること、制約からEVMへのセマンティックな等価性の正式な検証がないこと、標準化されたベンチマークフレームワークがないこと、ハイブリッドなzkEVM/zkVM設計におけるアーキテクチャギャップ、分散された証明調整、プライバシー保護、相互運用性である。

関連論文リスト

• OmniEVA: Embodied Versatile Planner via Task-Adaptive 3D-Grounded and Embodiment-aware Reasoning [50.45036742963495]
  我々は,先進的な具体的推論とタスクプランニングを可能にする,多元的多元的プランナーであるOmniEVAを紹介する。 Task-Adaptive 3D Groundingメカニズムは、様々な実施タスクに対してコンテキスト対応の3Dグラウンドを可能にする。 Embodiment-Aware Reasoningフレームワークは、タスクの目標と実施制約を推論ループに組み込む。
  論文  参考訳（メタデータ） (2025-09-11T10:32:22Z)
• Hierarchy-Consistent Learning and Adaptive Loss Balancing for Hierarchical Multi-Label Classification [8.889313669713918]
  HMCはマルチタスク学習における構造的一貫性の維持と損失重み付けのバランスに関する課題に直面している。 プロトタイプのコントラスト学習と適応的タスク重み付け機構を統合したMTLに基づくHCALと呼ばれる分類器を提案する。
  論文  参考訳（メタデータ） (2025-08-19T02:15:41Z)
• Efficient Multi-Instance Generation with Janus-Pro-Dirven Prompt Parsing [53.295515505026096]
  Janus-Pro-driven Prompt Parsingは、テキスト理解とレイアウト生成をブリッジするプロンプト解析モジュールである。 MIGLoRAはパラメータ効率の良いプラグインで、低ランク適応を UNet (SD1.5) と DiT (SD3) のバックボーンに統合する。 提案手法はパラメータ効率を維持しつつCOCOおよびLVISベンチマークの最先端性能を実現する。
  論文  参考訳（メタデータ） (2025-03-27T00:59:14Z)
• HyperVQ: MLR-based Vector Quantization in Hyperbolic Space [56.4245885674567]
  一般的な解決策は、VQ変分オートエンコーダ(VQVAE)にベクトル量子化(VQ)を採用することである。 本稿では,双曲型多相ロジスティック回帰(MLR)問題としてVQを定式化する新しい手法であるHyperVQを紹介する。 本実験は,HyperVQが従来のVQに比較し,識別性能を上回りながら,生成・再構成タスクに適合することを示した。
  論文  参考訳（メタデータ） (2024-03-18T03:17:08Z)
• Task-Oriented Sensing, Computation, and Communication Integration for Multi-Device Edge AI [108.08079323459822]
  本稿では,AIモデルの分割推論と統合センシング通信(ISAC)を併用した,新しいマルチインテリジェントエッジ人工レイテンシ(AI)システムについて検討する。 推定精度は近似的だが抽出可能な計量、すなわち判別利得を用いて測定する。
  論文  参考訳（メタデータ） (2022-07-03T06:57:07Z)
• Squeezeformer: An Efficient Transformer for Automatic Speech Recognition [99.349598600887]
  Conformerは、そのハイブリッドアテンション・コンボリューションアーキテクチャに基づいて、様々な下流音声タスクの事実上のバックボーンモデルである。 Squeezeformerモデルを提案する。これは、同じトレーニングスキームの下で、最先端のASRモデルよりも一貫して優れている。
  論文  参考訳（メタデータ） (2022-06-02T06:06:29Z)
• Tensor Completion with Provable Consistency and Fairness Guarantees for Recommender Systems [5.099537069575897]
  非負・正の行列とテンソル完備問題を定義・解決するための新しい一貫性に基づくアプローチを導入する。 単一特性/制約: 単位スケールの一貫性を保ち、解の存在を保証し、比較的弱いサポート仮定の下では、一意性を示す。
  論文  参考訳（メタデータ） (2022-04-04T19:42:46Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。