opreturn.net

LINK TOPICS   .   .   .  SHOW COMPLETE LIST

LINK REFERRAL ba2c556412eca25ea0fa281d7ad6a4d9
PARAMETERVALUE
SCREENSHOT
REFERRAL ID*ba2c556412eca25ea0fa281d7ad6a4d9
NAMETowards Verifying the Bitcoin-S Library
URLhttps://drops.dagstuhl.de/opus/volltexte/2020/13421/pdf/OASIcs-FMBC-2020-8.pdf
DESCRIPTIONWe use the Stainless verifier which supports programs in a fragment of Scala called Pure Scala. Since Bitcoin-S is not written in this fragment, we extract the relevant code from it and rewrite it until we arrive at code that we successfully verify.
LINK TOPIC(S)academic,
RELATED COIN(S)bitcoin,
REWARD ADDRESSDA28Nx6Fi6Jjy19dv34cenS3tFZgeHJiPW
REWARD TXIDcc3e814e6a15c6c5ce262b14ea9e72cbbe1a965410fa79ca5f4e4123f69420ec
REFERRAL TEXT
opreturn.net_link_referral_reward_4_doge_to_DA28Nx6Fi6Jjy19dv34cenS3tFZgeHJiPW_if_approve_link_https://drops.dagstuhl.de/opus/volltexte/2020/13421/pdf/OASIcs-FMBC-2020-8.pdf
REFERRAL SHA256 HASHf57a03aa1a8784555ede7b7f8e40ab52a05b714d11bc58b964c65c18c4f6e9ae
STATUSapproved
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