Войти
A свидетельство неразличимости (WIP ) является вариантом доказательства с нулевым разглашением для языков в NP. В типичном доказательстве утверждения с нулевым разглашением проверяющая будет использовать свидетель для утверждения в качестве входных данных для протокола, а проверяющий не узнает ничего, кроме истинности утверждения. В WIP это условие нулевого знания ослаблено, и единственная гарантия состоит в том, что проверяющий не сможет различить проверяющих, использующих разных свидетелей. В частности, протокол может привести к утечке информации о наборе всех свидетелей или даже о свидетеле, который использовался, когда есть только один возможный свидетель.
Системы доказательства, неотличимые от свидетелей, были впервые введены Файги и Шамиром. В отличие от доказательств с нулевым разглашением, они остаются безопасными, когда несколько доказательств выполняются одновременно.
.
