A Temporal Blockchain: A Formal Analysis
| Title | A Temporal Blockchain: A Formal Analysis |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Dennis, R., Owenson, G., Aziz, B. |
| Conference Name | 2016 International Conference on Collaboration Technologies and Systems (CTS) |
| Keywords | blockchain, blockchain security, blockchain-based systems, cryptocurrencies, cryptography, distributed storage, Distributed Systems, fixed-size blockchain, formal analysis, Mobile communication, Online banking, peer-to-peer, Peer-to-peer computing, peer-to-peer method, Protocols, pubcrawl, Resiliency, Scalability, security, security of data, system monitoring, temporal rolling blockchain |
| Abstract | This paper presents a possible solution to a fundamental limitation facing all blockchain-based systems; scalability. We propose a temporal rolling blockchain which solves the problem of its current exponential growth, instead replacing it with a constant fixed-size blockchain. We conduct a thorough analysis of related work and present a formal analysis of the new rolling blockchain, comparing the results to a traditional blockchain model to demonstrate that the deletion of data from the blockchain does not impact on the security of the proposed blockchain model before concluding our work and presenting future work to be conducted. |
| URL | https://ieeexplore.ieee.org/document/7871020/ |
| DOI | 10.1109/CTS.2016.0082 |
| Citation Key | dennis_temporal_2016 |
- Peer-To-Peer
- temporal rolling blockchain
- system monitoring
- security of data
- security
- Scalability
- Resiliency
- pubcrawl
- Protocols
- peer-to-peer method
- Peer-to-peer computing
- blockchain
- Online banking
- Mobile communication
- formal analysis
- fixed-size blockchain
- distributed systems
- distributed storage
- Cryptography
- cryptocurrencies
- blockchain-based systems
- blockchain security