Read out

Guest Talk: Towards the blockchain formalization: the blockchain abstract data type

Antonella Del Pozzo, PhD 

Date/Time: 26.06.2018, 11:00 

Location: D2.2.094 


Blockchains became a game changer in the distributed storage area due to their ability to mimic the functioning of a classical traditional ledger such as transparency and falsification-proof in an untrusted environment. However, blockchain integration in industrial applications strongly depends on the formal guaranties of the quality of services provided, especially in terms of consistency. In this presentation we formalize the blockchain as a composition of abstract data types which helps us to define a hierarchy of consistency criteria that formally characterises different typologies of blockchains. Moreover, we present some results on implementability and a mapping of representative existing blockchains from both academia and industry against the defined consistency criteria.


Antonella Del Pozzo is a Postdoctoral fellow at CEA LIST. Her main research topic is Blockchain formalization and consistency criteria. She obtained her joint Ph.D on distributed systems from “Sapienza” Università di Roma and Sorbonne Université Pierre-et-Marie-Curie in Paris. Her research interests also include Byzantine fault tolerance and self-stabilization.

Back to overview