Read out

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

Anto­nella Del Pozzo, PhD 

Date/Time: 26.06.2018, 11:00 

Loca­tion: D2.2.094 


Block­chains became a game changer in the distri­buted storage area due to their ability to mimic the func­tio­ning of a clas­sical tradi­tional ledger such as trans­pa­rency and falsi­fi­ca­ti­on-­proof in an untrusted envi­ron­ment. However, block­chain inte­gra­tion in indus­trial appli­ca­tions strongly depends on the formal guaran­ties of the quality of services provided, espe­cially in terms of consis­tency. In this presen­ta­tion we forma­lize the block­chain as a compo­si­tion of abstract data types which helps us to define a hier­archy of consis­tency criteria that formally charac­te­rises diffe­rent typo­lo­gies of block­chains. More­over, we present some results on imple­men­ta­bi­lity and a mapping of repre­sen­ta­tive exis­ting block­chains from both academia and industry against the defined consis­tency criteria.


Anto­nella Del Pozzo is a Post­doc­toral fellow at CEA LIST. Her main rese­arch topic is Block­chain forma­liza­tion and consis­tency criteria. She obtained her joint Ph.D on distri­buted systems from “Sapi­enza” Università di Roma and Sorbonne Université Pier­re-e­t-­Ma­rie-­Curie in Paris. Her rese­arch inte­rests also include Byzan­tine fault tolerance and self-sta­bi­liza­tion.

Back to overview