Redis'in önünde bir proxy vardı mı, yoksa siz mi sharding'i kendiniz yaptınız?