論文の概要: Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)

• arxiv url: http://arxiv.org/abs/2504.14881v2
• Date: Wed, 30 Apr 2025 15:11:46 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-05-02 19:15:52.729949
• Title: Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
• Title（参考訳）: ゼロ知識証明回路のファジングに向けて(短報)
• Authors: Stefanos Chaliasos, Imam Al-Fath, Alastair Donaldson,
• Abstract要約: ゼロ知識証明(ZKPs)は、理論的な暗号概念から、信頼性の仮定を必要とせずに、プライバシ保護および検証可能なアプリケーションを実装する強力なツールへと進化してきた。 本稿では,ZKP回路にファジングを適用する際の課題について論じ,オラクル問題とその潜在的な解決策について検討し,入力生成とテストハーネス構築のための手法を提案する。 現代のZKPアプリケーションにおける基盤ライブラリである textttzk-regex のファジタを実装することにより,ファジィ化がこの領域で有効であることを示す。
• 参考スコア（独自算出の注目度）: 1.6822770693792823
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Zero-knowledge proofs (ZKPs) have evolved from a theoretical cryptographic concept into a powerful tool for implementing privacy-preserving and verifiable applications without requiring trust assumptions. Despite significant progress in the field, implementing and using ZKPs via \emph{ZKP circuits} remains challenging, leading to numerous bugs that affect ZKP circuits in practice, and \emph{fuzzing} remains largely unexplored as a method to detect bugs in ZKP circuits. We discuss the unique challenges of applying fuzzing to ZKP circuits, examine the oracle problem and its potential solutions, and propose techniques for input generation and test harness construction. We demonstrate that fuzzing can be effective in this domain by implementing a fuzzer for \texttt{zk-regex}, a cornerstone library in modern ZKP applications. In our case study, we discovered \textit{$10$} new bugs that have been confirmed by the developers.
• Abstract（参考訳）: ゼロ知識証明(ZKPs)は、理論的な暗号概念から、信頼性の仮定を必要とせずに、プライバシ保護および検証可能なアプリケーションを実装する強力なツールへと進化してきた。 この分野では大きな進歩があったが、ZKP回路の実装と使用は依然として困難であり、実際にZKP回路に影響を及ぼす多くのバグが発生し、ZKP回路のバグを検出する方法として研究されていない。 本稿では,ZKP回路にファジングを適用する際のユニークな課題について論じ,オラクル問題とその潜在的な解決策について検討し,入力生成とテストハーネス構築のための手法を提案する。 現代のZKPアプリケーションにおいて基礎となるライブラリであるtexttt{zk-regex} のファズーを実装することにより、ファズーがこの領域で有効であることを示す。 今回のケーススタディでは,開発者によって確認された‘textit{$10$} 新たなバグが発見されました。

関連論文リスト

• zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits [24.179342690266523]
  ZK回路はプライバシー保護計算を可能にし、多くの暗号プロトコルの中心となっている。 既存のツールは、中間計算やプログラム中止など、いくつかの重要な動作を見落としている。 我々は、TCCT違反を検出するための新しいプログラム変異ベースのファジリングフレームワークであるzkFuzzを紹介する。
  論文  参考訳（メタデータ） (2025-04-16T10:43:48Z)
• Fuzzing Processing Pipelines for Zero-Knowledge Circuits [1.9749268648715583]
  ゼロ知識パイプライン(ZK)のための最初の系統的ファジリング手法を提案する。 このテクニックは、メタモルフィックなテストオラクルを使用して、重要なロジックのバグを検出する。 私たちはCircuzzというオープンソースのツールでこのテクニックを実装しました。
  論文  参考訳（メタデータ） (2024-11-04T13:31:03Z)
• AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs [4.810904298160317]
  過度に制約された回路や過度に制約された回路はバグを引き起こす可能性がある。 提案手法の実装を表すためにAC4というツールが提案されている。 解決可能な範囲内では、チェック時間も顕著に改善されている。
  論文  参考訳（メタデータ） (2024-03-23T01:44:57Z)
• Fault-tolerant quantum architectures based on erasure qubits [49.227671756557946]
  我々は、支配的なノイズを既知の場所での消去に効率よく変換することで、消去量子ビットの考え方を利用する。 消去量子ビットと最近導入されたFloquet符号に基づくQECスキームの提案と最適化を行う。 以上の結果から, 消去量子ビットに基づくQECスキームは, より複雑であるにもかかわらず, 標準手法よりも著しく優れていることが示された。
  論文  参考訳（メタデータ） (2023-12-21T17:40:18Z)
• Toward Certified Robustness Against Real-World Distribution Shifts [65.66374339500025]
  我々は、データから摂動を学ぶために生成モデルを訓練し、学習したモデルの出力に関して仕様を定義する。 この設定から生じるユニークな挑戦は、既存の検証者がシグモイドの活性化を厳密に近似できないことである。 本稿では,古典的な反例誘導的抽象的洗練の概念を活用するシグモイドアクティベーションを扱うための一般的なメタアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2022-06-08T04:09:13Z)
• Data post-processing for the one-way heterodyne protocol under composable finite-size security [62.997667081978825]
  本研究では,実用的連続可変(CV)量子鍵分布プロトコルの性能について検討する。 ヘテロダイン検出を用いたガウス変調コヒーレント状態プロトコルを高信号対雑音比で検討する。 これにより、プロトコルの実践的な実装の性能を調べ、上記のステップに関連付けられたパラメータを最適化することができる。
  論文  参考訳（メタデータ） (2022-05-20T12:37:09Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Device-Independent-Quantum-Randomness-Enhanced Zero-Knowledge Proof [25.758352536166502]
  ゼロ知識証明(ゼロ知識証明、ZKP)は、証明者が文の有効性の検証を納得させることができる基本的な暗号プリミティブである。 ZKP の効率的な変種として、Fiat-Shamir を採用した非相互作用ゼロ知識証明 (NIZKP) は幅広い応用に不可欠である。
  論文  参考訳（メタデータ） (2021-11-12T13:36:43Z)
• Composably secure data processing for Gaussian-modulated continuous variable quantum key distribution [58.720142291102135]
  連続可変量子鍵分布(QKD)は、ボソニックモードの二次構造を用いて、2つのリモートパーティ間の秘密鍵を確立する。 構成可能な有限サイズセキュリティの一般的な設定におけるホモダイン検出プロトコルについて検討する。 特に、ハイレート(非バイナリ)の低密度パリティチェックコードを使用する必要のあるハイシグネチャ・ツー・ノイズ・システマを解析する。
  論文  参考訳（メタデータ） (2021-03-30T18:02:55Z)
• Round-robin differential phase-time-shifting protocol for quantum key distribution: theory and experiment [58.03659958248968]
  量子鍵分布(QKD)は、遠隔者間で共通の暗号鍵の確立を可能にする。 近年,信号の乱れの監視を回避できるQKDプロトコルが提案され,初期の実験で実証されている。 我々は,ラウンドロビン差動位相シフトプロトコルのセキュリティ証明を,集団攻撃シナリオにおいて導出する。 その結果,RRDPTSプロトコルは高い量子ビット誤り率の条件下で,RDPSと比較して高い秘密鍵レートが得られることがわかった。
  論文  参考訳（メタデータ） (2021-03-15T15:20:09Z)
• Experimental study and pratical realization of a reconciliation method for quantum key distribution system [0.22099217573031674]
  本稿では,QKDプロトコルにおいて誤りのない秘密鍵を確立するための和解手法について検討する。 提案手法は,サイドインフォメーション・ソース・コーディングの特殊な問題において,QTCを用いて和解を実現する。
  論文  参考訳（メタデータ） (2020-02-16T21:40:36Z)

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

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