@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}, }