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

由 @VeridiseInc 的 @FormallyJon 主持。

时间戳：
0:00 – 介绍：Aztec 和 Noir language
0:57 – 为什么 Aztec 构建了自己的 ZK language
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 求解器）注意事项
19:18 – 开发人员可能无意中引入的错误类型
21:18 – 熵如何导致隐私泄露
23:35 – Noir 中内置的用于防止此类问题的保护措施
24:50 – 此类漏洞的常见程度
26:13 – Noir 电路与 zkVM 在隐私方面的比较
28:16 – 本地证明系统与证明网络
29:36 – 开发人员如何评估 SMT 求解器是否适合他们