Statistical zero-knowledge proofs with efficient provers: lattice