
Intents, abstract entities encapsulating a user’s desires, are a promising approach to designing modern, complex decentralized financial systems. This paper presents a theoretical framework for abstracting intent-processing systems through the introduction of “intent machines”, entities capable of processing user intents and transforming system state accordingly. Special cases of such machines implement mechanisms such as automated auctions, barter systems, and counterparty discovery. We present intent machines abstractly as a coalgebra; a nondeterministic state transition function capturing the machine’s dynamics. This allows us to consider the most general notions of equivalence, composition, and interaction. We motivate this work with a practical example for creating barter systems, utilizing auction bids as intents to distribute resources within a network. We also provide a fully formal toy example where states are natural numbers and intents are weighted relations. This research lays the foundation for future investigations into the game-theoretic aspects of intent processing, where the abstract formulation is intended to serve as a minimal formulation required for such work.
Smart Contracts, Formalization, machine learning, Coalgebra, user intentions, Intent Machines, Decentralized Finance, intent machine, Intents, Automated System Design, Barter Systems, automation
Smart Contracts, Formalization, machine learning, Coalgebra, user intentions, Intent Machines, Decentralized Finance, intent machine, Intents, Automated System Design, Barter Systems, automation
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
