Bachelor 2025/2026

Zero-Knowledge Proof Protocols

Type: Elective course (Applied Mathematics and Information Science)

Delivered by: Big Data and Information Retrieval School

When: 4 year, 3 module

Open to: students of one campus

Language: English

Course Syllabus

Abstract

Доказательства с нулевым разглашением (ZKP) — общее название семейства революционных криптографических протоколов, позволяющих Доказывающему (Prover'у) доказать Проверяющему (Verifier'у), что он установил истинность некоторого (математического) факта, не разглашая собственно само доказательство. Конечно, ZKP нашли своё применение в блокчейн-технологиях — в частности, для выполнения вычислений на недоверенных устройствах и снижения комиссий и нагрузки на сеть — но эта техника может применяться и сама по себе, поскольку не требует консенсуса для своей работы. В рамках нашего курса мы освежим необходимый алгебраический и криптографический аппарат, разберём устройство ключевых протоколов доказательств с нулевым разглашением и немного поприменяем их на практике.