Únase a nosotros para una charla amena e informativa con @mjdklein, ingeniero de software en @aztecnetwork, mientras profundizamos en el lenguaje de programación @NoirLang, un componente clave de Aztec Network.

Presentado por @FormallyJon de @VeridiseInc.

Marcas de tiempo:
00:00 - Introducción: Aztec y el lenguaje Noir
00:57 - Por qué Aztec construyó su propio lenguaje ZK
02:22 - Descripción general de Noir y su experiencia para desarrolladores
03:20 - Cómo se compara Noir con otros ZK DSLs
04:33 - Funciones no restringidas
06:19 - Qué ofrece Noir que otros zk DSLs no ofrecen
07:00 - Herramientas que faltan actualmente en Noir
08:24 - Cómo podría evolucionar el ecosistema de Noir y nuevas herramientas
09:19 - Metaprogramación en Noir y lo que permite
11:28 - Mayor concisión y metaprogramación
13:56 - Quién puede usar Noir y si está ligado a Aztec
15:17 - Los tipos de vulnerabilidades que son prioritarias
17:15 - Trabajo realizado para garantizar que los pases de optimización sean válidos
18:20 - Consideraciones sobre la verificación formal (solvers SMT)
19:18 - Tipos de errores que los desarrolladores pueden introducir sin querer
21:18 - Cómo la entropía podría provocar fugas de privacidad
23:35 - Protecciones integradas en Noir para evitar tales problemas
24:50 - Cuán comunes podrían ser tales vulnerabilidades
26:13 - Circuitos Noir vs zkVMs en términos de privacidad
28:16 - Sistemas de prueba locales vs. redes de prueba
29:36 - Cómo los desarrolladores pueden evaluar si los solvers SMT son adecuados para ellos