これは、多変量 Sumcheck プロトコルに関するシリーズの第 3 回目です: 実際のプロトコルの制約を sumcheck に減らすためのコンパクト ガイドです。 この版では、消失するアサーションの ZeroCheck、除算/有理関係の Rational Sumcheck、対数微分 ID による多集合等価性と順列チェック、および LogUp ルックアップ引数 (それぞれを Plonk/HyperPlonk/Halo2 および zkVM 設定での実用化に結び付けます) について説明します。