Core Concepts
過去の取引履歴から契約仕様を推論する新しいアプローチを提案する。
Abstract
ブロックチェーン技術の進化とスマートコントラクトの普及に伴い、契約仕様の不足が問題となっている。
本研究では、高レベルな振る舞いオートマトンを自動的に採掘するための手法を提案し、実験結果は有望であることを示している。
仕様マイニングアルゴリズムは、トレーススライシングと述語抽象化によって強力な契約仕様を生成する。
実装されたツールSmConは、Azureベンチマークや実世界のDAppスマートコントラクトで評価されており、精度が高く有用であることが示されている。
Stats
スマートコントラクト数:50万以上(2023年5月)
ERC-20準拠率:87%
論文ページ数:22ページ(2018年3月)
Quotes
"Smart contracts are computer programs running on blockchains to implement Decentralized Applications."
"Our approach derives high-level behavioral automata of function invocations, accompanied by program invariants statistically inferred from the transaction histories."
"In summary, we make the following contributions: formalizing the specification mining problem for smart contracts, proposing a CEGAR-based specification mining algorithm, and implementing our approach in tool SmCon."