15-10-2023
Проблема гроссмейстера (англ. chess grandmaster problem) — один из способов злоупотребления доказательством с нулевым разглашением. Проблема заключается в том, что некоторая сторона может доказать владение секретом, не обладая им на самом деле или, другими словами, может имитировать то лицо, которому на самом деле принадлежит секрет.
Содержание |
Проблема гроссмейстера заключается в следующем: Алиса, не зная правил шахмат, хочет обыграть гроссмейстера, тогда она выполняет следующие действия:
Таким образом, играть гроссмейстеры будут между собой, а Алиса будет посредником и она либо сыграет вничью с обоими гроссмейстерами, либо выиграет хотя бы у одного. Такой же способ мошенничества используется и при доказательстве с нулевым разглашением: в то время, как Алиса доказывает свою личность Мэллори, Мэллори может одновременно доказывать Бобу, что она и есть Алиса.
Возможное решение этой проблемы было предложено Томасом Бетом (T. Beth) и Иво Десмедтом (Y. Desmedt). Для исключения возможности обмана, они предложили следующий алгоритм.
If then F прекращает играть, поскольку понимает, что его обманули. Протокол завершается. else if S выиграл then F прекращает играть и протокол завершается. else F точно за время t обдумывает и совершает ход, к этому моменту с начала протокола пройдет ровно секунд, следовательно на секундомере у F будет время
If then S прекращает играть, поскольку понимает, что его обманули. Протокол завершается. else if F выиграл then S прекращает играть и протокол завершается. else S точно за время t обдумывает и совершает ход, к этому моменту с начала протокола пройдет ровно секунд, следовательно на секундомере у S будет время
Другими словами, у Алисы просто не будет времени, чтобы перебегать из одной комнаты в другую.
Проблема гроссмейстера.