Список обозначений
Доказательство с абсолютно нулевым разглашением в модели с дополнительными входами
perfect zero-knowledge proof with respect to auxiliary input
См. доказательство с нулевым разглашением в модели с дополнительными входами.