A temporal blockchain: a formal analysis

Richard Dennis; Gareth Owenson; Benjamin Aziz

doi:10.1109/CTS.2016.0082

A temporal blockchain: a formal analysis

Richard Dennis, Gareth Owenson, Benjamin Aziz

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1042 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	430-437
Number of pages	8
ISBN (Electronic)	9781509023004
ISBN (Print)	9781509023011
DOIs	https://doi.org/10.1109/CTS.2016.0082
Publication status	Published - 6 Mar 2017
Event	17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems - Orlando, United States Duration: 31 Oct 2016 → 4 Nov 2016 http://cts2016.cisedu.info

Conference

Conference	17th International Conference on Collaboration Technology and Systems
Abbreviated title	SECOTS
Country/Territory	United States
City	Orlando
Period	31/10/16 → 4/11/16
Internet address	http://cts2016.cisedu.info

Access to Document

10.1109/CTS.2016.0082

A temporal blockchain A formal analysis
© 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Accepted author manuscript (Post-print), 144 KB

Cite this

@inproceedings{4b60fc8568e24fbe9ff8978a42e78e22,

title = "A temporal blockchain: a formal analysis",

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.",

author = "Richard Dennis and Gareth Owenson and Benjamin Aziz",

year = "2017",

month = mar,

day = "6",

doi = "10.1109/CTS.2016.0082",

language = "English",

isbn = "9781509023011",

pages = "430--437",

booktitle = "Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

note = "17th International Conference on Collaboration Technology and Systems : International Symposium on Security in Collaboration Technology and Systems, SECOTS ; Conference date: 31-10-2016 Through 04-11-2016",

url = "http://cts2016.cisedu.info",

}

Dennis, R, Owenson, G & Aziz, B 2017, A temporal blockchain: a formal analysis. in Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems. Institute of Electrical and Electronics Engineers Inc., pp. 430-437, 17th International Conference on Collaboration Technology and Systems, Orlando, United States, 31/10/16. https://doi.org/10.1109/CTS.2016.0082

A temporal blockchain: a formal analysis. / Dennis, Richard; Owenson, Gareth; Aziz, Benjamin.
Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems. Institute of Electrical and Electronics Engineers Inc., 2017. p. 430-437.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A temporal blockchain

T2 - 17th International Conference on Collaboration Technology and Systems

AU - Dennis, Richard

AU - Owenson, Gareth

AU - Aziz, Benjamin

PY - 2017/3/6

Y1 - 2017/3/6

N2 - 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.

AB - 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.

UR - http://ieeexplore.ieee.org/servlet/opac?punumber=1001747

U2 - 10.1109/CTS.2016.0082

DO - 10.1109/CTS.2016.0082

M3 - Conference contribution

SN - 9781509023011

SP - 430

EP - 437

BT - Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 31 October 2016 through 4 November 2016

ER -

A temporal blockchain: a formal analysis

Abstract

Conference

Access to Document

Fingerprint

Cite this