Economic tradeoffs of sharding for validator rewards and light client design