Algebras of UTxO blockchains

DOI10.1017/S0960129521000438zbMATH Open1489.68084arXiv2007.12404OpenAlexW3197588271WikidataQ123194259 ScholiaQ123194259MaRDI QIDQ5084313FDOQ5084313

Authors: Murdoch J. Gabbay 

Publication date: 24 June 2022

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

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.

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

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

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)

Cites Work

• Nominal techniques in Isabelle/HOL
• Title not available (Why is that?)
• A new approach to abstract syntax with variable binding
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Title not available (Why is that?)
• Automata theory in nominal sets
• Title not available (Why is that?)
• Equivariant ZFA and the foundations of nominal techniques
• Leaving the nest: nominal techniques for variables with interleaving scopes

Cited In (3)

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

Uses Software

• Nominal Isabelle
• GitHub

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)