https://www.wikicshse.ru/index.php?action=history&feed=atom&title=ZkSNARK_25
ZkSNARK 25 - История изменений
2026-06-06T14:43:43Z
История изменений этой страницы в вики
MediaWiki 1.45.3
https://www.wikicshse.ru/index.php?title=ZkSNARK_25&diff=787&oldid=prev
imported>TurtlePU: /* Лекции */
2025-03-03T11:26:24Z
<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/83311903782?pwd=zWNtbbxfijWZAlijS40IKAF0rm2AxH.1<br />
<br />
Конспекты лекций: TBD<br />
<br />
Записи лекций и семинаров: https://disk.yandex.ru/d/IoakBXz_6yygPw/%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 />
Таблица с оценками: TBD<br />
<br />
== План курса ==<br />
<br />
=== Лекции ===<br />
<br />
* '''Лекция I''' (3 фев). Определение zkSNARK. zkSNARK многочлена, делящего данный (zkPoly). [ Конспект]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%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/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%2B%D0%A1%D0%B5%D0%BC%D0%B8%D0%BD%D0%B0%D1%80%202025-02-03T11-41-54Z.mp4 Запись].<br />
* '''Лекция II''' (10 фев). Параметры протокола zkPoly. Пейринг. Эллиптические кривые. [ Конспект]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%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/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%2B%D0%A1%D0%B5%D0%BC%D0%B8%D0%BD%D0%B0%D1%80%202025-02-10T11-38-46Z.mp4 Запись].<br />
* '''Лекция III''' (17 фев). Арифметические цепи. R1CS. zkSNARK решения R1CS с публичным входом. Универсальные и не универсальные zkSNARK для систем констрейнтов. Кодирование вычислений в R1CS. [ Конспект]. [https://miro.com/app/board/uXjVIefM6no=/?share_link_id=548051629442 Доска]. [ Запись].<br />
* '''Лекция IV''' (24 фев). Эмулирование машины Тьюринга. IVC. Folding Schemes. [ Конспект]. [ Запись].<br />
* '''Лекция V''' (3 мар). TBA. [ Конспект]. [ Запись].<br />
<br />
=== Домашние задания ===<br />
<br />
* [https://classroom.google.com/c/NzUxMDUxODAzOTM3?cjc=cca3jdc Домашнее задание 1]. Дедлайн '''7 марта в 23:59'''.<br />
* [ Домашнее задание 2]. Дедлайн '''TBA'''.<br />
* [ Домашнее задание 3]. Дедлайн '''TBA'''.<br />
<br />
=== Оценивание ===<br />
<br />
Итог = Округление(1/3 * ДЗ-1 + 1/3 * ДЗ-2 + 1/3 * ДЗ-3),<br />
<br />
где ДЗ-n – оценка за домашнее задание n.<br />
<br />
Округление арифметическое.<br />
<br />
== Литература ==<br />
<br />
=== Основная литература ===<br />
<br />
# Maksym Petkus – Why and How zk-SNARK Works: Definitive Explanation<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 />
# Ariel Gabizon, Zachary J. Williamson, Oana Ciobotaru – PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge<br />
# Benedikt Bünz, Binyi Chen – Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols<br />
<br />
=== Дополнительная литература ===<br />
<br />
# Tim Dokchitser, Alexandr Bulkin – Zero Knowledge Virtual Machine step by step<br />
# Dong Pyo Chi, Jeong Woon Choi, Jeong San Kim and Taewan Kim – Lattice Based Cryptography for Beginners<br />
# 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<br />
# Rosario Gennaro, Michele Minelli, Anca Nitulescu, and Michele Orrù – Lattice-Based zk-SNARKs from Square Span Programs<br />
# Yuval Ishai, Hang Su, David J. Wu – Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices</div>
imported>TurtlePU