論文の概要: Formal Verification of Zero-Knowledge Circuits
- arxiv url: http://arxiv.org/abs/2311.08858v1
- Date: Wed, 15 Nov 2023 10:47:28 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-18 23:12:35.502333
- Title: Formal Verification of Zero-Knowledge Circuits
- Title(参考訳): ゼロ知識回路の形式的検証
- Authors: Alessandro Coglio, Eric McCarthy, Eric W. Smith,
- Abstract要約: ゼロ知識回路は素体で解釈された算術式に対する等式制約の集合である。
我々は、回路が正しく計算を符号化することを確実にする問題に貢献する。
- 参考スコア(独自算出の注目度): 44.99833362998488
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Zero-knowledge circuits are sets of equality constraints over arithmetic expressions interpreted in a prime field; they are used to encode computations in cryptographic zero-knowledge proofs. We make the following contributions to the problem of ensuring that a circuit correctly encodes a computation: a formal framework for circuit correctness; an ACL2 library for prime fields; an ACL2 model of the existing R1CS (Rank-1 Constraint Systems) formalism to represent circuits, along with ACL2 and Axe tools to verify circuits of this form; a novel PFCS (Prime Field Constraint Systems) formalism to represent hierarchically structured circuits, along with an ACL2 model of it and ACL2 tools to verify circuits of this form in a compositional and scalable way; verification of circuits, ranging from simple to complex; and discovery of bugs and optimizations in existing zero-knowledge systems.
- Abstract(参考訳): ゼロ知識回路は、素体で解釈された算術式に対する等式制約の集合であり、暗号ゼロ知識証明の計算を符号化するために用いられる。
回路が正しく符号化されることを保証するための問題として、回路の正当性を保証するための形式的フレームワーク、素体のためのACL2ライブラリ、既存のR1CS(Rank-1 Constraint Systems)形式的回路を表すためのACL2モデル、この形式の回路を検証するためのACL2ツール、新しいPFCS(Prime Field Constraint Systems)形式的回路を表現するための新しいPFCS(Prime Field Constraint Systems)形式的回路と、そのACL2モデルと、この形式の回路を構成的かつスケーラブルな方法で検証するACL2ツール、単純から複雑までの回路の検証、および既存のゼロ知識システムにおけるバグと最適化の発見などがある。
関連論文リスト
- Architect of the Bits World: Masked Autoregressive Modeling for Circuit Generation Guided by Truth Table [5.300504429005315]
本稿では,回路生成のための条件生成モデルと微分可能なアーキテクチャ探索(DAS)を組み合わせた新しい手法を提案する。
まず、Circuit AutoEncoderに基づいてトレーニングされた回路トークンであるCircuitVQを紹介する。
次に,トークンとしてCircuitVQを活用するマスク付き自己回帰モデルであるCircuitARを開発した。
論文 参考訳(メタデータ) (2025-02-18T11:13:03Z) - Functional Faithfulness in the Wild: Circuit Discovery with Differentiable Computation Graph Pruning [14.639036250438517]
本稿では、DiscoGPとともにCircuit Discoveryと呼ばれるタスクを包括的に再構築する。
DiscoGPは、回路発見のための識別可能なマスキングに基づく、新しく効果的なアルゴリズムである。
論文 参考訳(メタデータ) (2024-07-04T09:42:25Z) - AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs [4.810904298160317]
過度に制約された回路や過度に制約された回路はバグを引き起こす可能性がある。
提案手法の実装を表すためにAC4というツールが提案されている。
解決可能な範囲内では、チェック時間も顕著に改善されている。
論文 参考訳(メタデータ) (2024-03-23T01:44:57Z) - Low-overhead non-Clifford fault-tolerant circuits for all non-chiral abelian topological phases [0.7873629568804646]
本稿では,2次元平面格子上の幾何的局所回路群を提案する。
これらの回路は、離散的な不動点経路積分における1-形式対称性の測定から構成される。
位相回路の一般クラスに対して任意の局所雑音(非パウリ雑音を含む)の下での耐故障性を証明する。
論文 参考訳(メタデータ) (2024-03-18T18:00:00Z) - CktGNN: Circuit Graph Neural Network for Electronic Design Automation [67.29634073660239]
本稿では,回路トポロジ生成とデバイスサイズを同時に行う回路グラフニューラルネットワーク(CktGNN)を提案する。
オープンサーキットベンチマーク(OCB: Open Circuit Benchmark)は、オープンソースのデータセットで、10ドル(約10万円)の異なるオペレーショナルアンプを含む。
我々の研究は、アナログ回路のための学習ベースのオープンソース設計自動化への道を開いた。
論文 参考訳(メタデータ) (2023-08-31T02:20:25Z) - Adaptive Planning Search Algorithm for Analog Circuit Verification [53.97809573610992]
シミュレーションの少ない機械学習(ML)アプローチを提案する。
提案手法により,OCCを全回路の仕様に近づけることができることを示す。
論文 参考訳(メタデータ) (2023-06-23T12:57:46Z) - A Complete Equational Theory for Quantum Circuits [58.720142291102135]
量子回路に対する最初の完全方程式理論を導入する。
2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
論文 参考訳(メタデータ) (2022-06-21T17:56:31Z) - Machine Learning Optimization of Quantum Circuit Layouts [63.55764634492974]
本稿では量子回路マッピングQXXとその機械学習バージョンQXX-MLPを紹介する。
後者は、レイアウトされた回路の深さが小さくなるように最適なQXXパラメータ値を自動的に推論する。
近似を用いてレイアウト法を学習可能な経験的証拠を提示する。
論文 参考訳(メタデータ) (2020-07-29T05:26:19Z) - Hardware-Encoding Grid States in a Non-Reciprocal Superconducting
Circuit [62.997667081978825]
本稿では、非相互デバイスと、基底空間が2倍縮退し、基底状態がGottesman-Kitaev-Preskill(GKP)符号の近似符号であるジョセフソン接合からなる回路設計について述べる。
この回路は、電荷やフラックスノイズなどの超伝導回路の一般的なノイズチャネルに対して自然に保護されており、受動的量子誤差補正に使用できることを示唆している。
論文 参考訳(メタデータ) (2020-02-18T16:45:09Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。