Aqui está a terceira parte da nossa série sobre o Protocolo de Verificação Multivariada: um guia compacto para reduzir as restrições reais do protocolo a uma verificação de soma: Nesta edição, abordamos o ZeroCheck para afirmações que desaparecem, o Rational Sumcheck para relações de divisão/racionais, igualdade de multiconjuntos e verificações de permutação através de identidades de derivadas logarítmicas, e o argumento de busca LogUp - ligando cada um ao uso prático em configurações Plonk/HyperPlonk/Halo2 e zkVM.