Присоединяйтесь к нашей содержательной беседе у камина с @mjdklein, инженером-программистом в @aztecnetwork, где мы глубоко погрузимся в язык программирования @NoirLang — ключевой компонент Aztec Network.
Ведущий: @FormallyJon из @VeridiseInc.
Таймкоды:
00:00 - Введение: Aztec & Noir language
00:57 - Почему Aztec разработала собственный ZK язык
02:22 - Обзор Noir и опыт его разработки
03:20 - Сравнение Noir с другими ZK DSLs
04:33 - Неограниченные функции
06:19 - Что Noir предлагает, чего нет в других zk DSLs
07:00 - Инструменты, которых в настоящее время не хватает в Noir
08:24 - Как может развиваться экосистема Noir и новые инструменты
09: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 circuits и zkVMs с точки зрения конфиденциальности
28:16 - Локальные системы доказательств vs. сети доказательств
29:36 - Как разработчики могут оценить, подходят ли им SMT solvers