Smart contracts and their impact on contract theory in civil law | Synapse