https://wikicshse.ru/index.php?action=history&feed=atom&title=ZkSNARK_26
ZkSNARK 26 - История изменений
2026-06-06T09:57:44Z
История изменений этой страницы в вики
MediaWiki 1.45.3
https://wikicshse.ru/index.php?title=ZkSNARK_26&diff=788&oldid=prev
imported>TurtlePU: /* Лекции и семинары */
2026-03-04T11:44:48Z
<p><span class="autocomment">Лекции и семинары</span></p>
<p><b>Новая страница</b></p><div>== Протоколы доказательств с нулевым разглашением ==<br />
<br />
Весенний курс по выбору для студентов 4 курса ПМИ ФКН ВШЭ.<br />
<br />
=== Команда курса ===<br />
<br />
Лектор: Павел Соколов aka [https://t.me/TurtlePU @TurtlePU].<br />
<br />
Семинарист: Кирилл Сизов aka [https://t.me/kirillsizov @kirillsizov].<br />
<br />
=== Ссылки ===<br />
<br />
Канал в телеграм: https://t.me/+Lo01TtiDATcyODYy<br />
<br />
Чат в телеграм: https://t.me/+ndaHNUszEFRiMDdi<br />
<br />
Зум: https://us06web.zoom.us/j/84188907802?pwd=tpDbXaPZUxwAzc1eGHN8tqZJR7b2mb.1<br />
<br />
Записи лекций и семинаров: 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<br />
<br />
Материалы семинаров: https://github.com/sizovk/zk-seminars<br />
<br />
Таблица с оценками: TBA<br />
<br />
== План курса ==<br />
<br />
=== Лекции и семинары ===<br />
<br />
* '''Лекция I''' (20 янв). Определение zkSNARK. Задание вычислений многочленами над полем остатков Zp. [https://miro.com/app/board/uXjVGNnWkXw=/?share_link_id=846985122965 Конспект].<br />
* '''Семинар I''' (20 янв). Определение R1CS, QAP. Внутреннее устройство протокола groth16.<br />
* '''Лекция II''' (27 янв). Algebra recap: конечные группы и поля. Задача DLOG. ''Гостевая лекция Димы Трушина'': проективные пространства.<br />
* '''Семинар II''' (27 янв). Фреймворк Circom: установка, принципы работы, примеры.<br />
* '''Лекция III''' (3 фев). ''Гостевая лекция Димы Трушина'': определение и внутреннее устройство эллиптических кривых над полем.<br />
* '''Семинар III''' (3 фев). Работа во фреймворке Circom, часть II.<br />
* '''Лекция IV''' (10 фев). ''Гостевая лекция Димы Трушина'': точки на эллиптической кривой как группа. Простые схемы шифрования над криптографическими группами.<br />
* '''Семинар IV''' (10 фев). Tornado Cash.<br />
* '''Лекция V''' (17 фев). Консультация к домашним заданиям 1,3. Расширения Галуа. [https://miro.com/app/board/uXjVG_Jnrws=/?share_link_id=932088985657 Конспект].<br />
* '''Семинар V''' (17 фев). Railgun.<br />
* '''Лекция VI''' (3 мар). Подгруппы кручения эллиптических кривых. Типы пейрингов. [https://miro.com/app/board/uXjVG4YdFRQ=/?share_link_id=971923944989 Конспект].<br />
* '''Семинар VI''' (3 мар). Plonk. Halo2.<br />
* '''Лекция VII''' (10 мар). TBA. [ Конспект].<br />
* '''Семинар VII''' (10 мар). TBA.<br />
* '''Лекция VIII''' (17 мар). TBA. [ Конспект].<br />
* '''Семинар VIII''' (17 мар). TBA.<br />
<br />
=== Домашние задания ===<br />
<br />
* [https://classroom.google.com/c/ODE4OTAwNjk0NzA5?cjc=iwer6rw3 Домашнее задание 1 (теоретическое)]. Дедлайн '''17 февраля в 23:59'''. [https://drive.google.com/file/d/1PPPwnrStgXWMxnlxGE5iEr4nmO3tucj3/view?usp=drive_link Условие]. [https://drive.google.com/file/d/18a-3c_dWtt85nCbVB7WSJmZgXaHcxHQH/view?usp=drive_link Исходник].<br />
* [https://classroom.github.com/a/bqSBIv4Y Домашнее задание 2 (практическое)]. Дедлайн '''1 марта в 23:59'''.<br />
* [https://classroom.google.com/c/ODE4OTAwNjk0NzA5/a/ODQ0OTY4NDk3MjM4/details Домашнее задание 3 (теоретическое)]. Дедлайн '''8 марта в 23:59'''. [https://drive.google.com/file/d/14smx4T6wDCLb9cvscWJJDICWJZC9C8Fb/view?usp=drive_link Условие]. [https://drive.google.com/file/d/1DktitI-WSEsPZUo6CvnUqdJcIMJUfb0l/view?usp=drive_link Исходник].<br />
* [ Домашнее задание 4]. Дедлайн '''TBA'''.<br />
* [ Домашнее задание 5]. Дедлайн '''TBA'''.<br />
<br />
Условия теоретических домашних заданий скомпилированы с помощью pdfLaTeX.<br />
<br />
=== Оценивание ===<br />
<br />
Итог = Округление(1/5 * ДЗ-1 + 1/5 * ДЗ-2 + 1/5 * ДЗ-3 + 1/5 * ДЗ-4 + 1/5 * ДЗ-5),<br />
<br />
где ДЗ-n – оценка за домашнее задание n.<br />
<br />
Округление арифметическое.<br />
<br />
== Литература ==<br />
<br />
=== Основная литература ===<br />
<br />
# Thomas Chen, Hui Li, Teeramet Kunpittaya, and Alan Luo - A Review of zk-SNARKs<br />
# 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<br />
# Craig Costello - Pairings for Beginners<br />
<br />
=== Дополнительная литература ===<br />
<br />
# Maksym Petkus – Why and How zk-SNARK Works: Definitive Explanation<br />
# Ariel Gabizon, Zachary J. Williamson, Oana Ciobotaru – PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge<br />
# Tim Dokchitser, Alexandr Bulkin – Zero Knowledge Virtual Machine step by step<br />
# Joseph H. Silverman - The Arithmetic of Elliptic Curves</div>
imported>TurtlePU