Improve docs of DL ZKP