这是我们关于多变量求和检查协议系列的第三篇文章：一个关于将真实协议约束简化为求和检查的简明指南： 在本期中，我们涵盖了用于消失断言的零检查、用于除法/有理关系的有理求和检查、通过对数导数恒等式进行的多重集合相等性和排列检查，以及 LogUp 查找论证 - 将每个内容与 Plonk/HyperPlonk/Halo2 和 zkVM 设置中的实际应用联系起来。