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

由 @VeridiseInc 的 @FormallyJon 主持。

時間戳記：
0:00 – 介紹：Aztec & Noir language
0:57 – 為什麼 Aztec 建立了自己的 ZK 語言
2:22 – Noir 概述及其開發者體驗
3:20 – Noir 與其他 ZK DSL 的比較
4:33 – 無約束函數
6:19 – Noir 提供的其他 zk DSL 沒有的功能
7:00 – Noir 中目前缺少的工具
8:24 – Noir 生態系統可能如何發展以及新工具
9: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 是否適合他們