Giovanni Di Crescenzo Helger Lipmaa 3-Message NP Arguments in the BPK Model with Optimal Soundness and Zero-Knowledge. 615-627 2008 ISAAC http://dx.doi.org/10.1007/978-3-540-92182-0_55 conf/isaac/2008 db/conf/isaac/isaac2008.html#CrescenzoL08