Join us for an insightful fireside chat with @mjdklein, a software engineer at @aztecnetwork, as we dive deep into the @NoirLang programming language—a key component of the Aztec Network.

Hosted by @FormallyJon from @VeridiseInc.

Timestamps:
0:00 - Introduction: Aztec & Noir language
0:57 - Why Aztec built its own ZK language
2:22 - Overview of Noir and its developer experience
3:20 - How Noir compares to other ZK DSLs
4:33 - Unconstrained functions
6:19 - What Noir offers that other zk DSLs don’t
7:00 - Tools that are currently missing in Noir
8:24 - How the Noir ecosystem might evolve & new tools
9: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