Smart contracts and platforms for their implementation