Junte-se a nós para um bate-papo esclarecedor com @mjdklein, um engenheiro de software da @aztecnetwork, enquanto mergulhamos fundo na linguagem de programação @NoirLang — um componente chave da Aztec Network.

Apresentado por @FormallyJon da @VeridiseInc.

Timestamps:
0:00 - Introdução: Aztec & Noir language
00:57 - Por que a Aztec construiu sua própria linguagem ZK
02:22 - Visão geral do Noir e sua experiência de desenvolvedor
03:20 - Como Noir se compara a outros ZK DSLs
04:33 - Funções não restritas
06:19 - O que Noir oferece que outros zk DSLs não oferecem
07:00 - Ferramentas que estão atualmente faltando no Noir
08:24 - Como o ecossistema Noir pode evoluir e novas ferramentas
09:19 - Metaprogramação em Noir e o que ela permite
11:28 - Melhoria da concisão e metaprogramação
13:56 - Quem pode usar Noir e se está vinculado à Aztec
15:17 - Os tipos de vulnerabilidades que são prioridade
17:15 - Trabalho realizado para garantir que as passagens de otimização sejam válidas
18:20 - Considerações sobre verificação formal (solvers SMT)
19:18 - Tipos de bugs que os devs podem introduzir não intencionalmente
21:18 - Como a entropia pode levar a vazamentos de privacidade
23:35 - Guardrails construídos no Noir para evitar tais problemas
24:50 - Quão comuns essas vulnerabilidades podem ser
26:13 - Circuitos Noir vs zkVMs em termos de privacidade
28:16 - Sistemas de prova locais vs. redes de prova
29:36 - Como os devs podem avaliar se os solvers SMT são adequados para eles