Autor:	Kamkuemah, Martha N., Sanders, J. W.
Rok vydání:	2023
Předmět:	Computer Science - Logic in Computer Science Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	Non-fungible tokens, NFT, have been used to record ownership of real estate, art, digital assets, and more recently to serve legal notice. They provide an important and accessible non-financial use of cryptocurrency's blockchain but are peculiar because ownership by NFT confers no rights over the asset. This work shows that it is possible to specify that peculiar property by combining functional and epistemic properties. Suitability of the specification is evaluated by proof that the blockchain implementation conforms to it, and by its use in an analysis of serving legal notice. Comment: 12 pages, formulae
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2310.14600 Zobrazit plný text záznamu View this record from Arxiv