論文の概要: Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems

• arxiv url: http://arxiv.org/abs/2405.12115v2
• Date: Thu, 11 Jul 2024 16:21:25 GMT
• ステータス: 処理完了
• システム内更新日: 2024-07-12 22:37:59.553509
• Title: Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
• Title（参考訳）: Clap: Plonkishの証明システムのためのセマンティックな保存最適化eDSL
• Authors: Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits,
• Abstract要約: Plonkishはゼロ知識証明システムを開発するための一般的な回路フォーマットである。 証明系回路フォーマットを備えた最初のRust e非依存のClapを提示する。 クラップは、意味保存のコンパイル問題として、プロンキッシュシステムとその証人生成装置を製造するという問題を提起している。
• 参考スコア（独自算出の注目度）: 7.469723382577489
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Plonkish is a popular circuit format for developing zero-knowledge proof systems that powers a number of major projects in the blockchain space, responsible for holding billions of dollars and processing millions of transactions per day. These projects, including zero-knowledge rollups, rely on highly hand-optimized circuits whose correctness comes at the cost of time-consuming testing and auditing. In this paper, we present Clap, the first Rust eDSL with a proof system agnostic circuit format, facilitating extensibility, automatic optimizations, and formal assurances for the resultant constraint system. Clap casts the problem of producing Plonkish constraint systems and their witness generators as a semantic-preserving compilation problem. Soundness and completeness of the transformation guarantees the absence of subtle bugs caused by under- or over-constraining. Our experimental evaluation shows that its automatic optimizations achieve better performance compared to manual circuit optimization. The optimizer can also be used to automatically derive custom gates from circuit descriptions.
• Abstract（参考訳）: Plonkishは、ブロックチェーン分野の主要なプロジェクトの多くを動かすゼロ知識証明システムを開発するための、人気の回路フォーマットだ。 ゼロ知識のロールアップを含むこれらのプロジェクトは、高度に手動最適化された回路に依存している。 本稿では,最初のRust eDSLであるClapについて,拡張性,自動最適化,および結果制約系に対する形式保証の容易化を図った。 クラップは、意味保存型コンパイル問題として、プロンキッシュの制約システムとその目撃者生成システムを生成するという問題を論じている。 変換の健全性と完全性は、過度な制約や過度な制約によって引き起こされる微妙なバグがないことを保証する。 実験により,手動回路の最適化と比較して,自動最適化により性能が向上することが示された。 また、オプティマイザは回路記述からカスタムゲートを自動的に引き出すためにも使用することができる。

関連論文リスト

• A General Framework for Gradient-Based Optimization of Superconducting Quantum Circuits using Qubit Discovery as a Case Study [0.19528996680336308]
  超伝導量子回路の勾配に基づく最適化のための網羅的な枠組みを提案する。 この枠組みをキュービット発見問題に適用し、優れた性能指標を持つキュービット設計の同定の有効性を実証する。
  論文  参考訳（メタデータ） (2024-08-22T19:46:50Z)
• Finding Transformer Circuits with Edge Pruning [71.12127707678961]
  自動回路発見の効率的かつスケーラブルなソリューションとしてエッジプルーニングを提案する。 本手法は,従来の手法に比べてエッジ数の半分未満のGPT-2の回路を探索する。 その効率のおかげで、Edge PruningをCodeLlama-13Bにスケールしました。
  論文  参考訳（メタデータ） (2024-06-24T16:40:54Z)
• Analyzing and Enhancing the Backward-Pass Convergence of Unrolled Optimization [50.38518771642365]
  ディープネットワークにおけるコンポーネントとしての制約付き最適化モデルの統合は、多くの専門的な学習タスクに有望な進歩をもたらした。 この設定における中心的な課題は最適化問題の解によるバックプロパゲーションであり、しばしば閉形式を欠いている。 本稿では, 非線形最適化の後方通過に関する理論的知見を提供し, 特定の反復法による線形システムの解と等価であることを示す。 Folded Optimizationと呼ばれるシステムが提案され、非ローリングなソルバ実装からより効率的なバックプロパゲーションルールを構築する。
  論文  参考訳（メタデータ） (2023-12-28T23:15:18Z)
• Fault-tolerant quantum architectures based on erasure qubits [49.227671756557946]
  我々は、支配的なノイズを既知の場所での消去に効率よく変換することで、消去量子ビットの考え方を利用する。 消去量子ビットと最近導入されたFloquet符号に基づくQECスキームの提案と最適化を行う。 以上の結果から, 消去量子ビットに基づくQECスキームは, より複雑であるにもかかわらず, 標準手法よりも著しく優れていることが示された。
  論文  参考訳（メタデータ） (2023-12-21T17:40:18Z)
• Design and execution of quantum circuits using tens of superconducting qubits and thousands of gates for dense Ising optimization problems [12.220619768140903]
  本研究では,各層におけるコストハミルトニアンのすべての相互作用のサブセットをパラメトリズする,既存のアンサツェから派生した,変動最適化のためのハードウェア効率の良いアンサッツを開発する。 最大5000個の2量子ビットおよび5000個の1量子ビットネイティブゲートを含む回路において、ランダムな推定オラクルを使用するよりも、性能が大幅に向上したことを報告した。
  論文  参考訳（メタデータ） (2023-08-18T02:36:38Z)
• Faster-than-Clifford Simulations of Entanglement Purification Circuits and Their Full-stack Optimization [0.0]
  我々は,$mathcalO(1)$のゲートシミュレーション複雑性を持つ蒸留回路のシミュレーションアルゴリズムを開発した。 これにより、単純な離散最適化アルゴリズムを用いて、純化回路を$n$の生ベル対から$k$の純化ペアに設計することができる。 結果として生じる浄化回路は、有限サイズのノイズのあるハードウェアにとって最もよく知られた浄化回路である。
  論文  参考訳（メタデータ） (2023-07-12T18:00:00Z)
• Adaptive Planning Search Algorithm for Analog Circuit Verification [53.97809573610992]
  シミュレーションの少ない機械学習(ML)アプローチを提案する。 提案手法により,OCCを全回路の仕様に近づけることができることを示す。
  論文  参考訳（メタデータ） (2023-06-23T12:57:46Z)
• Performance Embeddings: A Similarity-based Approach to Automatic Performance Optimization [71.69092462147292]
  パフォーマンス埋め込みは、アプリケーション間でパフォーマンスチューニングの知識伝達を可能にする。 本研究では, 深層ニューラルネットワーク, 密度およびスパース線形代数合成, および数値風速予測ステンシルのケーススタディにおいて, この伝達チューニング手法を実証する。
  論文  参考訳（メタデータ） (2023-03-14T15:51:35Z)
• Post-selection-free preparation of high-quality physical qubits [0.0]
  提案する量子回路の族は, 選択後無条件で高品質な |0> 状態を生成する。 2量子ゲートの誤差が0.2%以下になった場合、有意義な性能向上が得られます。
  論文  参考訳（メタデータ） (2022-09-12T16:42:33Z)
• Finite-time System Identification and Adaptive Control in Autoregressive Exogenous Systems [79.67879934935661]
  未知のARXシステムのシステム識別と適応制御の問題について検討する。 我々は,オープンループとクローズループの両方のデータ収集の下で,ARXシステムに対する有限時間学習保証を提供する。
  論文  参考訳（メタデータ） (2021-08-26T18:00:00Z)
• QubiC: An open source FPGA-based control and measurement system for superconducting quantum information processors [5.310385728746101]
  超伝導量子処理ユニットを制御・測定するために,QubiCと呼ばれるモジュール型FPGAを設計する。 プロトタイプのハードウェアモジュールは、市販の市販評価ボードと、社内で開発された回路基板から組み立てられる。 システム機能と性能は、キュービットチップの特性評価、ゲート最適化、ランダム化されたベンチマークシーケンスによって実証される。
  論文  参考訳（メタデータ） (2020-12-31T21:06:28Z)

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

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