ZK Bootcamp
Приглашаем всех желающих погрузиться в Zero Knowledge принять участие в буткемпе, который пройдёт онлайн с 1 по 8 ноября. Буткемп состоит из трёх блоков, во время которых вы получите практические и теоретические знания, которое позволят в дальнейшем погрузится в эту сферу более глубоко.
1 ноября, среда
Блок 1. Строим ZK rollup Baby Roll
Спикер: Владимир Кумалагов Требования к участию: базовые знания информатики и программирования, знание одного языка программирования, ноутбук по желанию. Для кого: разработчики, которые хотят погрузиться в сферу применения ZKP и получить практические навыки.
Длительность: 1,5 часа.
Это стартовый блок, который знакомит учащегося с практическим применением ZKP, ZK Rollup через BabyRoll — обучающий проект, написанный с использованием Circom и Snarkjs, который на практике демонстрирует основные концепции ZK без погружения в сложные математические и криптографические основы
- 🔹 Что такое Zero-Knowledge Proof (ZKP) и как работает ZK Rollup простыми словами.
- 🔹 Как использовать язык Circom для написания ZK-программ: от базового синтаксиса до сборки простого rollup'а.
- 🔹 Как устроены Merkle-деревья и почему они необходимы в ZK Rollup.
- 🔹 Как генерировать ZK-доказательства, валидировать транзакции и обновлять состояние rollup-сети.
- 🔹 Какие компоненты нужны для создания минимального рабочего ZK Rollup-приложения (Merkle proofs, state updates, balance checks, подписи).
- 🔹 Что нужно улучшить в написанном rollup'е, чтобы сделать его более защищённым и масштабируемым.
6 ноября, понедельник
Блок 2. Этот загадочный Zero Knowledge Proof
Спикер: Александр Мазалецкий Требования к участию: особых нет
Для кого: всех кому интересно узнать о том, что такое ZKP и как он работает. Длительность: 1,5 часа.
В рамках этого блока:
- 🔹 Познакомимся с историей развития проколов Zero-Knowledge Proof;
- 🔹 На примере игры Sudoku разберём концепцию Zero Knowledge;
- 🔹 Три ключевых свойства любой ZKP-системы: полнота (Completeness), обоснованность (Soundness) и нулевое знание (Zero Knowledge).
- 🔹 Чем отличаются интерактивные и неинтерактивные ZKP-протоколы (Groth16, PLONK), и какие инструменты лучше использовать.
- 🔹 Примеры из реальной жизни: как доказать, что у вас есть пароль или сумма на банковском счёте, не раскрывая саму информацию.
8 ноября, среда
Блок 3. Groth # 16
Спикер: Дмитрий Никифоров
Требования к участию: базовые знания ZKP или прослушанный Блок 2, глубокие математические знания не требуются. Для кого: всех кому интересно узнать о том, как работает популярный Groth16
Длительность: 1,5 часа.
Финальный блок, на котором изучим, как работает популярный ZKP алгоритм Groth16, с математическими основами, которые лежат в основе работы Groth16.
В рамках этого блока:
- 🔹 Знакомимся с математическими определениями, которые лежат в основе Groth16 (и ZKP в целом): полином, арифметизация утверждения, теория групп и генераторов, т.д.;
- 🔹 Разбираем составляющие алгоритма Groth16;
- 🔹 Изучаем инструменты, которые используют Groth16;
- 🔹 Знакомимся со сферой применения Groth16 и отличием от других алгоритмов.
Участие бесплатное, регистрация обязательна!
