Report on smart contract design