У Виктора есть сообщение m и алгоритм вычисления функции f(s, m), возвращающая сообщение.
У Пегги есть некоторое состояние s.
Виктора интересует значение функции f(s, m).
Как Пегги доказать, что она правильно выполнила вычисление функции, не разглашая своё состояние s?