Hier ist der dritte Teil unserer Reihe über das Multivariate Sumcheck-Protokoll: ein kompakter Leitfaden zur Reduzierung realer Protokollbeschränkungen auf Sumcheck: In dieser Ausgabe behandeln wir ZeroCheck für verschwindende Behauptungen, Rational Sumcheck für Division/rationale Beziehungen, Multimengen-Gleichheit und Permutationsprüfungen über logarithmisch-derivative Identitäten sowie das LogUp-Lookup-Argument - und verknüpfen alles mit praktischen Anwendungen in Plonk/HyperPlonk/Halo2 und zkVM-Einstellungen.