Smart contracts in the Bitrent