فيما يلي الدفعة الثالثة من سلسلتنا حول بروتوكول Sumcheck متعدد المتغيرات: دليل مضغوط لتقليل قيود البروتوكول الحقيقية للفحص: في هذا الإصدار ، نغطي ZeroCheck للتأكيدات المتلاشية ، و Rational Sumcheck للعلاقات القسمة / العقلانية ، والمساواة متعددة المجموعات وفحوصات التقليب عبر الهويات المشتقة اللوغاريتمية ، وسيطة البحث LogUp - ربط كل منها بالاستخدام العملي في إعدادات Plonk / HyperPlonk / Halo2 و zkVM.