文献

J-GLOBAL ID：201902210930369542   整理番号：19A1785439

ブロック鎖におけるツリー,連鎖および高速トランザクションについて【JST・京大機械翻訳】

On Trees, Chains and Fast Transactions in the Blockchain

著者 (2件)： Kiayias Aggelos (School of Informatics, University of Edinburgh, Edinburgh, UK) ,  Panagiotakos Giorgos (School of Informatics, University of Edinburgh, Edinburgh, UK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11368  ページ： 327-351  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： ブロックチェーンプロトコルの領域における基本的なオープン問題は,Bitcoinプロトコルが安全なトランザクションレガを構築するための唯一の解決策であるかどうかである。最近提案され,広く考慮されている代替案はGHOSTプロトコルであり,特に,改良されたBitcoin型システムのための他の最近の提案と同様に,Etherumのコアにあると提案されている。GHOST変種は,セキュリティ損失なしにBitcoin(潜在的にブロック生産速度を40倍以上に提供する)と比較して優れた性能を提供している。これに動機付けられて,本研究では,GHOSTプロトコルを見ることの可能なセキュリティポイントから研究した。ツリー(チェーンよりも)に依存するブロックチェーンプロトコルの解析のための新しい形式的フレームワークを導入し,GHOSTとBitcoinプロトコルの統一記述を提供することによりフレームワークの電力を示し,前者は抽出し,形式的に記述した。次に,GHOSTが「ロバストなトランザクションレダガー」(すなわち,生存性と持続性を有する)を実装し,したがって,それはBitcoinに対する確実に安全な代替案であることを証明した。さらに,著者らの生活パラメータに対する限界は,GHOSTに対する元の期待と一致して,ビットコインバックボーンに対して証明されたものよりも優れている。著者らの証明は,GHOSTが以前の研究と比較してロバストなトランザクションレガであることを確立するための新しい方法論に従い,それは独立した興味があり,他のブロックチェーンバリアントに適用できる。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 安全性 ,  基幹回線 ,  セキュリティ ,  電力 ,  プロトコル ,  *高速度 ,  チェーン ,  ロバスト性
準シソーラス用語： ビットコイン ,  持続性 ,  生存性 ,  生産速度 ,  型システム ,  ブロックチェーン , 【Automatic Indexing@JST】

著者キーワード (4件)： ゴースト ,  証明可能なセキュリティ ,  Bitcoin ,  ブロックチェーンプロトコル

分類 (2件)： 符号理論  (ND02030R) ,  計算機網  (JC03000K)

タイトルに関連する用語 (1件)： 連鎖