DeFi 安全 101 - 如何审计 ZK 电路？

视频 AI 总结： 该视频主要讲解了如何进入零知识证明（ZK）审计领域，并深入探讨了 ZK 的工作原理及其相关领域。演讲者强调了 ZK 的核心在于证明拥有方程组的解，并解释了如何将实际问题编码为方程组。此外，视频还讨论了 ZK 审计所需的背景知识，包括数学基础、Rust 编程、密码学算法和虚拟机架构。

关键信息：

• ZK 的本质是证明拥有方程组的解，而非简单地证明知道某些信息。
• ZK 的关键属性包括简洁性（succinctness）和零知识性（zero-knowledge）。
• 可以将实际问题（如 Sudoku 谜题）编码为方程组，并使用 ZK 证明拥有解。
• 进入 ZK 审计领域需要扎实的数学基础或丰富的安全审计经验。
• 学习 ZK 需要掌握 Rust 编程、密码学算法（如哈希函数和数字签名）以及虚拟机架构（如 MIPS 和 RISC-V）。
• 视频推荐了学习 ZK 的步骤，包括阅读 ZK 书籍、学习算术化方案、后端、框架和隐私应用。
• 强调了实践的重要性，建议通过编写代码来加深对 ZK 概念的理解。
• ZK 虚拟机（VM）的难点在于内存一致性模型。