Escrows are optics
Fabrizio Genovese, Fosco Loregian, Daniele Palombi

TL;DR
This paper offers a categorical framework for modeling escrow trading protocols, representing them as morphisms in the category of optics, and extends the model to more complex escrows with intermediaries using monoid and comonoid structures.
Contribution
It introduces a novel categorical interpretation of escrows as morphisms in the category of optics, enabling formal analysis of trustless trading protocols.
Findings
Escrows modeled as morphisms in the category of optics.
Extended models incorporate intermediaries using monoid and comonoid structures.
Provides a formal categorical foundation for escrow protocols.
Abstract
We provide a categorical interpretation for escrows, i.e. trading protocols in trustless environment, where the exchange between two agents is mediated by a third party where the buyer locks the money until they receive the goods they want from the seller. A simplified escrow system can be modeled as a certain kind of morphism in the category of optics on a monoidal category. When objects in the base category have monoid and comonoid structures, more involved kinds of escrows `with intermediaries' can be modelled as morphisms with action-like properties.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Game Theory and Applications
