Свидетель-неотличимое доказательство
Доказательство неотличимости свидетеля ( WIP ) — это вариант доказательства с нулевым разглашением для языков в NP . В типичном доказательстве утверждения с нулевым разглашением доказывающий будет использовать свидетеля этого утверждения в качестве входных данных для протокола, и проверяющий не узнает ничего, кроме истинности утверждения. В WIP это условие нулевого разглашения ослаблено, и единственной гарантией является то, что проверяющий не сможет отличить доказывающих, использующих разных свидетелей. В частности, протокол может привести к утечке информации о наборе всех свидетелей или даже к утечке свидетеля, который использовался, когда существует только один возможный свидетель.
Системы доказательств, неотличимые от свидетелей, были впервые предложены Файги и Шамиром. [1] В отличие от доказательств с нулевым разглашением, они остаются безопасными, когда несколько доказательств выполняются одновременно.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Файги, У.; Шамир, А. (1990). «Протоколы неотличимости свидетелей и сокрытия свидетелей». Материалы двадцать второго ежегодного симпозиума ACM по теории вычислений - STOC '90 . стр. 416–426. дои : 10.1145/100216.100272 . ISBN 0897913612 . S2CID 11146395 .
 | Эта статья, посвященная криптографии, незавершена . Вы можете помочь Википедии, расширив ее . |