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