Cryptology ePrint Archive: Report 2018/469

An Abstract Model of UTxO-based Cryptocurrencies with Scripts

Joachim Zahnentferner

Abstract: In [1], an abstract accounting model for UTXO-based cryptocurrencies has been presented. However, that model considered only the simplest kind of transaction (known in Bitcoin as pay-to-pubkey-hash) and also abstracted away all aspects related to authorization. This paper extends that model to the general case where the transaction contains validator (a.k.a. scriptPubKey) scripts and redeemer (a.k.a. scriptSig) scripts, which together determine whether the transac- tionís fund transfers have been authorized.

Category / Keywords: applications / Cryptocurrency, Blockchain, Validator-Redeemer Scripts

Date: received 16 May 2018, last revised 22 May 2018

Contact author: chimeric ledgers at protonmail com

Available format(s): PDF | BibTeX Citation

Note: This is an addendum to

Version: 20180522:130757 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]