Общ. рыноч. кап.:$00
API
RU
Тёмный

ПоискSSI/Mag7/Meme/ETF/Монета/Индекс/Графики/Исследования
00:00 / 00:00
Вид
    Рынки
    Индексы
    Лента
    TokenBar®
    Анализ
    Макрос
    Список наблюдения
Поделится
VeridiseInc

Присоединяйтесь к нашей содержательной беседе у камина с @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

Все, что вам нужно знать за 10 секунд
УсловияПолитика конфиденциальностиБелая книгаОфициальная проверкаCookieБлог
sha512-gmb+mMXJiXiv+eWvJ2SAkPYdcx2jn05V/UFSemmQN07Xzi5pn0QhnS09TkRj2IZm/UnUmYV4tRTVwvHiHwY2BQ==
sha512-kYWj302xPe4RCV/dCeCy7bQu1jhBWhkeFeDJid4V8+5qSzhayXq80dsq8c+0s7YFQKiUUIWvHNzduvFJAPANWA==