Smart Contract Security: A Software Lifecycle Perspective | Synapse