_id,title 8315,Divide and scale: Formalization of distributed ledger sharding protocols