Byzantine状態機械複製(拡張版)の活力と待ち時間【JST・京大機械翻訳】

Bravo Manuel; Chockler Gregory; Gotsman Alexey

プレプリント

J-GLOBAL ID：202202206986583027 整理番号：22P0289291

Byzantine状態機械複製(拡張版)の活力と待ち時間【JST・京大機械翻訳】

Liveness and Latency of Byzantine State-Machine Replication (Extended Version)

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年02月14日プレプリントサーバーでの情報更新日： 2022年10月05日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

ビザンチンステートマシン複製(SMR)は,悪意のあるレプリカの存在下で複製状態の一貫性を保証し,現代のブロックチェーン技術の心臓にある。ビザンチンSMRプロトコルは,同期の下でのみ,すべての状況と生活の下で安全性を保証することが多い。しかし,この仮定の下でさえ,生き残りを保証することは自明でない。今まで,著者らは,ビザンチンSMRプロトコルにライブネス機構を組み込む系統的方法を欠いているが,それはしばしば微妙なバグに通じた。このギャップを閉じるために,著者らは,証明可能なライブと効率的なビザンチンSMRプロトコルの設計を容易にするために,モジュールフレームワークを導入した。このフレームワークは,コマンド順序付けの一致を駆動するために,特別なSMR同期器プリミティブによって生成されたビュー抽象化に依存する。SMR同期装置の簡単な形式的仕様と部分同期の下での有界空間実装を示した。また,著者らの仕様を適用して,均一方法論によって3つのByzantine SMRプロトコルの潜伏性を証明し,待ち時間を分析した。特に,これらの結果の1つは,精力PBFTプロトコルのアルゴリズムコアに対する最初の厳密なライブネス証明であると信じる。【JST・京大機械翻訳】

, , , , , , , , , , ,
, , , 【Automatic Indexing@JST】

データ保護 , ディジタル計算機方式一般 , 移動通信

, , ,

前のページに戻る