Corrected a NIZKP