Algebras of UTxO blockchains

DOI10.1017/S0960129521000438MaRDI QIDQ5084313zbMATH OpenOpenAlexWikidataFDO

Authors Murdoch J. Gabbay

Publication date 24 June 2022

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2007.12404

zbMATH Keywords

nominal techniquesblockchainabstract chunk systemsUTxO

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Abstract: We condense the theory of blockchains down to a simple and compact set of four type equations (Idealised EUTxO), and to an algebraic characterisation (abstract chunk systems), and exhibit an adjoint pair of functors between them. This gives a novel account of the essential mathematical structures underlying blockchain technology, such as Bitcoin.

Recommendations

• Short paper: Debt representation in UTXO blockchains
• A logic of blockchain updates
• Weight-based Nakamoto-style blockchains
• Ouroboros: a provably secure proof-of-stake blockchain protocol
• Algorand: a secure and efficient distributed ledger

Cites work

• scientific article; zbMATH DE number 3986620 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A new approach to abstract syntax with variable binding
• Automata theory in nominal sets
• Equivariant ZFA and the foundations of nominal techniques
• Leaving the nest: nominal techniques for variables with interleaving scopes
• Nominal techniques in Isabelle/HOL
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(3)

• Short paper: Debt representation in UTXO blockchains
• Some Fundamentals of Mathematics of Blockchain
• Algorand: a secure and efficient distributed ledger

Describes a project that uses

Uses Software

• GitHub
• Nominal Isabelle

This page was built for publication: Algebras of UTxO blockchains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5084313)