A Foundation for Ledger Structures

Nester, Chad

doi:10.4230/oasics.tokenomics.2020.7

Cited by 2 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There is an extensive literature on behavioural types, and we speculate that situated transition systems would be a good way to place this work in the wider context of entire systems. If A is a model of a ledger system in the sense of [18], then the material history generated by an A-situated transition system can be seen as a sequence of ledger transactions. It seems that this is relevant to the study of smart contracts, since the ability to transact on the blockchain as they execute is one of their defining features.…”

Section: Discussionmentioning

confidence: 99%

“…In this section we consider the case in which our resource theory A is compact closed. From the perspective of accountancy, string diagrams over a resource theory are like ledgers, recording the material history of the resources they concern [18]. In the partita-doppia (double-entry) method of accounting every change to a ledger must consist of a matching credit (positive change) and debit (negative change), so that the ledger remains balanced.…”

Section: Compact Closure and Accountingmentioning

confidence: 99%

See 1 more Smart Citation

Situated Transition Systems

Nester

2022

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

We construct a monoidal category of open transition systems that generate material history as transitions unfold, which we call situated transition systems. The material history generated by a composite system is composed of the material history generated by each component. The construction is parameterized by a symmetric strict monoidal category, understood as a resource theory, from which material histories are drawn. We pay special attention to the case in which this category is compact closed. In particular, if we begin with a compact closed category of integers then the resulting situated transition systems can be understood as systems of double-entry bookkeeping accounts.* This research was supported by the ESF funded Estonian IT Academy research measure (project 2014-2020.4.05.19-0001).

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Compact Closure and Accountingmentioning

confidence: 99%