這是我們關於多變量求和檢查協議系列的第三篇文章：一個關於將真實協議約束簡化為求和檢查的簡明指南： 在本期中，我們涵蓋了用於消失斷言的零檢查、用於除法/有理關係的有理求和檢查、通過對數導數恆等式進行的多重集合相等性和排列檢查，以及 LogUp 查找論證 - 將每個內容與 Plonk/HyperPlonk/Halo2 和 zkVM 設置中的實際應用聯繫起來。