Are smart contracts really smart?

External Document