Lattice Based Zero Knowledge Proofs And Applications Shorter Simpler And More General Monash Information Technology