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:
00:00 - Introduction: Aztec & Noir language
00:57 -  Why Aztec built its own ZK language
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