Lattice Based Zero Knowledge Proofs And Applications Shorter Simpler And More General Iacr