加入我们，参与一场富有洞见的炉边谈话，对话@aztecnetwork 的软件工程师 @mjdklein，我们将深入探讨 @NoirLang 编程语言——Aztec Network 的关键组成部分。

由 @VeridiseInc 的 @FormallyJon 主持。

时间戳：
00:00 - 介绍：Aztec & Noir language
00:57 -  为什么 Aztec 构建了自己的 ZK language
02:22  - Noir 概述及其开发者体验
03:20  - Noir 与其他 ZK DSLs 的比较
04:33  - 无约束函数
06:19  - Noir 提供的其他 zk DSLs 没有的功能
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 电路与 zkVMs 在隐私方面的比较
28:16  -  本地证明系统与证明网络
29:36  -  开发人员如何评估 SMT solvers 是否适合他们