論文の概要: A Formal Refutation of the Blockchain Trilemma

• arxiv url: http://arxiv.org/abs/2507.05809v1
• Date: Tue, 08 Jul 2025 09:29:09 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-09 16:34:37.830446
• Title: A Formal Refutation of the Blockchain Trilemma
• Title（参考訳）: ブロックチェーン・トリレンマの形式的難治化
• Authors: Craig Wright,
• Abstract要約: いわゆるブロックチェーントリレンマは、単一のブロックチェーンプロトコル内でスケーラビリティ、セキュリティ、分散化を同時に達成できない、と主張する。 我々は、トリレンマがカテゴリー誤差を構成し、異なる分析領域を混同し、証明できない因果仮定に依存していると主張している。 ブロックチェーンプロトコルは、非バウンダリトランザクションスループット、逆負荷下の暗号化セキュリティ、マルチパス分散伝搬を示す。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: The so-called blockchain trilemma asserts the impossibility of simultaneously achieving scalability, security, and decentralisation within a single blockchain protocol. In this paper, we formally refute that proposition. Employing predicate logic, formal automata theory, computational complexity analysis, and graph-theoretic measures of relay topology--specifically Baran's model of network path redundancy--we demonstrate that the trilemma constitutes a category error, conflates distinct analytical domains, and relies upon unproven causal assumptions. We further expose its reliance on composition fallacies drawn from flawed system implementations. A constructive counterexample is presented: a blockchain protocol exhibiting unbounded transaction throughput, cryptographic security under adversarial load, and multipath decentralised propagation. This example is not hypothetical but grounded in protocol design enabled by compact block relay, SPV verification, and IPv6 multicast. The trilemma is revealed not as a law of protocol architecture, but as a heuristic fallacy sustained by imprecision and design defeatism.
• Abstract（参考訳）: いわゆるブロックチェーントリレンマは、単一のブロックチェーンプロトコル内でスケーラビリティ、セキュリティ、分散化を同時に達成できない、と主張する。 本稿では,その提案を正式に否定する。 述語論理、形式的オートマトン理論、計算複雑性解析、リレートポロジーのグラフ理論的尺度(特にネットワークパス冗長性のモデル)を用いることで、トリレンマがカテゴリエラーを構成し、異なる分析領域を混同し、証明されていない因果仮定に依存することを示した。 さらに、欠陥のあるシステム実装から引き出された合成誤りへの依存をさらに明らかにする。 ブロックチェーンプロトコルは、非バウンダリトランザクションスループット、逆負荷下の暗号化セキュリティ、マルチパス分散伝搬を示す。 この例は仮説ではなく、コンパクトブロック中継、SPV検証、IPv6マルチキャストによって実現されたプロトコル設計に基礎を置いている。 トリレンマはプロトコルアーキテクチャの法則としてではなく、不正確さと設計の敗北によって維持されるヒューリスティックな誤りとして明らかにされている。

関連論文リスト

• On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains [0.0]
  本稿では,暗号的に固定された決定論的計算フレームワークであるMerkle Automatonの概念を紹介する。 各エージェントのトランジション、メモリフラグメント、推論ステップは、オンチェーンでルートされたMerkle構造内で実行される。 このアーキテクチャはメモリをキャッシュではなく台帳として再設定する - 内容がプロトコルによって強制され、暗号によって拘束され、形式論理によって制約される。
  論文  参考訳（メタデータ） (2025-06-16T08:43:56Z)
• The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
  本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。 Aptosのメインネットからの測定によると、楽観的なアプローチは遅延オーバーヘッドを71%削減する。
  論文  参考訳（メタデータ） (2024-07-16T20:53:04Z)
• Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents [0.6990493129893112]
  フェアネスプロトコルの研究のためのゲームベースのフレームワークを提案する。 強いセキュア均衡の概念に基づいており、ゲーム理論の概念的およびアルゴリズム的ツールボックスを利用する。
  論文  参考訳（メタデータ） (2024-05-29T10:15:36Z)
• Entropy Accumulation under Post-Quantum Cryptographic Assumptions [4.416484585765028]
  デバイス非依存(DI)量子プロトコルでは、セキュリティステートメントは量子装置の特性を損なう。 本稿では,量子情報理論のツールの組み合わせを利用して,そのようなプロトコルの安全性を証明するフレキシブルなフレームワークを提案する。
  論文  参考訳（メタデータ） (2023-07-02T12:52:54Z)
• Networked Communication for Decentralised Agents in Mean-Field Games [59.01527054553122]
  平均フィールドゲームフレームワークにネットワーク通信を導入する。 当社のアーキテクチャは、中央集権型と独立した学習ケースの双方で保証されていることを証明しています。 ネットワーク化されたアプローチは、障害の更新や人口規模の変化に対する堅牢性という点において、両方の選択肢に対して大きなメリットがあることが示されています。
  論文  参考訳（メタデータ） (2023-06-05T10:45:39Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Post-Quantum VRF and its Applications in Future-Proof Blockchain System [13.386254282693335]
  検証可能なランダム関数 (VRF) は、その出力の正当性に対する非対話的に公に検証可能な証明を提供する強力な擬似ランダム関数である。 対称鍵プリミティブを用いた単純なVRFソリューションから量子後VRFを得るための汎用コンパイラを提案する。 量子セキュアなVRF(quantum-secure decentralized random beacon)の潜在的な応用例を示す。
  論文  参考訳（メタデータ） (2021-09-05T07:10:41Z)
• 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)

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

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