文献

J-GLOBAL ID：202102256362633430   整理番号：21A1117179

ビザンチンフォールトトレラントブロックチェーンコンセンサスのためのMILPモデル【JST・京大機械翻訳】

A MILP Model for a Byzantine Fault Tolerant Blockchain Consensus

著者 (5件)： Coelho Vitor Nazario (OptBlocks, Avenida Jo ao Pinheiro, 274 Sala 201-Lourdes, Belo Horizonte-MG 30130-186, Brazil) ,  Araujo Rodolfo Pereira (Graduate Program in Computational Sciences (PPG-CComp), Universidade do Estado do Rio de Janeiro, Rua S ao Francisco Xavier, 524-Maracan a, Rio de Janeiro-RJ 20550-013, Brazil) ,  Santos Haroldo Gambini (Department of Computer Science, Universidade Federal de Ouro Preto, Campus Morro do Cruzeiro, Ouro Preto-MG 35400-000, Brazil) ,  Qiang Wang Yong (Research & Development Department, Neo Global Development, 80, Zhengxue Rd, Shanghai 200082, China) ,  Coelho Igor Machado (Institute of Computing, Universidade Federal Fluminense, Av. Gal. Milton Tavares de Souza, Sao Domingos, Niteroi-RJ 24210-310, Brazil)
資料名： Future Internet (Web)  (Future Internet (Web))
巻： 12  号： 11  ページ： 185  発行年： 2020年 
JST資料番号： U7190A  ISSN： 1999-5903  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： スイス (CHE)  言語： 英語 (EN)

抄録/ポイント： 混合整数数理計画法は,挑戦的な最適化問題をモデル化し解決するために広く用いられている。この技術の一つの興味深い特徴は,線形プログラミングモデルが考案できる多くの実用的シナリオに対して,達成された解の最適性を証明する能力である。本論文では,分散コンセンサスシステムの文脈において,非常に強いビザンチン広告をモデル化するためのその利用を検討した。特に,最先端のブロックチェーンコンセンサス:NeodBFTに対する挑戦的な敵対条件を見出すために,提案技法を適用した。ネオブロックチェーンは,その基礎以来,dBFTアルゴリズムを使用しているが,アルゴリズムの複雑性のために,システムの安全性/合理性を保証する決定的代数証明を考案することは,挑戦的であり,そして,コミュニティによって提案されたあらゆる変化のために調整する。コア開発者は手動で考案し,徹底的なタスクとして可能な敵対攻撃シナリオを探索する必要がある。提案した多目的モデルは,可能な故障シナリオの探索を支援することを意図し,それは,1ブロック最終性をテストするための最大化問題として,また,生存を確実にするための最小化問題として組み合わせることができる3つの目的関数を含む。自動化グラフィックスは,攻撃条件を視覚的に観測し,解を迅速に見つけるために開発者を助ける。本論文では,dBFTのような実用的なブロックチェーンコンセンサスアプリケーションに対する現在の限界を探索する正確な敵対的モデルを提案し,また,他の分散レッダー技術にも拡張できるアイデアを持つ。Copyright 2021 The Author(s) All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  視覚 ,  線形計画法 ,  自動化 ,  広告 ,  故障 ,  最適化問題 ,  最小化問題 ,  最大化問題 ,  応用プログラム ,  目的関数 ,  *フォールトトレランス ,  サイバー攻撃
準シソーラス用語： *混合整数線形計画法 , 【Automatic Indexing@JST】

著者キーワード (6件)： ザンチンのフォールトトレランス ,  コンセンサス ,  分散Ledger技術 ,  厳密な敵対モデル ,  整数計画法 ,  新ブロック鎖

分類 (3件)： ディジタル計算機方式一般  (JC02010O) ,  生物燃料及び廃棄物燃料  (LB02020Y) ,  数値計算  (JE02000J)

物質索引 (1件)： ビザンチン

引用文献 (30件)：

• Dantzig, G.B. Discrete-variable extremum problems. Oper. Res. 1957, 5, 266-288.
• Gleixner, A.; Hendel, G.; Gamrath, G.; Achterberg, T.; Bastubbe, M.; Berthold, T.; Christophel, P.M.; Jarck, K.; Koch, T.; Linderoth, J.; et al. MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library. 2019. Available online: http://www.optimization-online.org/DB_FILE/2019/07/7285.pdf (accessed on 27 October 2020).
• Jünger, M.; Liebling, T.M.; Naddef, D.; Nemhauser, G.L.; Pulleyblank, W.R.; Reinelt, G.; Rinaldi, G.; Wolsey, L.A. 50 Years of Integer Programming 1958-2008: From the Early Years to the State-of-the-Art; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2009.
• Cook, W.J. Pursuit of the Traveling Salesman: Mathematics at the Limits of Computation; Princeton University Press: Princeton, NJ, USA, 2011.
• Nakamoto, S. Bitcoin: A Peer-to-Peer Electronic Cash System. Available online: https://bitcoin.org/bitcoin.pdf (accessed on 27 October 2020).

タイトルに関連する用語 (3件)： ビザンチン ,  MILP ,  モデル