你是否一直在研究ZK並想要得到你的問題的答案？ 加入即將舉行的電話會議，直接與實現這一切的團隊對話！ 鏈接在下。

Uniswap V3 系列繼續： 真實儲備及其計算方法 在自動做市商（AMM）中，當代幣在交換過程中進出池時，價格會發生變化。 一個代幣的真實儲備就是交易者必須交換的該代幣數量，以使價格達到下一個刻度。 x 的真實儲備是達到上刻度所需交換的代幣 x 的數量，而 y 的真實儲備是達到下刻度所需交換的代幣 y 的數量。 你可能通過 "翻譯" Uniswap V2 曲線直到它交叉 x 軸和 y 軸來學習如何計算真實儲備——然後進行一些多步代數運算。 我們提出了一種更簡單的推導方法！ 而且它有漂亮的圖片和動畫。 在我們最新的博客文章中了解更多。 我們很高興能簡化這一過程。

我們很自豪地宣布推出 RareCode .ai 現代人工智慧在解釋程式碼方面做得很好。 然而，學習來自於編寫程式碼。 所以我們將兩者結合起來。 瞭解詳情 👇

如果你想真正學習 ZK，你應該從頭開始實現演算法。 ZK Book 將幫助數十名工程師完成了這一旅程。

@RareSkills_io 零知識書 |M1·C1 如果你能證明你知道一個解決方案，但卻從未透露它呢？ 了解 P 與 NP 如何使零知識證明成為可能。 👇 讓我們來揭開它 🧵

我們很自豪能成為這段旅程的一部分！

新的部落格文章已經發佈： Circle FFT — 第 1 部分：構建 Circle 域 ZK 中的數學通常是在有限域中完成的，該有限域是一組加法。 但是一個特殊的優化是使用一個圓作為組域。 圓是一對滿足 x² + y² = 1 mod p 的元素 （x， y）。 本文展示了如何將這組點轉換為一個組，同時還具有執行 FFT 演算法（以及擴展的 STARK 演算法）所需的屬性。 由 @cabrio_yugo 撰寫，他獲得了 zkBankai 的資助來創作這項工作。 回復中的連結

Vyper 的辦公時間在 2 個多小時後進行。 準備好進行另一次編譯器深入探討，我們將探索： - Venom IR（中間表示） - 優化策略 - 安全保證 在回復中邀請。

一年多前，當我們發佈 ZK Book 時，我們使 ZK 教育領域向前邁出了一大步。 我們的書開創了「剛好足夠的數學」來學習 ZK 的方法。 今天，我們再次為 ZK Book 增添了新的內容。 “Circom 和約束設計模式” 這個新部分重點介紹如何設計、創建和審計重要的 ZK 電路。 你可能已經看過很多關於如何證明你知道使用 Circom 對多項式求值的教程。 但是，您如何從那裡開始設計 ZKVM 或證明您了解傳統哈希函數（如 MD5 或 Keccak256）的原理呢？ 我們 ZK Book 的新部分將帶您踏上從乘法到數位的旅程，以： - 從頭開始構建 ZKVM - MD5 哈希函數的編碼約束 - 學習 Constraint Design 中反覆出現的設計模式 最後一部分很有趣，因為一些已建立的 「設計模式」 甚至沒有它們的名稱。我們得發明一些術語！ 像往常一樣，我們非常仔細地考慮如何向讀者介紹新想法，以避免讓新人不知所措。我們很小心地確保我們以合理的順序和大量示例教授先決條件。 每一章都展示了如何為日益複雜的應用程式構建電路。在每一章中，您都會複習之前學到的知識並學習新的設計模式。 一旦你構建了這些設計模式的集合，你就可以將它們組合在一起以構建更複雜的應用程式，比如 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 的工作原理即可閱讀本書的這一部分，但有一些先決條件。這些在 「Introduction to Circom」 一章中列出。 像往常一樣，該材料是完全免費的，無需登錄。

在您的審計之旅的早期？ 我們創建了一個新的學習資源：Buggy ERC-20s 有缺陷的 ERC-20s 是一個包含 20 個（是的，這是故意的）ERC-20 合約實現的存儲庫，但有一個錯誤。 我們盡可能地使這些bug反映開發人員實際犯的錯誤類型。 這是我們在 Solidity 訓練營中使用的學習練習，但如您所知，我們所有的學習資源都是免費的。 您將銳化您的眼睛以捕捉缺失的行、編譯但行為不正確的代碼以及重要的極端情況。 這不是一個普通的 CTF，我們不提供單元測試供您檢查您的答案，因為這不現實。您必須像審計師通常那樣解決問題！ 我們收集了相當多的問題，因為我們希望您在練習中得到一些重複。練習不是一勞永逸的。儘管令牌之間存在一些類似的bug，但沒有任何存儲庫具有相同的bug。每個倉庫都有一個bug，而且bug很嚴重，不是假設的。有些 bug 是明顯的，有些是微妙的。 認為自己經驗豐富？然後，您應該能夠在不到一分鐘的時間內發現每個代碼庫的錯誤。 跳入審計大型代碼庫可能會令人生畏，因此我們將其作為墊腳石。 此儲存庫由 @degenshaker 創建。連結下一步。