yeah! sumcheck just proves the sum of a multilinear polynomial in all its variables, you would combine it with a PCS to make a succinct verifier

im trying to but it's not easy without having a degree