加入我們，與 @aztecnetwork 的軟體工程師 @mjdklein 進行一場富有洞察力的爐邊談話，深入探討 @NoirLang 程式語言——Aztec Network 的一個關鍵組成部分。

由 @VeridiseInc 的 @FormallyJon 主持。

時間戳記：
00:00 - 介紹：Aztec & Noir language
00:57 -  為什麼 Aztec 建立了自己的 ZK 語言
02:22  - Noir 概述及其開發者體驗
03:20  - Noir 與其他 ZK DSL 的比較
04:33  - Unconstrained functions
06:19  - Noir 提供的其他 zk DSL 沒有的功能
07:00  -  Noir 目前缺少的工具
08:24  - Noir 生態系統可能如何發展 & 新工具
09:19  -  Noir 中的 Metaprogramming 及其實現的功能
11:28  -  提高簡潔性 & metaprogramming
13:56  -  誰可以使用 Noir 以及它是否與 Aztec 相關
15:17  -  最重要的漏洞類型
17:15  -  為確保優化過程有效所做的工作
18:20  -  Formal verification (SMT solvers) 考量
19:18  -  開發人員可能無意中引入的錯誤類型
21:18  -  熵如何導致隱私洩露
23:35  -  內建於 Noir 中的防護措施，以防止此類問題
24:50  -  此類漏洞可能有多常見
26:13  -  Noir circuits 與 zkVMs 在隱私方面的比較
28:16  -  Local proving systems 與 proving networks
29:36  -  開發人員如何評估 SMT solvers 是否適合他們