Document Open Access Logo

A Foundation for Ledger Structures

Author Chad Nester

PDF

File

Thumbnail PDF
PDF
OASIcs.Tokenomics.2020.7.pdf
  • Filesize: 15.45 MB
  • 13 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Categorical semantics
Keywords
  • String Diagrams
  • Category Theory
  • Blockchains

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This paper introduces an approach to constructing ledger structures for cryptocurrency systems with basic category theory. Compositional theories of resource convertibility allow us to express the material history of virtual goods, and ownership is modelled by a free construction. Our notion of ownership admits an intuitive graphical representation through string diagrams for monoidal functors.

Cite As Get BibTex

Chad Nester. A Foundation for Ledger Structures. In 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020). Open Access Series in Informatics (OASIcs), Volume 82, pp. 7:1-7:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021) https://doi.org/10.4230/OASIcs.Tokenomics.2020.7

Author Details

Chad Nester
  • Tallinn University of Technology, Estonia

Funding

  • Nester, Chad: This research was supported by the ESF funded Estonian IT Academy research measure (project 2014-2020.4.05.19-0001).

References

  1. N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, and R. Zunino. Unravelling bitcoin smart contracts. In POST 2018, volume 10804 of LNCS, pages 217-242, 2018. Google Scholar
  2. N. Atzei, M. Bartolietti, and T. Cimoli. A survey of attacks on ethereum smart contracts. In POST 2017, volume 10204 of LNCS, pages 164-186, 2017. Google Scholar
  3. J.R.B. Cockett and R.A.G. Seely. Proof theory of the cut rule. In E. Landry, editor, Categories for the Working Philosopher, pages 223-261. Oxford University Press, 2017. Google Scholar
  4. B. Coecke, T. Fritz, and R.W. Spekkens. A mathematical theory of resources. Information and Computation, 250:59-86, 2016. Google Scholar
  5. K. Jabbar and P. Bjorn. Infrastructural grind: Introducing blockchain technology in the shipping domain. In GROUP 2018, 2018. Google Scholar
  6. P. Katis, N. Sabadini, and R.F.C. Walters. On partita doppia. CoRR, 1998. Google Scholar
  7. A. Kiayias, A. Russell, B. David, and R. Oliynykov. Ouroboros: A provably secure proof-of-stake blockchain protocol. CRYPTO 2017, Part I, volume 10401 of LNCS, 2017. Google Scholar
  8. S. Mac Lane. Categories for the Working Mathematician. Springer, 1971. Google Scholar
  9. M.B. McCurdy. Graphical methods for tannaka duality of weak bialgebras and weak hopf algebras. Theory and Applications of Categories, 26:233-280, 2011. Google Scholar
  10. S. Nakamoto. Bitcoin: A peer-to-peer electronic cash system, 2008. URL: https://bitcoin.org/bitcoin.pdf.
  11. Peter Selinger. A survey of graphical languages for monoidal categories. In New Structures for Physics, pages 289-355. Springer, 2010. Google Scholar
  12. M. Staples, S. Chen, S. Falamaki, A. Ponomarev, P. Rimba, A.B. Tran, I. Weber, X. Xu, and J. Zhu. Risks and Opportunities for Systems Using Blockchain and Smart Contracts. Data61 (CSIRO), Sydney, 2017. Google Scholar
  13. Gavin Wood. Ethereum: A secure decentralized generalised transaction ledger, 2014. URL: https://gavwood.com/paper.pdf.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact