与 Michael Klein 的炉边谈话：深入了解 Noir——Aztec 的 ZK 语言、安全性和工具详解

与 Michael Klein 的炉边谈话：深入了解 Noir — Aztec 的 ZK 语言、安全性和工具详解

我们邀请了 Michael Klein (Aztec 的软件工程师) 与 Jon Stephens (Veridise 的 CEO 兼联合创始人) 进行炉边谈话，讨论 Noir 编程语言，它是 Aztec 网络的核心组件。

对话涵盖了 Noir 的设计决策、开发者体验、工具生态，当然还有安全相关的主题。

我们还谈到了 Noir 与其他 ZK 领域特定语言的比较、隐私考虑、元编程、Noir 和 zkVM 之间的区别，以及形式化验证的作用。

还有一个经常被问到的问题也得到了解答：Noir 可以在 Aztec 网络之外使用吗？

请看下面的完整时间戳列表。

关于 Aztec 网络和 Noir

Aztec 是以太坊上的一个隐私优先的 Layer 2，专注于为去中心化互联网带来隐私。作为这项任务的一部分，Aztec 开发了 Noir — 一种开源的领域特定语言，用于安全无缝地构建保护隐私的零知识程序，不需要任何关于底层数学或密码学的先验知识。

YouTube

对话要点

以下是所涵盖主题的分类：

• 00:17 — 介绍：Aztec 和 Noir 编程语言
• 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 求解器) 的考虑
• 19:18 — 开发人员可能无意中引入的错误类型
• 21:18 — 熵如何导致隐私泄露
• 23:35 — Noir 中内置的用于防止此类问题的保护措施
• 24:50 — 此类漏洞可能有多常见
• 26:13 — Noir 电路与 zkVM 在隐私方面的比较
• 28:16 — 本地证明系统与证明网络
• 29:36 — 开发人员如何评估 SMT 求解器是否适合他们

了解更多

• Noir 语言: https://aztec.network/noir
• Aztec 网络: https://aztec.network/

请继续关注 Veridise 博客上更多关于零知识和区块链安全方面的炉边谈话。

想要了解更多关于 Veridise 的信息吗?

Twitter | LinkedIn | Github | Request Audit

• 原文链接： medium.com/veridise/fire...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～