Quantitative Risk Assessment of Bitcoin's Proof-of-Work Security Model | Synapse