I am not sure that sharding will be of much use without proof of stake in place first. I think it may also lower the security of the network but will improve scalability. It will be interesting to see how this trade off plays out once sharding is implemented.