Hongda Li Bao Li An Unbounded Simulation-Sound Non-interactive Zero-Knowledge Proof System for NP. 210-220 2005 conf/cisc/2005 CISC http://dx.doi.org/10.1007/11599548_18 db/conf/cisc/cisc2005.html#LiL05