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

由 @VeridiseInc 的 @FormallyJon 主持。

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