論文の概要: Codes on any Cayley Graph have an Interactive Oracle Proof of Proximity

• arxiv url: http://arxiv.org/abs/2508.10510v1
• Date: Thu, 14 Aug 2025 10:25:17 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-08-15 22:24:48.273035
• Title: Codes on any Cayley Graph have an Interactive Oracle Proof of Proximity
• Title（参考訳）: Cayley Graphのコードは、対話型のOracle Proof of Proximityを持っている
• Authors: Hugo Delavenne, Louise Lallemand,
• Abstract要約: インタラクティブなOracle Proofs of Proximity (IOPP)は、ゼロ知識プロトコルのファミリであるコードベースのSNARKの中心にある。 本稿では, 特定の (2, n) 正規タナー符号に対して [DMR25] で導入された開花 IOPP を, より広い範囲のコードに一般化する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Interactive Oracle Proofs of Proximity (IOPP) are at the heart of code-based SNARKs, a family of zeroknowledge protocols. The first and most famous one is the FRI protocol [BBHR18a], that efficiently tests proximity to Reed-Solomon codes. This paper generalizes the flowering IOPP introduced in [DMR25] for some specific (2, n)-regular Tanner codes to a much broader variety of codes: any code with symbols indexed on the edges of a Cayley graph. The flowering protocol of [DMR25] had a soundness parameter much lower than the FRI protocol [BCI + 23], and complexity parameters that could compete with the FRI [BBHR18a]. The lower soundness and the absence of restriction on the base field may lead to other practical speedups, however the codes considered in [DMR25] have an o(1) minimum distance. The generalization proposed in this paper preserves the soundness parameter with a slight decrease of the complexity parameters, while allowing being applied on codes with constant rate and constant minimum distance thanks to the good expansion properties of some families of Cayley graphs.
• Abstract（参考訳）: インタラクティブなOracle Proofs of Proximity (IOPP)は、ゼロ知識プロトコルのファミリであるコードベースのSNARKの中心にある。 FRIプロトコル(BBHR18a)は、リード・ソロモン符号に近接して効率よくテストするプロトコルである。 本稿では, 特定の (2, n) 正規タナー符号に対して, [DMR25] で導入された開花 IOPP を,Cayley グラフのエッジにインデックス付けされた記号を持つ符号など, より広範なコードに一般化する。 The flowering protocol of [DMR25] had a soundness parameter than the FRI protocol [BCI + 23] and complexity parameters which can compete with the FRI [BBHR18a]。 ベースフィールド上の低音さと制限の欠如は、他の実用的なスピードアップにつながる可能性があるが、[DMR25]で考慮されている符号は、o(1)最小距離を持つ。 本稿では,ケイリーグラフのいくつかの家系のよい拡張特性により,一定の速度と一定最小距離の符号に適用可能でありながら,複雑性パラメータをわずかに減少させて音質パラメータを保存する。

関連論文リスト

• Interactive Oracle Proofs of Proximity to Codes on Graphs [0.0]
  FRIプロトコルにインスパイアされたグラフ上のコードのための対話型Oracle Proof of Proximity (IOPP)を設計する。 音質はFRIに比べて大幅に改善され、複雑性パラメータは同等であり、使用するフィールドに制限はない。
  論文  参考訳（メタデータ） (2025-01-24T09:01:43Z)
• List Decodable Quantum LDPC Codes [49.2205789216734]
  我々は、ほぼ最適レート距離のトレードオフを持つ量子低密度パリティチェック(QLDPC)符号の構成を行う。 復号化可能なQLDPCコードとユニークなデコーダを効率よくリストアップする。
  論文  参考訳（メタデータ） (2024-11-06T23:08:55Z)
• Factor Graph Optimization of Error-Correcting Codes for Belief Propagation Decoding [62.25533750469467]
  低密度パリティ・チェック (LDPC) コードは、他の種類のコードに対していくつかの利点がある。 提案手法は,既存の人気符号の復号性能を桁違いに向上させる。
  論文  参考訳（メタデータ） (2024-06-09T12:08:56Z)
• Neural Belief Propagation Decoding of Quantum LDPC Codes Using Overcomplete Check Matrices [60.02503434201552]
  元のチェック行列における行の線形結合から生成された冗長な行を持つチェック行列に基づいてQLDPC符号を復号する。 このアプローチは、非常に低い復号遅延の利点を付加して、復号性能を著しく向上させる。
  論文  参考訳（メタデータ） (2022-12-20T13:41:27Z)
• Pruning Neural Belief Propagation Decoders [77.237958592189]
  本稿では,機械学習を用いたBPデコードに対して,過剰完全パリティチェック行列を調整する手法を提案する。 我々は,デコーダの複雑さを低減しつつ,0.27dB,1.5dBのML性能を実現する。
  論文  参考訳（メタデータ） (2020-01-21T12:05:46Z)
• Single-Shot Decoding of Linear Rate LDPC Quantum Codes with High Performance [5.33024001730262]
  我々は、線形符号化率、スケーリング距離、効率的な復号方式を用いて、低密度パリティチェック(LDPC)量子コード群を構築し、解析する。 コードファミリーは、Guth と Lubotzky が最初に示唆したように、閉じた4次元の双曲型のテッセルレーションに基づいている。
  論文  参考訳（メタデータ） (2020-01-10T17:21:27Z)

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

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