加入我们，参与一场富有洞见的炉边谈话，对话嘉宾是@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 circuits与zkVMs在隐私方面的比较
28:16  - 本地证明系统与证明网络
29:36  -  开发人员如何评估SMT solvers是否适合他们