你是否一直在研究ZK并想要得到你的问题的答案？ 加入即将举行的电话会议，直接与实现这一切的团队对话！ 链接在下。

Uniswap V3 系列继续： 真实储备及其计算方法 在自动做市商（AMM）中，当代币在交换过程中进出池时，价格会发生变化。 一个代币的真实储备就是交易者必须交换的该代币数量，以使价格达到下一个刻度。 x 的真实储备是达到上刻度所需交换的代币 x 的数量，而 y 的真实储备是达到下刻度所需交换的代币 y 的数量。 你可能通过 "翻译" Uniswap V2 曲线直到它交叉 x 轴和 y 轴来学习如何计算真实储备——然后进行一些多步代数运算。 我们提出了一种更简单的推导方法！ 而且它有漂亮的图片和动画。 在我们最新的博客文章中了解更多。 我们很高兴能简化这一过程。

我们很自豪地宣布推出 RareCode .ai 现代人工智能在解释代码方面做得很好。 然而，学习来自编写代码。 所以我们将两者结合起来。 了解更多信息 👇

如果你想真正学习 ZK，你应该从头实现这些算法。 《ZK 书》将帮助数十名工程师完成这段旅程。

@RareSkills_io 零知识书 |M1·C1 如果你能证明你知道一个解决方案而不透露它会怎样？ 了解 P 与 NP 如何使零知识证明成为可能。 👇 让我们来揭开它 🧵

我们为能成为这段旅程的一部分而感到自豪！

新博客文章已发布： Circle FFT — 第1部分：构建圆域 在零知识证明中，数学通常是在有限域中进行的，这是一个加法群。 但一种特殊的优化是使用圆作为群域。 一个圆是满足 x² + y² = 1 mod p 的一对元素 (x, y)。 本文展示了如何将这一组点转化为一个群，同时具备执行 FFT 算法（以及扩展的 STARK 算法）所需的属性。 作者 @cabrio_yugo，获得了 zkBankai 的资助以创作此作品。 链接在回复中

Vyper 办公时间将在稍后两个多小时内开始。 准备好进行另一次编译器深度探讨，我们将探索： - Venom IR（中间表示） - 优化策略 - 安全保障 在回复中邀请他人参与。

当我们在一年多前发布《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简介”章节中。 像往常一样，这些材料完全免费，无需登录即可访问。

刚开始你的审计之旅？ 我们创建了一个新的学习资源：Buggy ERC-20s Buggy ERC-20s 是一个包含 20 个（是的，这是故意的）ERC-20 合约实现的仓库，但带有一个漏洞。 我们尽可能地让这些漏洞反映开发人员实际会犯的错误。 这是我们在 Solidity 训练营中使用的学习练习，但正如你所知，我们的所有学习资源都是免费的。 你将提高发现遗漏行、编译但行为不正确的代码以及重要边界情况的能力。 这不是一个普通的 CTF，我们不提供单元测试来检查你的答案，因为这不现实。你将不得不以审计员通常的方式解决这些问题！ 我们制作了一个相当大的问题集合，因为我们希望你在练习中获得一些重复。练习不是一次性完成的。虽然代币之间有一些相似的漏洞，但没有一个仓库有相同的漏洞。每个仓库都有一个漏洞，并且漏洞是严重的而非假设的。有些漏洞很明显，有些则很微妙。 认为自己有经验？那么你应该能在不到一分钟的时间内发现每个代码库中的漏洞。 跳入审计一个大型代码库可能会让人望而生畏，所以我们将其作为一个垫脚石。 这个仓库由 @degenshaker 创建。链接随后。