| dc.contributor.author | Fernández Anta, Antonio | |
| dc.contributor.author | Georgiou, Chryssis | |
| dc.contributor.author | Nicolaou, Nicolas | |
| dc.date.accessioned | 2021-07-13T09:31:39Z | |
| dc.date.available | 2021-07-13T09:31:39Z | |
| dc.date.issued | 2017-11-05 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.12761/476 | |
| dc.description.abstract | In his PODC’2017 keynote address, Maurice Herlihy pointed out that despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed. To face this issue, in this paper we provide a proper formulation of a distributed ledger object. In brief, we define a ledger object as a sequence of records, and we provide the operations and the properties that such an object should support. We then provide a variation of the ledger – the validated ledger – which requires that each record in the ledger satisfies a particular validation rule. A (validated) ledger is distributed if it is implemented on top of multiple (possibly geographically dispersed) computing devices. | |
| dc.language.iso | eng | |
| dc.title | Formalizing Distributed Ledger Objects | en |
| dc.type | conference object | |
| dc.conference.date | 5 November 2017 | |
| dc.conference.place | Boston, MA, USA | |
| dc.conference.title | The 1st Workshop on Storage, Control, Networking in Dynamic Systems (SCNDS 2017), in conjunction with the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017) | * |
| dc.event.type | workshop | |
| dc.pres.type | paper | |
| dc.type.hasVersion | VoR | |
| dc.rights.accessRights | open access | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | http://eprints.networks.imdea.org/id/eprint/1705 | |
