Smart contracts are a key notion of blockchain technology. This guide presents h