論文の概要: Fair Data Exchange with Constant-Time Proofs
- arxiv url: http://arxiv.org/abs/2506.14944v1
- Date: Tue, 17 Jun 2025 19:50:25 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-19 19:35:51.468812
- Title: Fair Data Exchange with Constant-Time Proofs
- Title（参考訳）: 一定時間証明による公正なデータ交換
- Authors: Majid Khabbazian,
- Abstract要約: Fair Data Exchange (FDE)プロトコルは、定数サイズの証明を持つアトミックペイ・パー・ファイル転送を提供するが、証明器と検証器のランタイムはファイル長nと線形にスケールする。
我々は、これらのコストを、レート-1 Reed-Solomon (RS) コードワードとして見て、それを一定の冗長性で低レートのRSコードに拡張し、この拡張ベクタを暗号化し、結果の暗号文の小さなランダムサブセットに対してのみ正当性を証明することによって、基本的に定数に分解する。
我々のプロトコルは、完全なクライアント・サーバ・フェアネスを保ち、調整可能な通信冗長性のみを付加する。
- 参考スコア（独自算出の注目度）: 1.187519459637148
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The Fair Data Exchange (FDE) protocol introduced at CCS 2024 offers atomic pay-per-file transfers with constant-size proofs, but its prover and verifier runtimes still scale linearly with the file length n. We collapse these costs to essentially constant by viewing the file as a rate-1 Reed-Solomon (RS) codeword, extending it to a lower-rate RS code with constant redundancy, encrypting this extended vector, and then proving correctness for only a small random subset of the resulting ciphertexts; RS decoding repairs any corrupted symbols with negligible failure probability. Our protocol preserves full client- and server-fairness, and adds only a tunable communication redundancy overhead. Finally, we patch the elliptic-curve mismatch in the Bitcoin instantiation of FDE with a compact zk-SNARK, enabling the entire exchange to run off-chain and falling back to just two on-chain transactions when channels are unavailable.
- Abstract（参考訳）: CCS 2024 で導入された Fair Data Exchange (FDE) プロトコルは、定数サイズの証明を持つアトミックペイ・パー・ファイル転送を提供するが、証明器と検証器のランタイムはファイル長 n と線形にスケールする。
我々は、これらのコストを、レート-1 Reed-Solomon (RS) コードワードとして見て、それを一定の冗長性で低いレートのRSコードに拡張し、この拡張ベクタを暗号化し、その結果の暗号文の小さなランダムなサブセットだけに対して正当性を証明し、RS復号化は、無視可能な失敗確率を持つ任意の破損したシンボルを修復することで、基本的に定数に分解する。
我々のプロトコルは、完全なクライアント・サーバ・フェアネスを保ち、調整可能な通信冗長性のみを付加する。
最後に、FDEのBitcoinインスタンス化における楕円曲線のミスマッチをコンパクトなzk-SNARKでパッチします。
関連論文リスト
- CODA: Repurposing Continuous VAEs for Discrete Tokenization [52.58960429582813]
textbfCODA(textbfCOntinuous-to-textbfDiscrete textbfAdaptation)は、圧縮と離散化を分離するフレームワークである。
提案手法は,ImageNet 256$times$256ベンチマークにおいて,$mathbf0.43$と$mathbf1.34$を8倍,$16倍の圧縮で,100%のコードブック利用と注目すべき再構成FID(rFID)を実現している。
論文 参考訳（メタデータ） (2025-03-22T12:59:00Z) - Lite-PoT: Practical Powers-of-Tau Setup Ceremony [11.689131565202945]
Zk-SNARKは、パブリックパラメータ(しばしば「PoTのパワー」と呼ばれる)を生成するために、一度だけ信頼できる設定に依存している。
秘密パラメータの$tau$のリークにより、攻撃者は偽の証明を生成でき、その上に構築されたすべてのzk-SNARKシステムの音質を損なうことになる。
参加コストを削減するために設計された2つの主要なプロトコルを含むLite-PoTを提案する。
論文 参考訳（メタデータ） (2025-03-06T15:34:50Z) - $\mathsf{CRATE}$: Cross-Rollup Atomic Transaction Execution [3.884484241124158]
$mathsfCRATE$はクロスロールのコンポーザビリティのためのセキュアなプロトコルである。
$mathsfCRATE$は、異なるレイヤ1(L1)鎖上のロールアップをサポートし、L1上の4ラウンドで最終性を達成する。
論文 参考訳（メタデータ） (2025-02-07T04:58:59Z) - Kronos: A Secure and Generic Sharding Blockchain Consensus with Optimized Overhead [17.387814385763622]
シャーディングは、ネットワークをシャードに分割することで、ブロックチェーンのスケーラビリティを向上させる。
クロスシャーディングトランザクションは、シャーディングブロックチェーンのセキュリティと効率にとって重要な課題である。
最適化されたオーバーヘッドを達成するセキュアなシャーディングブロックチェーンコンセンサスであるKronosを紹介します。
論文 参考訳（メタデータ） (2024-03-06T12:26:04Z) - Coding-Based Hybrid Post-Quantum Cryptosystem for Non-Uniform Information [53.85237314348328]
我々は、新しいハイブリッドユニバーサルネットワーク符号化暗号(NU-HUNCC)を導入する。
NU-HUNCCは,リンクのサブセットにアクセス可能な盗聴者に対して,個別に情報理論的に保護されていることを示す。
論文 参考訳（メタデータ） (2024-02-13T12:12:39Z) - Estimating the Decoding Failure Rate of Binary Regular Codes Using Iterative Decoding [84.0257274213152]
並列ビットフリップデコーダのDFRを高精度に推定する手法を提案する。
本研究は,本症候群のモデル化およびシミュレーションによる重み比較,第1イテレーション終了時の誤りビット分布の誤検出,復号化復号化率(DFR)について検証した。
論文 参考訳（メタデータ） (2024-01-30T11:40:24Z) - Scalable and Adaptively Secure Any-Trust Distributed Key Generation and All-hands Checkpointing [3.1771413727096154]
DLogベースの暗号システムのための実用的なDKGを提案し、共通のコインの助けを借りて(準)線形化とノード単位の通信コストを実現する。
我々のプロトコルは適応的な敵に対して安全であり、全てのノードの半分以下を破損させる可能性がある。
参加者が異なる重みを持つ場合でも,従来の分散プロトコルであるDKGを効率的にデプロイできる汎用トランスフォーマーを提案する。
論文 参考訳（メタデータ） (2023-11-16T06:05:01Z) - CFT-Forensics: High-Performance Byzantine Accountability for Crash Fault Tolerant Protocols [14.503216369017762]
クラッシュフォールトトレラント(CFT)コンセンサスアルゴリズムは、システムコンポーネントが信頼されるシナリオで一般的に使用される。
CFTプロトコルのアカウンタビリティフレームワークであるCFT-Forensicsを提案する。
論文 参考訳（メタデータ） (2023-05-16T03:09:26Z) - Universal qudit gate synthesis for transmons [44.22241766275732]
超伝導量子プロセッサを設計する。
本稿では,2量子共振共振ゲートを備えたユニバーサルゲートセットを提案する。
ノイズの多い量子ハードウェアのための$rm SU(16)$ゲートの合成を数値的に実証する。
論文 参考訳（メタデータ） (2022-12-08T18:59:53Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。