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