Вот третья часть нашей серии о Протоколе Мультивариантной Суммы: компактное руководство по сокращению реальных ограничений протокола до суммирования: В этом выпуске мы рассматриваем ZeroCheck для исчезающих утверждений, Rational Sumcheck для деления/рациональных отношений, равенство мультисетов и проверки перестановок с помощью логарифмических производных идентичностей, а также аргумент LogUp для поиска - связывая каждое с практическим использованием в настройках Plonk/HyperPlonk/Halo2 и zkVM.