Присоединяйтесь к нам для содержательной беседы у камина с @mjdklein, инженером-программистом в @aztecnetwork, где мы глубоко погрузимся в язык программирования @NoirLang — ключевой компонент Aztec Network.

Ведущий: @FormallyJon из @VeridiseInc.

Таймкоды:
0:00 – Введение: Aztec & Noir language
0:57 – Почему Aztec разработала свой собственный ZK язык
2:22 – Обзор Noir и его опыт разработки
3:20 – Сравнение Noir с другими ZK DSL
4:33 – Неограниченные функции
6:19 – Что Noir предлагает, чего нет в других zk DSL
7:00 – Инструменты, которых в настоящее время не хватает в Noir
8:24 – Как может развиваться экосистема Noir и новые инструменты
9:19 – Метапрограммирование в Noir и что оно дает
11:28 – Улучшенная лаконичность и метапрограммирование
13:56 – Кто может использовать Noir и привязан ли он к Aztec
15:17 – Типы уязвимостей, которые в первую очередь беспокоят
17:15 – Работа, проделанная для обеспечения валидности проходов оптимизации
18:20 – Соображения по формальной верификации (SMT solvers)
19:18 – Типы ошибок, которые разработчики могут непреднамеренно внести
21:18 – Как энтропия может привести к утечкам конфиденциальности
23:35 – Ограничители, встроенные в Noir для предотвращения таких проблем
24:50 – Насколько распространенными могут быть такие уязвимости
26:13 – Схемы Noir против zkVM с точки зрения конфиденциальности
28:16 – Локальные системы доказательств против сетей доказательств
29:36 – Как разработчики могут оценить, подходят ли им SMT solvers