Корректность интерактивного доказательства — свойство протокола интерактивного доказательства, обеспечивающее стойкость системы в том случае, когда противник выступает в роли доказывающего.
Спасибо Вам за добавление этой статьи в
