Design of the Blockchain Smart Contract: A Use Case for Real Estate | Synapse