Доказательство с нулевым разглашением

От / / Оставьте комментарий

Доказательство с нулевым разглашением Статья представляет интерактивное доказательство знания пароля Пегги.  Пегги и Виктор сходятся во мнении о главном поле […]

Theory of cryptography, Zero-knowledge protocols, Протоколы с нулевым разглашением, Теория криптографии

Доказательство с нулевым разглашением

  • Статья представляет интерактивное доказательство знания пароля Пегги. 
  • Пегги и Виктор сходятся во мнении о главном поле и генераторе. 
  • Пегги вычисляет значение y = g^x mod p и передает его Виктору. 
  • Пегги выбирает случайное значение r ∈ U[0, p-2] и вычисляет C = g^r mod p. 
  • Она передает стоимость C Виктору. 
  • Виктор просит Пегги рассчитать и перевести либо стоимость (x + r) mod (p — 1), либо ценность r. 
  • В первом случае Виктор проверяет соответствие (C ⋅ y) mod p и BOS mod p. 
  • Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала. 

Полный текст статьи:

Доказательство с нулевым разглашением — Википедия

Похожие статьи:

  1. БОС/360 BOS / 360 История и развитие операционных систем IBM В 1955 году были выпущены первые версии...
  2. Стоимость капитала Стоимость капитала Определение стоимости капитала Стоимость капитала — это сумма, которую компания должна заплатить за привлечение...
  3. Двуусловное введение Введение с двумя условиями Введение/устранение последствий Двоякое введение позволяет вывести двоякое условие из двух условных утверждений. ...
  4. Риск потребительского кредитования Риск потребительского кредита Расчетный риск Включает риск концентрации, суверенный риск, риск дефолта и другие.  Риск дефолта...
  5. Тест на примитивность Тест на первичность Определение и свойства простых чисел Простое число — это натуральное число, имеющее только...
  6. Здание с нулевым энергопотреблением Здание с нулевым потреблением энергии Здание с нулевым потреблением энергии (ZEB) — это здание с нулевым...
  7. Протокол Артура-Мерлина Протокол Артура–Мерлина Определение и свойства MA и AM MA — это класс задач, которые могут быть...
  8. Внутренняя стоимость (финансы) Внутренняя стоимость (финансовая) Определение внутренней стоимости Внутренняя стоимость актива — это его стоимость, рассчитанная с учетом...
  9. Аудит Аудит Определение аудита Аудит — это процесс проверки финансовой отчетности для выявления ошибок и соответствия законодательству. ...
  10. Модель безопасности с нулевым доверием Модель безопасности с нулевым доверием Основы модели безопасности с нулевым доверием Модель ZTA предполагает строгую проверку...
  11. Тест на простоту Ферма Тест на простоту Ферма Основы теста Ферма Тест Ферма проверяет, является ли число вероятно простым.  Если...
  12. Распространение (проективная геометрия) Распространение (проективная геометрия) Основы проективного пространства Проективное пространство — это множество точек, которые не лежат на...
  13. СПИК СПИК Описание SPIKE SPIKE — это криптографический метод согласования ключей с аутентификацией по паролю.  Протокол основан...
  14. Проверка программного обеспечения Проверка программного обеспечения Определение и важность верификации программного обеспечения Верификация — это дисциплина в разработке ПО,...
  15. Криптосистема Шмидта-Самоа Криптосистема Шмидта-Самоа Основы криптосистемы Шмидта-Самоа Асимметричный криптографический метод, основанный на сложности факторизации.  Не создает неоднозначности при...
  16. Доказательство Тьюринга Доказательство Тьюринга Доказательство неразрешимости проблемы Entscheidungsproblem Тьюринг доказывает, что проблема Entscheidungsproblem (проблема определения, является ли формула...
  17. Прямое доказательство Прямое доказательство Доказательство — это платформа, убеждающая кого-либо вне всяких разумных сомнений в математической истинности утверждения. ...
  18. Виктор Пюизо Виктор Пюизе Использование машинного перевода Машинный перевод является отправной точкой для перевода, но требует исправления ошибок...
  19. Игра без игрока Игра с нулевым участием игроков Определение «игры с нулевым участием» Игры, которые развиваются без участия игроков,...
  20. Доказательство исчерпанием ресурсов Доказательство путем исчерпания Доказательство путем исчерпания — метод математического доказательства, разбивающий подлежащее доказательству утверждение на конечное...
  21. Доказательство (истина) Доказательство (истина) Доказательство является достаточным аргументом в пользу истинности утверждения.  Характер доказательств и критерии достаточности зависят...
  22. Виктор Клее Виктор Кли Виктор Ларю Клее-младший был математиком, специализирующимся на выпуклых множествах, функциональном анализе и других областях. ...

Оставьте комментарий

Прокрутить вверх