Junte-se a nós para um bate-papo perspicaz 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:
00:00 - Introduction: Aztec & Noir language
00:57 - Por que a Aztec construiu sua própria linguagem ZK
02:22 - Overview of Noir and its developer experience
03:20 - How Noir compares to other ZK DSLs
04:33 - Unconstrained functions
06:19 - What Noir offers that other zk DSLs don’t
07:00 - Tools that are currently missing in Noir
08:24 - How the Noir ecosystem might evolve & new tools
09:19 - Metaprogramming in Noir and what it enables
11:28 - Improved succinctness & metaprogramming
13:56 - Who can use Noir and whether it’s tied to Aztec
15:17 - The types of vulnerabilities that are top of mind
17:15 - Work done to ensure optimization passes are valid
18:20 - Formal verification (SMT solvers) considerations
19:18 - Types of bugs devs may unintentionally introduce
21:18 - How entropy could lead to privacy leaks
23:35 - Guardrails built into Noir to prevent such issues
24:50 - How common such vulnerabilities might be
26:13 - Noir circuits vs zkVMs in terms of privacy
28:16 - Local proving systems vs. proving networks
29:36 - How devs can evaluate if SMT solvers are right for them