@InProceedings{Avarikioti2020divide,
	author=	{Zeta Avarikioti and Eleftherios Kokoris-Kogias and Roger Wattenhofer},
	title=	{{Divide and Scale: Formalization of Distributed Ledger Sharding Protocols}},
	booktitle=	{{}},
	month=	{November},
	year=	{2020},
}