A Logic of Blockchain Updates

Other literature type, Preprint English OPEN
Brünnler, Kai; Flumini, Dandolo; Studer, Thomas;
(2017)
  • Publisher: Springer International Publishing
  • Embargo end date: 2018
  • Related identifiers: doi: 10.1007/978-3-319-72056-2_7, doi: 10.7892/boris.112776
  • Subject: 000 Computer science, knowledge & systems | 510 Mathematics | 005: Computerprogrammierung, Programme und Daten | Computer Science - Logic in Computer Science

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains avai... View more
Share - Bookmark