(1) Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel;(2) BRM Technologies, P.O.Box 45065, Jerusalem, Israel
Abstract:
Constant-round zero-knowledge proof systems for every language in
are presented, assuming the existence of a collection of claw-free functions. In particular, it follows that such proof systems exist assuming the intractability of either the Discrete Logarithm Problem or the Factoring Problem for Blum integers.