Abstract
Blockchain technologies are becoming more and more attractive to companies, withnew versions or implementations being announced or implemented on a regular basis.Some of the technologies make bold claims, with others appearing to be identical toprevious implementations, just with another name, no doubt in the hopes that it willgive the creators some financial advantage. One of these new technologies is Hash-graph. Hashgraph hopes to revolutionize blockchain as we know it, by implementinga secure system that is hundreds or even thousands of times faster than some of thecurrent technologies. Claims of revolution and secure transfer of data at speeds thathave previously been impossible to reach have made the technology quite interesting toresearchers and this report goes in depth to determine if Hashgraph is able to performas it claims.To understand Hashgraph, we have to understand the technologies that led to its cre-ation. This thesis outlines an overview of the current theory behind blockchains, suchas the proof of work or proof of stake and Byzantine Generals problem, as well as thetechnologies and what led to their creation. It will also review some of the leadingtechnologies in the current market, such as Bitcoin and Ethereum.The thesis also contains a thorough overview of Hashgraph, detailing each of the con-cepts that have been included to make it work as the creators have intended. Thealgorithms provided by the creators have been implemented into ProB, so an analy-sis of the technology can be verified. Proving or disproving the validity of Hashgraphwould be an important first to determine if Hashgraph has any chance of success.Both the analysis in ProB and the interpretation of the documentation provided haveled to a number of questions regarding the feasibility of Hashgraph as well as someconcerns about its longevity in the market. Finally the report discusses potential areasof further research, that could do with a high level of scrutiny before Hashgraph is pushed fully into the mainstream.