A smart contract can be defined as a computer program, stored on a blockchain, which allows a transaction or an agreement-defined ex-ante-to be self-executed when some conditions are met, and without the need for a central authority to enforce it. Even if this new technology is very promising,...