| PARAMETER | VALUE | SCREENSHOT |  | REFERRAL ID* | 960759c66413fa6230e2b0297386d54d | NAME | Modeling and Verification of the Bitcoin Protocol | URL | https://arxiv.org/pdf/1511.04173.pdf | DESCRIPTION | Since there is no trusted third party to guard against double spending, and inspired by its popularity, we would like to investigate the correctness of the Bitcoin protocol. Double spending is an important threat to electronic payment systems. | LINK TOPIC(S) | academic, | RELATED COIN(S) | bitcoin, | REWARD ADDRESS | DMiUQuRTbY8ApAsAd17h9kRmK4mwZuzDR5 | REWARD TXID | f8d8745f4e182945b33223b42c4f1209c498db22bdbafc87895da4f8c86e875d | REFERRAL TEXT | opreturn.net_link_referral_reward_4_doge_to_DMiUQuRTbY8ApAsAd17h9kRmK4mwZuzDR5_if_approve_link_https://arxiv.org/pdf/1511.04173.pdf | REFERRAL SHA256 HASH | 1e6a980dd504395e1cc109c2121cf05f527af1909a26d79874f303bf0306ad53 | STATUS | approved | NOTE |
|---|
* REFERRAL ID is the first 32 characters of the SHA256 digest of the referral text. The referral text uses the format: opreturn.net_link_referral_reward_4_doge_to_REWARDADDRESS_if_approve_link_URL |