Ú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:
0:00 – Introducción: Aztec y el lenguaje Noir
0:57 – Por qué Aztec construyó su propio lenguaje ZK
2:22 – Descripción general de Noir y su experiencia de desarrollador
3:20 – Cómo se compara Noir con otros ZK DSL
4:33 – Funciones no restringidas
6:19 – Qué ofrece Noir que otros zk DSL no ofrecen
7:00 – Herramientas que faltan actualmente en Noir
8:24 – Cómo podría evolucionar el ecosistema Noir y nuevas herramientas
9: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 de verificación formal (solucionadores 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 zkVM 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 solucionadores SMT son adecuados para ellos