
| PARAMETER | VALUE | SCREENSHOT | REFERRAL ID* | 504926681ce599ee0a0ce8ee94fe0fbc | NAME | Bitcoin: Mechanized Formal Model | URL | https://drops.dagstuhl.de/opus/volltexte/2020/13420/pdf/OASIcs-FMBC-2020-7.pdf | DESCRIPTION | Mechanized Formal Model of Bitcoins Blockchain Validation Procedures | LINK TOPIC(S) | academic, | RELATED COIN(S) | bitcoin, | REWARD ADDRESS | DMiUQuRTbY8ApAsAd17h9kRmK4mwZuzDR5 | REWARD TXID | c6a5c6603d124b4b49cfc9b57e616a57aceba3c79582b8ce8d4b5d252a5a61c1 | REFERRAL TEXT | opreturn.net_link_referral_reward_4_doge_to_DMiUQuRTbY8ApAsAd17h9kRmK4mwZuzDR5_if_approve_link_https://drops.dagstuhl.de/opus/volltexte/2020/13420/pdf/OASIcs-FMBC-2020-7.pdf | REFERRAL SHA256 HASH | a4bb43b426e485d1c1f9f2f8e7a20f24c83771a907b79bc8f28d62d02a2de30f | 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 |