Added detection code for inexistent NIZKP.