文献

J-GLOBAL ID：202002263444056867   整理番号：20A1802137

Max-SMTを用いた超最適化スマート契約の合成【JST・京大機械翻訳】

Synthesis of Super-Optimized Smart Contracts Using Max-SMT

著者 (6件)： Albert Elvira (Instituto de Tecnologia del Conocimiento, Madrid, Spain) ,  Albert Elvira (Complutense University of Madrid, Madrid, Spain) ,  Gordillo Pablo (Complutense University of Madrid, Madrid, Spain) ,  Rubio Albert (Instituto de Tecnologia del Conocimiento, Madrid, Spain) ,  Rubio Albert (Complutense University of Madrid, Madrid, Spain) ,  Schett Maria A. (University College London, London, U.K.)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12224  ページ： 177-200  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： ブロックチェーン生態系上で実行されるスマート契約の出現により,スマート契約によって要求されるガスに,またスマート契約によって必要とされるガスを効果的に削減できる最適化ツールのために,そのスマート契約によって費やされるガスに注意する必要のある開発者にとって,推論の新しいモードが必要とされる。スーパー最適化は,同じ結果を生成する命令のすべての可能なシーケンスを試みることにより,符号のブロックの最良の翻訳を見つける試みである。本論文は,2つの主な相に分割されるMax-SMTに基づくスマート契約の超最適化のための新しいアプローチを提示する。(i)演算,ビットワイズ,関係演算などの意味論を捉えるルールを用いて単純化されるスマート契約の基本ブロックからのスタック機能仕様の抽出,すなわち,効率的なMax-SMT符号化による最適化ブロックの合成は,スタック機能仕様が抽出済みのものに対して等しい(モジュール可換性)という最小ガスコストを有するバイトコードブロックを見つける。著者らの実験結果は,非常に有望であり,著者らは,ブロックの55.41%を最適化でき,そして,34.28%が既に最適であり,最も呼ばれる2500のEthereum契約からの61000以上のブロックに対して,既に最適であることを証明する。Copyright The Author(s) 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *最適化 ,  意味論 ,  簡素化 ,  互換性 ,  演算 ,  生態系
準シソーラス用語： バイトコード , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： Max ,  SMT ,  最適化 ,  契約