Модель для определения неинтерактивного доказательства с нулевым разглашением, в которой участникам, помимо общего входного слова, предоставлен еще доступ (только на чтение) к общей случайной строке.