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
0:57 – Por que a Aztec construiu sua própria linguagem ZK
2:22 – Visão geral do Noir e sua experiência de desenvolvedor
3:20 – Como o Noir se compara a outras ZK DSLs
4:33 – Funções não restritas
6:19 – O que o Noir oferece que outras zk DSLs não oferecem
7:00 – Ferramentas que estão atualmente faltando no Noir
8:24 – Como o ecossistema Noir pode evoluir e novas ferramentas
9:19 – Metaprogramação em Noir e o que ela permite
11:28 – Melhoria da concisão e metaprogramação
13:56 – Quem pode usar o Noir e se ele 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 desenvolvedores 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 desenvolvedores podem avaliar se os solvers SMT são adequados para eles