ツイン:ロバストなBFTシステム【JST・京大機械翻訳】

Bano Shehar; Sonnino Alberto; Chursin Andrey; Perelman Dmitri; Li Zekun; Ching Avery; Malkhi Dahlia

プレプリント

J-GLOBAL ID：202202200082708832 整理番号：22P0002054

ツイン:ロバストなBFTシステム【JST・京大機械翻訳】

Twins: BFT Systems Made Robust

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

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

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

本論文は,ビザンチン攻撃の自動ユニット試験発電機であるツインを示した。双子は3つのタイプのビザンチン挙動を実行する。(i)リーダー等容,(ii)二重投票,および(iii)「ロック」保護投票値のような内部状態を失う。ビザンチンノードによって興味深い攻撃をエミュレートするために,それは1つの代わりにノードの双晶コピーをインスタントし,同じ同一性とネットワーク信用の両方を与える。残りのシステムに対して,双晶は「質問可能」様式で単一ノードと区別できないように見える。Twinは,スケールにおいてByzantine攻撃シナリオを系統的に生成することができ,それらを制御方法で実行して,それらの挙動を調べる。ツインシナリオはプロトコルラウンドを繰り返し,ノード間の通信パターンを変える。Twinは,DiemBFT内の生産設定で実行され,そこでは,44MのTwins生成シナリオを毎日実行することができる。手のシステムは誤差を示さなかったが,Twin自体の実装を検証する目的で意図的に注入された微妙な安全バグは数分内に曝露された。双子は,符号ベースを更新し,新しい特徴を導入し,日常的なメンテナンスタスクを実行するとき,正当性を回帰するのを防ぐことができる。TwinはDiemBFT上の薄いラッパーのみを必要とし,それを用いて他のシステムを想定する。このアイデアに基づいて,他のBFTプロトコルに対する一つの新しい攻撃といくつかの既知の攻撃を,Twinsシナリオとして具体化した。すべての場合において,目標プロトコルは,数十プロトコルラウンドよりも少なく,従って,この問題を曝露するTwinsアプローチに対して現実的である。【JST・京大機械翻訳】

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

データ保護

前のページに戻る