Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the popup-by-supsystic domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /dati/html/wordpress/pros/wp-includes/functions.php on line 6121
Auditing of Smart Contracts Through Process Mining – PROS

Auditing of Smart Contracts Through Process Mining

ABC is a novel methodology that exploits process mining techniques to evaluate smart contracts, and to support the work of the auditor.

The methodology has been applied on the list of transactions available on-line resulting from the execution of RotoHive, that is an on-line fantasy sport running weekly tournaments. The application has been implemented as a smart contract on the Ethreum blockchain, that provides a set of operations that a player can invoke to play in a tournament. In running process mining we apply three different algorithms: the HeuristicsMiner, the Inductive Miner, and the Split Miner.

  • XES File resulting from smart contract transaction retrieval Download
  • Process model resulting from the application of HeuristicsMiner Download
  • Process model resulting from the application of the Inductive Miner Download
  • Process model resulting from the application of Split Miner Download

The methodology is supported by a tool web available at the following link – http//virtualpros.unicam.it:8080/MiningFramework

Publications

  • F. Corradini, A. Morichetta, A. Polini, B. Re, M. Sampaolo and F. Marcantoni. Enabling Auditing on Ethereum Blockchain Through Process Mining. LNCS Festschrift volume that celebrates Stefania’s 65th birthday. [link]