NIZKP verifies a mock proof