Non-coding smart contracts