Statistical zero knowledge protocols to prove modular polynomial relations

Abstract

This paper proposes a bit commitment scheme, BC(), and efficient statistical zero knowledge (in short, SZK) protocols in which, for any given multi-variable polynomial f(X1,..,Xt) and any given modulus n, prover:P gives (I1,..,It) to verifier Ѵ and can convince Ѵ that P knows (x1,.., xt) satisfying f (x1,.., xt) ≡ 0 (mod n) and Ii = BC(xi), (i = 1,.., t). The proposed protocols are O(|n|) times more efficient than the corresponding previous ones [Dam93, Dam95, Oka95]. The (knowledge) soundness of our protocols holds under a computational assumption, the intractability of a modified RSA problem (see Def.3), while the (statistical) zero-knowledgeness of the protocols needs no computational assumption. The protocols can be employed to construct various practical cryptographic protocols, such as fair exchange, untraceable electronic cash and verifiable secret sharing protocols.