隐私应用

Noir 编程和零知识电路完整课程

视频 AI 总结： 该视频是关于使用 Noir 编程语言构建零知识电路的课程介绍。Kira Nightingale 介绍了课程内容，包括使用 Noir 构建 ZK 证明，并在链上和链下验证这些证明，从而构建完整的 ZK 应用程序。她还强调了在 Cypher 和 Updraft 平台上观看课程的优势，例如知识测验、模块化课程结构、书面课程和搜索功能。 关键信息： * 课程目标是帮助开发者构建隐私应用程序，无需深入了解复杂的数学或密码学原理。 * 课程假设学员已具备零知识证明、电路、witness、claim、statement、约束以及 Solidity 的相关知识。 * Noir 是一种由 Aztec 团队开发的编程语言，用于构建 ZK 证明并进行链上和链下验证。 * Noir 仍在 Beta 阶段，不建议用于生产环境。 * 课程将涵盖 Noir 的安装、电路编写、编译、执行、witness 生成、证明生成以及链上和链下验证。 * 课程还将介绍如何使用 Noir.js 构建前端应用程序和 JavaScript 脚本，并构建端到端应用程序。 * 课程代码仓库包含课程信息、资源、以及每个部分的课程分解和相关代码。 * 建议在 Cypher 和 Updraft 观看，以获得更好的学习体验。 * Noir 编译成 ACIR（算术电路中间表示），使其适用于不同的后端和证明系统。 * Nargo 是一个 CLI 工具，用于编译和执行 Noir 电路，类似于 Foundry 对于 Solidity。 * Baratenberg 是一个后端，用于生成和验证证明，并生成 Solidity 验证器智能合约。 * 课程将构建一个简单的 ZK 项目，从头开始构建电路，编译、执行、生成 witness、生成证明并验证该证明。 * 课程将演示如何使用依赖项来验证链下签名，并使用 Solidity 验证器智能合约在链上验证该证明。 * 课程将构建一个 ZK 游戏，并演示如何使用 aztec noir js 和 bbjs javascript 包从前端创建证明和验证这些证明。 * 课程将构建一个货币混合器，并打破从存款人到提款人的资金流动。