См. доказательство с нулевым разглашением, доказательство с вычислительно нулевым разглашением, доказательство со статистически нулевым разглашением, доказательство с абсолютно нулевым разглашением, доказательство с нулевым разглашением в модели с дополнительными входами. Отметим, что соответствующая симулятору машина Тьюринга иногда называется моделирующей машиной.