論文の概要: 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（参考訳）: 信頼された実行の証明:決定論的ブロックチェーン最終性のための合意パラダイム
- 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分散取引所のスループット要求に対する性能評価を行う。
関連論文リスト
- Proof of Source of Funds: Efficient On-chain Provenance of Cryptoassets [5.222265639534245]
Proof of Source of Funds (PoSoF) は,ユーザの負担をシフトする新しい暗号フレームワークである。
PoSoFは検証可能な暗号証明を提供し、中間トランザクショントポロジをリークすることなく、資金の正当性を保証する。
私たちのベンチマークでは、完全にプライベートでプロアクティブなコンプライアンスが極めて実践的であることが示されています。
論文 参考訳（メタデータ） (2026-06-08T21:07:02Z) - Temporal Motif-aware Graph Test-time Adaptation for OOD Blockchain Anomaly Detection [55.18577006122169]
textbfTEmporal textbfMotif-aware textbfGraph textbfTest-textbfTime textbfAdaptation (textbfTEMG-TTA) という新しいフレームワークを提案する。
まず、効率的な計算機構を用いて、各アクティブアドレスの3ノードの時間的モチーフ分布を包括的にキャプチャする。
第2に、トレーニングとテストグラフ間の共通パターンの共有を容易にするための、シンプルで効果的なテスト時間適応戦略を設計する。
論文 参考訳（メタデータ） (2026-05-28T07:43:20Z) - GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。
バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。
パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
論文 参考訳（メタデータ） (2026-04-27T11:34:21Z) - HadAgent: Harness-Aware Decentralized Agentic AI Serving with Proof-of-Inference Blockchain Consensus [4.693243537924961]
我々は、ハッシュベースのマイニングをProof-of-Inference(PoI)に置き換える分散エージェントAIサービスシステムであるHadAgentを紹介する。
HadAgentは、検証済みのレコードを専用のData、MODEL、PROFチャンネルを備えた3車線のブロックボディに整理する。
プロトタイプ実装の実験では、改ざんされたレコードに対して100%検出率と0%偽陽性率を示す。
論文 参考訳（メタデータ） (2026-04-15T14:46:29Z) - ACE Runtime - A ZKP-Native Blockchain Runtime with Sub-Second Cryptographic Finality [1.7429038786735553]
既存の高性能ブロックチェーンは、クリティカルパス上のトランザクション毎にひとつのシグネチャを検証する。
本稿では、認証認証分離に基づくZKPネイティブ実行層であるACEについて述べる。
論文 参考訳（メタデータ） (2026-03-10T21:39:36Z) - Overcoming Joint Intractability with Lossless Hierarchical Speculative Decoding [58.92526489742584]
我々は無益な無益な提案をする。
承認されたトークンの数を大幅に増加させる検証方法。
HSDは様々なモデルファミリやベンチマークの受け入れ率に一貫した改善をもたらすことを示す。
論文 参考訳（メタデータ） (2026-01-09T11:10:29Z) - Homomorphic Encryption-based Vaults for Anonymous Balances on VM-enabled Blockchains [0.0]
VM対応ブロックチェーンのための同型暗号化ベースのVault(Haults)を提案する。
Haultsはユーザーの残高と他の当事者に渡される金額を秘密にしている。
論文 参考訳（メタデータ） (2025-11-21T23:34:30Z) - Cross-Chain Sealed-Bid Auctions Using Confidential Compute Blockchains [12.944520640892316]
封筒付きオークションは、公正な競争と効率的な配分を保証するが、しばしば中央集権的なインフラに配備される。
パブリックブロックチェーンは中央制御を排除しているが、その固有の透明性は、封印入札に必要な機密性と矛盾している。
秘密計算ブロックチェーン上で機密入札ロジックを実行するシールバイドオークションプロトコルを提案する。
論文 参考訳（メタデータ） (2025-10-22T11:35:51Z) - Zk-SNARK Marketplace with Proof of Useful Work [0.3849857432787595]
本稿では,クライアントアウトソースのzk-SNARKを副産物として計算するProof of Useful Workコンセンサスプロトコルを提案する。
我々はさらにこのメカニズムを活用し、zk-SNARK証明生成をアウトソーシングするための分散市場を設計する。
論文 参考訳（メタデータ） (2025-10-10T10:38:42Z) - SIM-CoT: Supervised Implicit Chain-of-Thought [108.30049193668083]
Implicit Chain-of-Thought(CoT)メソッドは、大規模言語モデルにおける明示的なCoT推論に代わるトークン効率の代替手段を提供する。
暗黙的なCoTの計算予算をスケールする際の中核的な不安定性問題を特定する。
そこで我々はSIM-CoTを提案する。SIM-CoTは,遅延推論空間を安定化・拡張するためのステップレベルの監視を実現するモジュールである。
論文 参考訳（メタデータ） (2025-09-24T17:01:32Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。