Список обозначений
Корректность протокола интерактивного доказательства
soundness of interactive proof protocol
См. протокол интерактивного доказательства, протокол интерактивного доказательства в модели с дополнительными входами.