To code smart contracts is certainly not a free picnic. A bug introduced in the code costs money and most likely not only your money but…