スマートコントラクトの安全性と公平性の保証

本論文では、イーサリアムブロックチェーン上のスマートコントラクトの実装例として紹介されているSafe Remote Purchaseアルゴリズムを代表的なモデル検査器であるSPINのプロセス記述言語Promelaに変換し、安全性と公平性の検討を行った。

国府台経済研究