論文の概要: Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay

• arxiv url: http://arxiv.org/abs/2601.09082v1
• Date: Wed, 14 Jan 2026 02:33:19 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-01-15 18:59:20.224138
• Title: Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
• Title（参考訳）: ネットワーク遅延によるBitcoinプロトコルのセキュリティの厳密で一般化された証明
• Authors: Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu,
• Abstract要約: Bitcoinプロトコルのセキュリティの証明は厳格に行われ、一部で単純化されている。 相手がブロックの送信を時間$$で遅らせることができる計算モデルを考える。
• 参考スコア（独自算出の注目度）: 5.885213212610341
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: A proof of the security of the Bitcoin protocol is made rigorous, and simplified in certain parts. A computational model in which an adversary can delay transmission of blocks by time $Δ$ is considered. The protocol is generalized to allow blocks of different scores and a proof within this more general model is presented. An approach used in a previous paper that used random walk theory is shown through a counterexample to be incorrect; an approach involving a punctured block arrival process is shown to remedy this error. Thus, it is proven that with probability one, the Bitcoin protocol will have infinitely many honest blocks so long as the fully-delayed honest mining rate exceeds the adversary mining rate.
• Abstract（参考訳）: Bitcoinプロトコルのセキュリティの証明は厳格に行われ、一部で単純化されている。 相手がブロックの送信を時間$Δ$で遅らせることができる計算モデルを考える。 プロトコルは、異なるスコアのブロックを許容するように一般化され、このより一般的なモデル内の証明が提示される。 ランダムウォーク理論を用いた以前の論文で使われたアプローチは、逆例を通して誤りを示し、句読解ブロック到着プロセスを含むアプローチは、この誤りを修復する。 したがって、確率1では、完全な遅延した正直なマイニングレートが反対のマイニングレートを超える限り、Bitcoinプロトコルは無限に多くの正直なブロックを持つことが証明されている。

関連論文リスト

• Merged Bitcoin: Proof of Work Blockchains with Multiple Hash Types [3.361973319432671]
  このようなプロトコルのセキュリティ領域は、すべてのハッシュタイプに対する51%の攻撃の AND であってはならないことが証明されている。 マージされたBitcoinは、複数の異なるハッシュタイプを使ってブロック間のリンクを形成するBitcoinプロトコルである。
  論文  参考訳（メタデータ） (2026-01-14T02:46:12Z)
• A Formal Refutation of the Blockchain Trilemma [0.0]
  いわゆるブロックチェーントリレンマは、単一のブロックチェーンプロトコル内でスケーラビリティ、セキュリティ、分散化を同時に達成できない、と主張する。 我々は、トリレンマがカテゴリー誤差を構成し、異なる分析領域を混同し、証明できない因果仮定に依存していると主張している。 ブロックチェーンプロトコルは、非バウンダリトランザクションスループット、逆負荷下の暗号化セキュリティ、マルチパス分散伝搬を示す。
  論文  参考訳（メタデータ） (2025-07-08T09:29:09Z)
• BlockScan: Detecting Anomalies in Blockchain Transactions [16.73896087813861]
  BlockScanはブロックチェーントランザクションの異常検出用にカスタマイズされたTransformerである。 この研究は、ブロックチェーンデータ分析にTransformerベースのアプローチを適用するための新しいベンチマークを設定する。
  論文  参考訳（メタデータ） (2024-10-05T05:11:34Z)
• The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
  本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。 Aptosのメインネットからの測定によると、楽観的なアプローチは遅延オーバーヘッドを71%削減する。
  論文  参考訳（メタデータ） (2024-07-16T20:53:04Z)
• Tie-Breaking Rule Based on Partial Proof of Work in a Blockchain [2.9281463284266973]
  既存のブロックチェーンシステムの実証に容易に適用可能な別の対策を提案する。 提案手法は, 部分的証明の特性を用いて, チェインタイにおける最終生成ブロックをマイナーが選択できるようにする。 Bitcoinのような既存のシステムですでに満たされている弱い同期のみが効果的な機能のために必要である。
  論文  参考訳（メタデータ） (2024-03-22T08:24:12Z)
• Blockchain Large Language Models [65.7726590159576]
  本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。 提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
  論文  参考訳（メタデータ） (2023-04-25T11:56:18Z)
• Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security [67.06003361150228]
  作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。 本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。 我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
  論文  参考訳（メタデータ） (2020-12-30T18:03:56Z)

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

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