Efficient non-interactive statistical zero-knowledge proof system for quasi-safe prime productsR. GennaroDaniele Micciancioet al.1998CCS 1998