ZkSNARK 26: различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к навигации Перейти к поиску
← Предыдущая правкаСледующая правка →
Строка 27: Строка 27:
=== Лекции и семинары ===
=== Лекции и семинары ===


* '''Лекция I''' (20 янв). Определение zkSNARK. Задание вычислений многочленами над полем остатков Zp. [https://miro.com/app/board/uXjVGNnWkXw=/?share_link_id=846985122965 Конспект]. [https://disk.yandex.ru/d/mzXlT0U3MzEZkQ/%D0%9F%D1%80%D0%BE%D1%82%D0%BE%D0%BA%D0%BE%D0%BB%D1%8B%20%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%20%D1%81%20%D0%BD%D1%83%D0%BB%D0%B5%D0%B2%D1%8B%D0%BC%20%D1%80%D0%B0%D0%B7%D0%B3%D0%BB%D0%B0%D1%88%D0%B5%D0%BD%D0%B8%D0%B5%D0%BC/4%20%D0%BA%D1%83%D1%80%D1%81%20%D0%9F%D0%9C%D0%98_2026-01-20T09-28-11.mp4 Запись].
* '''Лекция I''' (20 янв). Определение zkSNARK. Задание вычислений многочленами над полем остатков Zp. [https://miro.com/app/board/uXjVGNnWkXw=/?share_link_id=846985122965 Конспект].
* '''Семинар I''' (20 янв). Определение R1CS, QAP. Внутреннее устройство протокола groth16. [https://github.com/sizovk/zk-seminars/blob/main/week-1/slides.pdf Слайды]. [https://disk.yandex.ru/d/mzXlT0U3MzEZkQ/%D0%9F%D1%80%D0%BE%D1%82%D0%BE%D0%BA%D0%BE%D0%BB%D1%8B%20%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%20%D1%81%20%D0%BD%D1%83%D0%BB%D0%B5%D0%B2%D1%8B%D0%BC%20%D1%80%D0%B0%D0%B7%D0%B3%D0%BB%D0%B0%D1%88%D0%B5%D0%BD%D0%B8%D0%B5%D0%BC/4%20%D0%BA%D1%83%D1%80%D1%81%20%D0%9F%D0%9C%D0%98_2026-01-20T11-26-51.mp4 Запись].
* '''Семинар I''' (20 янв). Определение R1CS, QAP. Внутреннее устройство протокола groth16. [https://github.com/sizovk/zk-seminars/blob/main/week-1/slides.pdf Слайды].
* '''Лекция II''' (27 янв). Algebra recap: конечные группы и поля. Задача DLOG. ''Гостевая лекция Димы Трушина'': проективные пространства. [https://disk.yandex.ru/d/mzXlT0U3MzEZkQ/%D0%9F%D1%80%D0%BE%D1%82%D0%BE%D0%BA%D0%BE%D0%BB%D1%8B%20%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%20%D1%81%20%D0%BD%D1%83%D0%BB%D0%B5%D0%B2%D1%8B%D0%BC%20%D1%80%D0%B0%D0%B7%D0%B3%D0%BB%D0%B0%D1%88%D0%B5%D0%BD%D0%B8%D0%B5%D0%BC/4%20%D0%BA%D1%83%D1%80%D1%81%20%D0%9F%D0%9C%D0%98%202026-01-27T08-16-17Z.mp4 Запись].
* '''Лекция II''' (27 янв). Algebra recap: конечные группы и поля. Задача DLOG. ''Гостевая лекция Димы Трушина'': проективные пространства.
* '''Семинар II''' (27 янв). Фреймворк Circom: установка, принципы работы, примеры. [https://github.com/sizovk/zk-seminars/tree/main/week-2 Материалы]. [https://disk.yandex.ru/d/mzXlT0U3MzEZkQ/%D0%9F%D1%80%D0%BE%D1%82%D0%BE%D0%BA%D0%BE%D0%BB%D1%8B%20%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%20%D1%81%20%D0%BD%D1%83%D0%BB%D0%B5%D0%B2%D1%8B%D0%BC%20%D1%80%D0%B0%D0%B7%D0%B3%D0%BB%D0%B0%D1%88%D0%B5%D0%BD%D0%B8%D0%B5%D0%BC/4%20%D0%BA%D1%83%D1%80%D1%81%20%D0%9F%D0%9C%D0%98%202026-01-27T10-00-19Z.mp4 Запись].
* '''Семинар II''' (27 янв). Фреймворк Circom: установка, принципы работы, примеры. [https://github.com/sizovk/zk-seminars/tree/main/week-2 Материалы].
* '''Лекция III''' (3 фев). ''Гостевая лекция Димы Трушина'': определение и внутреннее устройство эллиптических кривых над полем. [ Запись].
* '''Лекция III''' (3 фев). ''Гостевая лекция Димы Трушина'': определение и внутреннее устройство эллиптических кривых над полем.
* '''Семинар III''' (3 фев). Работа во фреймворке Circom, часть II. [https://github.com/sizovk/zk-seminars/tree/main/week-2 Материалы]. [ Запись].
* '''Семинар III''' (3 фев). Работа во фреймворке Circom, часть II. [https://github.com/sizovk/zk-seminars/tree/main/week-2 Материалы].
* '''Лекция IV''' (10 фев). ''Гостевая лекция Димы Трушина'': точки на эллиптической кривой как группа. Простые схемы шифрования над криптографическими группами. [ Запись].
* '''Лекция IV''' (10 фев). ''Гостевая лекция Димы Трушина'': точки на эллиптической кривой как группа. Простые схемы шифрования над криптографическими группами.
* '''Семинар IV''' (10 фев). Tornado Cash. [ Слайды]. [ Запись].
* '''Семинар IV''' (10 фев). Tornado Cash. [ Слайды].
* '''Лекция V''' (17 фев). Консультация к домашним заданиям 1,3. Расширения Галуа. Подгруппы кручения эллиптических кривых над алгебраическим замыканием базового поля. [https://miro.com/app/board/uXjVG_Jnrws=/?share_link_id=932088985657 Конспект]. [ Запись].
* '''Лекция V''' (17 фев). Консультация к домашним заданиям 1,3. Расширения Галуа. Подгруппы кручения эллиптических кривых над алгебраическим замыканием базового поля. [https://miro.com/app/board/uXjVG_Jnrws=/?share_link_id=932088985657 Конспект].
* '''Семинар V''' (17 фев). Railgun. [ Слайды]. [ Запись].
* '''Семинар V''' (17 фев). Railgun. [ Слайды].
* '''Лекция VI''' (24 фев). TBA. [ Конспект]. [ Запись].
* '''Лекция VI''' (24 фев). TBA. [ Конспект].
* '''Семинар VI''' (24 фев). TBA. [ Слайды]. [ Запись].
* '''Семинар VI''' (24 фев). TBA. [ Слайды].
* '''Лекция VII''' (3 мар). TBA. [ Конспект]. [ Запись].
* '''Лекция VII''' (3 мар). TBA. [ Конспект].
* '''Семинар VII''' (3 мар). TBA. [ Слайды]. [ Запись].
* '''Семинар VII''' (3 мар). TBA. [ Слайды].
* '''Лекция VIII''' (10 мар). TBA. [ Конспект]. [ Запись].
* '''Лекция VIII''' (10 мар). TBA. [ Конспект].
* '''Семинар VIII''' (10 мар). TBA. [ Слайды]. [ Запись].
* '''Семинар VIII''' (10 мар). TBA. [ Слайды].


=== Домашние задания ===
=== Домашние задания ===

Версия от 12:58, 17 февраля 2026

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

Весенний курс по выбору для студентов 4 курса ПМИ ФКН ВШЭ.

Команда курса

Лектор: Павел Соколов aka @TurtlePU.

Семинарист: Кирилл Сизов aka @kirillsizov.

Ссылки

Канал в телеграм: https://t.me/+Lo01TtiDATcyODYy

Чат в телеграм: https://t.me/+ndaHNUszEFRiMDdi

Зум: https://us06web.zoom.us/j/84188907802?pwd=tpDbXaPZUxwAzc1eGHN8tqZJR7b2mb.1

Записи лекций и семинаров: https://disk.yandex.ru/d/mzXlT0U3MzEZkQ/%D0%9F%D1%80%D0%BE%D1%82%D0%BE%D0%BA%D0%BE%D0%BB%D1%8B%20%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%20%D1%81%20%D0%BD%D1%83%D0%BB%D0%B5%D0%B2%D1%8B%D0%BC%20%D1%80%D0%B0%D0%B7%D0%B3%D0%BB%D0%B0%D1%88%D0%B5%D0%BD%D0%B8%D0%B5%D0%BC

Материалы семинаров: https://github.com/sizovk/zk-seminars

Таблица с оценками: TBA

План курса

Лекции и семинары

  • Лекция I (20 янв). Определение zkSNARK. Задание вычислений многочленами над полем остатков Zp. Конспект.
  • Семинар I (20 янв). Определение R1CS, QAP. Внутреннее устройство протокола groth16. Слайды.
  • Лекция II (27 янв). Algebra recap: конечные группы и поля. Задача DLOG. Гостевая лекция Димы Трушина: проективные пространства.
  • Семинар II (27 янв). Фреймворк Circom: установка, принципы работы, примеры. Материалы.
  • Лекция III (3 фев). Гостевая лекция Димы Трушина: определение и внутреннее устройство эллиптических кривых над полем.
  • Семинар III (3 фев). Работа во фреймворке Circom, часть II. Материалы.
  • Лекция IV (10 фев). Гостевая лекция Димы Трушина: точки на эллиптической кривой как группа. Простые схемы шифрования над криптографическими группами.
  • Семинар IV (10 фев). Tornado Cash. [ Слайды].
  • Лекция V (17 фев). Консультация к домашним заданиям 1,3. Расширения Галуа. Подгруппы кручения эллиптических кривых над алгебраическим замыканием базового поля. Конспект.
  • Семинар V (17 фев). Railgun. [ Слайды].
  • Лекция VI (24 фев). TBA. [ Конспект].
  • Семинар VI (24 фев). TBA. [ Слайды].
  • Лекция VII (3 мар). TBA. [ Конспект].
  • Семинар VII (3 мар). TBA. [ Слайды].
  • Лекция VIII (10 мар). TBA. [ Конспект].
  • Семинар VIII (10 мар). TBA. [ Слайды].

Домашние задания

Условия теоретических домашних заданий скомпилированы с помощью pdfLaTeX.

Оценивание

Итог = Округление(1/5 * ДЗ-1 + 1/5 * ДЗ-2 + 1/5 * ДЗ-3 + 1/5 * ДЗ-4 + 1/5 * ДЗ-5),

где ДЗ-n – оценка за домашнее задание n.

Округление арифметическое.

Литература

Основная литература

  1. Maksym Petkus – Why and How zk-SNARK Works: Definitive Explanation
  2. Marta Bellés-Muñoz, Miguel Isabel, Jose Luis Muñoz-Tapia, Albert Rubio, and Jordi Baylina – CIRCOM: A Circuit Description Language for Building Zero-Knowledge Applications
  3. Ariel Gabizon, Zachary J. Williamson, Oana Ciobotaru – PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
  4. Benedikt Bünz, Binyi Chen – Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols

Дополнительная литература

  1. Tim Dokchitser, Alexandr Bulkin – Zero Knowledge Virtual Machine step by step
  2. Dong Pyo Chi, Jeong Woon Choi, Jeong San Kim and Taewan Kim – Lattice Based Cryptography for Beginners
  3. Martin R. Albrecht, Valerio Cini, Russell W. F. Lai, Giulio Malavolta and Sri Aravinda Krishnan Thyagarajan – Lattice-Based SNARKs: Publicly Verifiable, Preprocessing, and Recursively Composable
  4. Rosario Gennaro, Michele Minelli, Anca Nitulescu, and Michele Orrù – Lattice-Based zk-SNARKs from Square Span Programs
  5. Yuval Ishai, Hang Su, David J. Wu – Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices
Источник — https://wiki.cs.hse.ru/index.php?title=ZkSNARK_26&oldid=95410