A Formal Cybersecurity Governance Framework for Bitcoin | Synapse