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