当我们在一年多前发布《ZK Book》时，我们在ZK教育领域迈出了巨大的一步。 我们的书开创了“刚好够用的数学”来学习ZK的方法。 今天，我们再次通过《ZK Book》的新内容实现了这一目标。 《Circom与约束设计模式》 这一新章节重点介绍如何设计、创建和审计复杂的ZK电路。 你可能已经看过很多关于如何使用Circom证明你知道一个多项式的评估值的教程。 但如何从这里开始设计一个ZKVM，或者证明你知道传统哈希函数（如MD5或Keccak256）的原像呢？ 《ZK Book》的新部分将带你从简单的数字相乘开始，逐步深入到： - 从零开始构建一个ZKVM - 为MD5哈希函数编写约束代码 - 学习约束设计中的常见设计模式 最后一部分非常有趣，因为一些既定的“设计模式”甚至没有名字。我们不得不创造一些术语！ 像往常一样，我们非常谨慎地向读者介绍新概念，以避免让新手感到不知所措。我们确保以合理的顺序教授必要的前置知识，并提供大量示例。 每一章都展示了如何为一个越来越复杂的应用构建电路。通过每一章，你既复习了之前学到的内容，又学习了新的设计模式。 一旦你积累了一系列这些设计模式，你就可以将它们组合起来构建更复杂的应用，比如ZKVM或复杂的哈希函数。 我们付出了巨大的努力，确保材料既易于理解又准确无误，没有任何重要遗漏。 我们要感谢@ChainLight_io、@VeridiseInc、@PrivacyScaling和@zksecurityXYZ抽出时间审阅这项工作并提供建议。 特别感谢来自@zksecurityXYZ的@marcobesier，他通过多次修订使章节达到了精致的状态。 特别鸣谢@cal_nix，他共同撰写了本书新部分的前七章！ 我们在这里讨论的主题非常基础。如果你不理解这里的内容，学习更现代的ZKVM或ZK L2客户端的内部原理将会非常具有挑战性。到目前为止，缺乏面向新手的解释这些基础概念的材料一直是ZK领域的障碍。 这部新作品不仅仅是对现有材料的“更好解释”，而是首次对这些内容进行解释——除了学术论文之外。 我们使用Circom作为教学语言，因为我们认为它对初学者最友好。然而，你在这里学到的内容可以推广到其他框架，如Plonky3、Halo2、o1js和Gnark。新文章使《ZK Book》增加了超过38,000字。 你不需要了解ZK-SNARK的工作原理就可以阅读本书的这一部分，但有一些前置知识。这些知识列在“Circom简介”章节中。 像往常一样，这些材料完全免费，无需登录即可访问。