Бакалавриат
2025/2026
Протоколы доказательств с нулевым разглашением
Статус:
Курс по выбору (Прикладная математика и информатика)
Когда читается:
4-й курс, 3 модуль
Охват аудитории:
для своего кампуса
Язык:
английский
Course Syllabus
Abstract
Доказательства с нулевым разглашением (ZKP) — общее название семейства революционных криптографических протоколов, позволяющих Доказывающему (Prover'у) доказать Проверяющему (Verifier'у), что он установил истинность некоторого (математического) факта, не разглашая собственно само доказательство. Конечно, ZKP нашли своё применение в блокчейн-технологиях — в частности, для выполнения вычислений на недоверенных устройствах и снижения комиссий и нагрузки на сеть — но эта техника может применяться и сама по себе, поскольку не требует консенсуса для своей работы.
В рамках нашего курса мы освежим необходимый алгебраический и криптографический аппарат, разберём устройство ключевых протоколов доказательств с нулевым разглашением и немного поприменяем их на практике.