論文の概要: Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds

• arxiv url: http://arxiv.org/abs/2507.00740v1
• Date: Tue, 01 Jul 2025 13:44:48 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-03 14:22:59.642947
• Title: Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
• Title（参考訳）: Safe Low Bandwidth SPV: 簡易支払い検証プロトコルとセキュリティ境界の形式的処理
• Abstract要約: 我々は,SPVが有界対向仮定の下では安全であるだけでなく,スケーラブルで検証可能なトランザクション包含を必要とするデジタルキャッシュシステムに対して,厳密に最適であることを示す。 この文書は、セキュアなSPV実装のための青写真と、無効なクライアントを取り巻く一般的な誤解の反論として機能する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: This paper presents a complete formal specification, protocol description, and mathematical proof structure for Simplified Payment Verification (SPV) as originally defined in the Bitcoin whitepaper \cite{nakamoto2008}. In stark contrast to the misrepresentations proliferated by popular implementations, we show that SPV is not only secure under bounded adversarial assumptions but strictly optimal for digital cash systems requiring scalable and verifiable transaction inclusion. We reconstruct the SPV protocol from first principles, grounding its verification model in symbolic automata, Merkle membership relations, and chain-of-proof dominance predicates. Through rigorous probabilistic and game-theoretic analysis, we derive the economic bounds within which the protocol operates securely and verify its liveness and safety properties under partial connectivity, hostile relay networks, and adversarial propagation delay. Our specification further introduces low-bandwidth optimisations such as adaptive polling and compressed header synchronisation while preserving correctness. This document serves both as a blueprint for secure SPV implementation and a rebuttal of common misconceptions surrounding non-validating clients.
• Abstract（参考訳）: 本稿では,Bitcoin のホワイトペーパー \cite{nakamoto 2008} で定義された Simplified Payment Verification (SPV) の完全な形式仕様,プロトコル記述,数学的証明構造について述べる。 一般的な実装の誤表現とは対照的に,SPVは,有界な敵の仮定の下では安全であるだけでなく,スケーラブルで検証可能なトランザクション包含を必要とするデジタルキャッシュシステムに対して,厳密に最適であることを示す。 我々はSPVプロトコルを第一原理から再構築し、その検証モデルをシンボリックオートマタ、メルクル会員関係、およびチェーン・オブ・セーフティ・ドミナンスの述語で基礎づける。 厳密な確率論的およびゲーム理論解析により、プロトコルが安全に動作する経済境界を導出し、部分接続、敵リレーネットワーク、敵の伝播遅延の下でその生存性と安全性を検証した。 本仕様では、適応ポーリングや圧縮ヘッダ同期などの低帯域幅最適化も導入し、正確性を保っている。 この文書は、セキュアなSPV実装のための青写真と、無効なクライアントを取り巻く一般的な誤解の反論として機能する。

関連論文リスト

• A Threshold Homomorphic Blockchain Architecture for Secure and Scalable IoT Sensor Data Aggregation [0.9059656093018312]
  Phi-PHE-BCは、セキュアでプライバシ保護のIoTセンサデータアグリゲーションのための、トポロジ対応の同型ブロックチェーンアーキテクチャである。 トポロジのスケーリング、バリデータの感度、しきい値の復号化、ビザンチン負荷の実験などにわたる結果は、Phi-PHE-BCがセキュアでプライバシ保護、トポロジ対応のIoTセンサアグリゲーションのための実用的なアーキテクチャであることを示している。
  論文  参考訳（メタデータ） (2026-08-24T15:41:18Z)
• Arbitrarily Loss-Tolerant Quantum Position Verification in a Single Execution [0.8921166277011348]
  量子位置検証(QPV)は、信頼できない証明者の空間的位置を証明しようとする。 量子位置検証(QPV)は、信頼できない証明者の空間的位置を証明しようとする。
  論文  参考訳（メタデータ） (2026-06-23T18:00:18Z)
• Rigorous Security Proofs for Practical Quantum Key Distribution [0.0]
  この論文は量子鍵分配(QKD)プロトコルの厳密なセキュリティ解析に関係している。 IID集団攻撃に対する可変長QKDプロトコルのセキュリティ証明を確立し、この結果をポストセレクション手法を用いてコヒーレント攻撃に拡張する。 第2に,このプロトコルの観測統計値のみを用いて,エントロピー不確実性関係に基づく位相誤差率と位相誤差率に基づく証明の有界化手法を開発した。 第3に、限界制約付きエントロピー累積定理に基づく、非常に一般的なセキュリティ解析を示す。
  論文  参考訳（メタデータ） (2026-04-23T15:48:02Z)
• Byzantine-Robust and Differentially Private Federated Optimization under Weaker Assumptions [89.52532304099522]
  フェデレートラーニング(FL)は、クライアントが生データを集中せずに共有モデルを共同でトレーニングすることを可能にし、固有のプライバシーレベルを提供する。 グラデーションとモデル更新は機密情報を漏洩する可能性があるが、悪意のあるサーバはビザンティン操作のような敵攻撃をマウントする可能性がある。 これらの脆弱性は、統合されたフレームワーク内の差分プライバシー(DP)とビザンチンの堅牢性に対処する必要性を強調している。 Byz-Clip21-SGD2Mを提案する。
  論文  参考訳（メタデータ） (2026-03-24T17:39:09Z)
• SLIP-SEC: Formalizing Secure Protocols for Model IP Protection [3.519970512407396]
  大言語モデル(LLM)は知的財産(IP)を表す。 これらのモデルを部分的に信頼または安全でないデバイスにデプロイすると、モデル盗難のかなりのリスクが生じる。 本稿では,信頼できないリソースと信頼できないリソースの計算を分割するハイブリッド推論プロトコルSLIPの正式なフレームワークとセキュリティ基盤について述べる。
  論文  参考訳（メタデータ） (2025-10-28T21:59:11Z)
• Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version) [1.5997757408973357]
  音響アニメーションを生成するIsabelle形式を用いたNeedham-Schroederプロトコルをモデル化する。 以上の結果から,すべてのシナリオにおいて信頼性が保たれていることが示唆された。 我々は、透かしとジャミングを統合したPLSベースのDiffie-Hellmanプロトコルを提案している。
  論文  参考訳（メタデータ） (2025-08-26T20:59:16Z)
• EVA-S2PMLP: Secure and Scalable Two-Party MLP via Spatial Transformation [0.0]
  本稿では, 効率よく, 検証し, 精度の高い2要素多層パーセプトロンフレームワークである textbfEVA-S2PMLP について述べる。 EVA-S2PMLPは高い推論精度を実現し、通信オーバーヘッドを大幅に削減し、ベースラインよりも最大12.3タイムで改善できる。 これは、ファイナンス、ヘルスケア、組織間AIアプリケーションにおけるプライバシ保護ニューラルネットワークトレーニングの実践的なソリューションである。
  論文  参考訳（メタデータ） (2025-06-18T03:18:35Z)
• Formal Security Analysis of SPV Clients Versus Home-Based Full Nodes in Bitcoin-Derived Systems [0.0]
  セキュリティは、世界的コンセンサスとモデルによるトランザクションの受け入れ、執行能力、および敵の条件下での分散確率の分散に対する抵抗である。 その結果、SPVクライアントはスクリプト検証を省略するが、正直な大まかな仮定の下では暗号的に十分であることが示された。
  論文  参考訳（メタデータ） (2025-06-02T07:20:25Z)
• Multichannel Steganography: A Provably Secure Hybrid Steganographic Model for Secure Communication [0.0]
  Secret-seeded PRNGは軽量なMarkovチェーンジェネレータを駆動し、文脈的に妥当なカバーパラメータを生成する。 マスケビットベクターは、分散を意識した最小有意ビットアルゴリズムにより、従来のメディアに受容不能に埋め込まれる。 我々は,マルチチャネルの敵モデル (MC-ATTACK) を定式化し,標準的なセキュリティ仮定の下では,敵の識別上の優位性は無視可能であることを示す。
  論文  参考訳（メタデータ） (2025-01-08T13:58:07Z)
• Certifiably Byzantine-Robust Federated Conformal Prediction [49.23374238798428]
  本稿では,悪意のあるクライアントに対する堅牢な共形予測を行う新しいフレームワークRob-FCPを提案する。 我々は、さまざまなビザンチン攻撃の下で、悪意のあるクライアントの多様な割合に対するRob-FCPの堅牢性を実証的に実証した。
  論文  参考訳（メタデータ） (2024-06-04T04:43:30Z)
• Coding-Based Hybrid Post-Quantum Cryptosystem for Non-Uniform Information [53.85237314348328]
  我々は、新しいハイブリッドユニバーサルネットワーク符号化暗号(NU-HUNCC)を導入する。 NU-HUNCCは,リンクのサブセットにアクセス可能な盗聴者に対して,個別に情報理論的に保護されていることを示す。
  論文  参考訳（メタデータ） (2024-02-13T12:12:39Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。 本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。 実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
  論文  参考訳（メタデータ） (2024-01-19T14:52:04Z)
• Making Existing Quantum Position Verification Protocols Secure Against Arbitrary Transmission Loss [0.889974344676093]
  量子位置検証(QPV)プロトコルでは、比較的小さな損失率でさえセキュリティを損なう可能性がある。 我々は、QPVプロトコルの通常の構造を変更し、この修正によって、検証者間の通信損失がセキュリティに無関係であることを証明した。 本稿では,必要な光子の存在検出の実装の可能性を示し,QPVにおけるすべての主要な実用的課題を解決するプロトコルであるc-$mathrmQPV_mathrmBB84fを提案する。
  論文  参考訳（メタデータ） (2023-12-19T21:38:10Z)
• Federated Conformal Predictors for Distributed Uncertainty Quantification [83.50609351513886]
  コンフォーマル予測は、機械学習において厳密な不確実性定量化を提供するための一般的なパラダイムとして現れつつある。 本稿では,共形予測を連邦学習環境に拡張する。 本稿では、FL設定に適した部分交換可能性の弱い概念を提案し、それをフェデレート・コンフォーマル予測フレームワークの開発に利用する。
  論文  参考訳（メタデータ） (2023-05-27T19:57:27Z)
• Finite-Size Security for Discrete-Modulated Continuous-Variable Quantum Key Distribution Protocols [4.58733012283457]
  本稿では,一般的なDM CV-QKDプロトコルに対して,独立かつ同一に分散された集団攻撃に対する構成可能な有限サイズセキュリティ証明を提案する。 我々は、セキュア鍵レートの厳密な下限を計算するために、数値的なセキュリティ証明手法を拡張し、適用する。 その結果,少なくとも72kmの伝送距離で実験可能な条件下では,セキュアな有限サイズ鍵レートが得られることがわかった。
  論文  参考訳（メタデータ） (2023-01-20T17:16:21Z)
• Is Vertical Logistic Regression Privacy-Preserving? A Comprehensive Privacy Analysis and Beyond [57.10914865054868]
  垂直ロジスティック回帰(VLR)をミニバッチ降下勾配で訓練した。 我々は、オープンソースのフェデレーション学習フレームワークのクラスにおいて、VLRの包括的で厳密なプライバシー分析を提供する。
  論文  参考訳（メタデータ） (2022-07-19T05:47:30Z)
• Byzantine-Robust Federated Learning with Optimal Statistical Rates and Privacy Guarantees [123.0401978870009]
  ほぼ最適な統計率を持つビザンチン・ロバスト・フェデレーション学習プロトコルを提案する。 競合プロトコルに対してベンチマークを行い、提案プロトコルの実証的な優位性を示す。 我々のバケットプロトコルは、プライバシー保証手順と自然に組み合わせて、半正直なサーバに対するセキュリティを導入することができる。
  論文  参考訳（メタデータ） (2022-05-24T04:03:07Z)

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

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