文献

J-GLOBAL ID：202002235869422054   整理番号：20A2293507

スマート契約のガス外世界の分析【JST・京大機械翻訳】

MadMax analyzing the out-of-gas world of smart contracts

著者 (6件)： Grech Neville (University of Athens, Greece) ,  Kong Michael (The University of Sydney, Australia) ,  Jurisevic Anton (The University of Sydney, Australia) ,  Brent Lexi (The University of Sydney, Australia) ,  Scholz Bernhard (The University of Sydney, Australia) ,  Smaragdakis Yannis (University of Athens, Greece)
資料名： Communications of the ACM (Association for Computing Machinery)  (Communications of the ACM (Association for Computing Machinery))
巻： 63  号： 10  ページ： 87-95  発行年： 2020年 
JST資料番号： B0330B  ISSN： 0001-0782  CODEN： CACMA  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Ethereumは,分散ブロックチェーンプラットフォームであり,スマート契約のためのエコシステムとして役立ち,説明のトランザクション論理を捉える完全フレッジドインターコミュニケーションプログラムである。ガス限界は,Ethereumスマート契約の実行,消費ガス,および実行が,ガスが利用できる限り進行する。ガス集中脆弱性は,契約に対する永続的なサービス攻撃を,効果的に実行するために,鍵契約機能を強制する攻撃者を許す。このような脆弱性は,非攻撃シナリオでは,オフガス行動がまれであり,これらの脆弱性についての推論が自明でないので,プログラマにとって最も困難である。本論文では,ガス集束脆弱性を同定し,MadMax:非常に高い信頼度でガス集束脆弱性を自動的に検出する静的プログラム解析技術を示した。MadMaxは,データログにおけるスマート契約デコンパイラとセマンティッククエリを結合した。提案アプローチは,高レベルプログラムモデリング概念(動的データ構造ストレージ)と「安全再利用可能ループ」を捕捉し,高精度とスケーラビリティを実現する。MadMaxは,Ethereumブロックチェーンにおけるスマート契約の全体を10時間,そして,契約の脆弱性を,数十億ドルの金銭的価値を持つ契約で分析する。止めた契約のサンプルの手動検査は,サンプリングされた警報の81%が実際に脆弱性をもたらすことを示す。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *集束 ,  コンパイラ ,  信頼度 ,  データ構造 ,  プログラマ ,  生態系 ,  プログラム解析
準シソーラス用語： オフガス ,  脆弱性 ,  高精度 ,  クエリー ,  攻撃者 ,  ブロックチェーン , 【Automatic Indexing@JST】

分類 (2件)： データ保護  (JD01020V) ,  その他の情報処理  (JE15050M)

タイトルに関連する用語 (3件)： 契約 ,  世界 ,  分析