Zde je třetí díl našeho seriálu o vícerozměrném protokolu Sumcheck: kompaktní průvodce snížením skutečných omezení protokolu pro sumcheck: V tomto vydání se zabýváme ZeroCheck pro mizející aserce, Rational Sumcheck pro dělení/racionální relace, vícemnožinovou rovností a permutací pomocí logaritmicko-derivačních identit a argumentem vyhledávání LogUp - každý z nich je vázán na praktické použití v nastavení Plonk/HyperPlonk/Halo2 a zkVM.