論文の概要: Proof of Trusted Execution: A Consensus Paradigm for Deterministic Blockchain Finality
- arxiv url: http://arxiv.org/abs/2512.09409v1
- Date: Wed, 10 Dec 2025 08:04:38 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-11 15:14:53.44523
- Title: Proof of Trusted Execution: A Consensus Paradigm for Deterministic Blockchain Finality
- Title（参考訳）: 信頼された実行の証明:決定論的ブロックチェーン最終性のための合意パラダイム
- Authors: Kyle Habib, Vladislav Kapitsyn, Giovanni Mazzeo, Faisal Mehrban,
- Abstract要約: 本稿では,再実行を再現するのではなく,合意が検証実行から生じる合意パラダイムとして,信頼された実行の証明(PoTE)を提案する。
実行は決定論的であり、プロポーサは公開ランダム性から一意に派生しているため、PoTEはフォークを避け、スロット・タイムのボトルネックを排除し、1ラウンドの検証でブロックをコミットする。
- 参考スコア（独自算出の注目度）: 0.391985484065646
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Current blockchain consensus protocols -- notably, Proof of Work (PoW) and Proof of Stake (PoS) -- deliver global agreement but exhibit structural constraints. PoW anchors security in heavy computation, inflating energy use and imposing high confirmation latency. PoS improves efficiency but introduces stake concentration, long-range and "nothing-at-stake" vulnerabilities, and a hard performance ceiling shaped by slot times and multi-round committee voting. In this paper, we propose Proof of Trusted Execution (PoTE), a consensus paradigm where agreement emerges from verifiable execution rather than replicated re-execution. Validators operate inside heterogeneous VM-based TEEs, each running the same canonical program whose measurement is publicly recorded, and each producing vendor-backed attestations that bind the enclave code hash to the block contents. Because the execution is deterministic and the proposer is uniquely derived from public randomness, PoTE avoids forks, eliminates slot.time bottlenecks, and commits blocks in a single round of verification. We present the design of a PoTE consensus client, describe our reference implementation, and evaluate its performance against the stringent throughput requirements of the Trillion decentralized exchange.
- Abstract（参考訳）: 現在のブロックチェーンコンセンサスプロトコル、特にProof of Work(PoW)とProof of Stake(PoS)は、グローバルな合意を提供するが、構造的な制約を示す。
PoWは、重い計算におけるセキュリティをアンロックし、エネルギー使用を膨らませ、高い確認遅延を課す。
PoSは効率を向上するが、利害関係の集中度、長距離および"nothing-at-stake"脆弱性、スロットタイムと複数ラウンドの委員会投票によって形成されるハードパフォーマンス天井を導入している。
本稿では,再現された再実行ではなく,合意が検証可能な実行から出現するコンセンサスパラダイムであるProof of Trusted Execution(PoTE)を提案する。
バリケータは異種VMベースのTEE内で動作し、それぞれが測定結果を公開している同じ標準プログラムを実行し、それぞれがエンクレーブコードのハッシュをブロック内容にバインドするベンダー支援の証明を生成する。
実行は決定論的であり、プロポーサは公開ランダム性から一意に派生しているため、PoTEはフォークを避け、スロット・タイムのボトルネックを排除し、1ラウンドの検証でブロックをコミットする。
本稿では,PoTEコンセンサスクライアントの設計,参照実装について述べるとともに,Trillion分散取引所のスループット要求に対する性能評価を行う。
関連論文リスト
- Homomorphic Encryption-based Vaults for Anonymous Balances on VM-enabled Blockchains [0.0]
VM対応ブロックチェーンのための同型暗号化ベースのVault(Haults)を提案する。
Haultsはユーザーの残高と他の当事者に渡される金額を秘密にしている。
論文 参考訳（メタデータ） (2025-11-21T23:34:30Z) - Zk-SNARK Marketplace with Proof of Useful Work [0.3849857432787595]
本稿では,クライアントアウトソースのzk-SNARKを副産物として計算するProof of Useful Workコンセンサスプロトコルを提案する。
我々はさらにこのメカニズムを活用し、zk-SNARK証明生成をアウトソーシングするための分散市場を設計する。
論文 参考訳（メタデータ） (2025-10-10T10:38:42Z) - Voting-Based Semi-Parallel Proof-of-Work Protocol [45.776687601070705]
まず、既存の並列PoWプロトコルを検討し、ハードコード型インセンティブアタック構造を開発する。
我々は,中本コンセンサスと既存のパラレルPoWプロトコルよりも優れた投票ベースの半並列PoWプロトコルを提案する。
論文 参考訳（メタデータ） (2025-08-08T17:57:35Z) - Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety [8.906268052552582]
1.45億ドルの契約が1つの「ギガンティック・プログラム」を形成する
プログラマは、この巨大なプログラムが高レベルの安全仕様に準拠していることを保証できますか?
静的コード検証は、そのスケールと高い多型のため、この巨大プログラムに忠実にできない。
私たちの技術は、Theorem-Carrying Transactions (TCT)と呼ばれ、具体的な実行とシンボル証明の利点を組み合わせています。
論文 参考訳（メタデータ） (2024-08-12T20:27:41Z) - The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。
Aptosのメインネットからの測定によると、楽観的なアプローチは遅延オーバーヘッドを71%削減する。
論文 参考訳（メタデータ） (2024-07-16T20:53:04Z) - Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications [16.72979347045808]
ゼロ知識証明(ZKP)は、現代のブロックチェーンシステムのスケーラビリティ問題に対処するための、有望なソリューションとして登場した。
本研究では,暗号ハッシュの計算完全性を保証するため,ZKPの生成と検証を行う手法を提案する。
論文 参考訳（メタデータ） (2024-07-03T21:19:01Z) - Coding-Based Hybrid Post-Quantum Cryptosystem for Non-Uniform Information [53.85237314348328]
我々は、新しいハイブリッドユニバーサルネットワーク符号化暗号(NU-HUNCC)を導入する。
NU-HUNCCは,リンクのサブセットにアクセス可能な盗聴者に対して,個別に情報理論的に保護されていることを示す。
論文 参考訳（メタデータ） (2024-02-13T12:12: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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。