https://www.zkm.io/blog/multivariate-sumcheck-protocol
Multivariate Sumcheck Protocol
The Multivariate Sumcheck Protocol is an important PIOP (Polynomial IOP) component in zero-knowledge proofs. It mainly proves the correctness of the following...
multivariateprotocol
https://jolt.a16zcrypto.com/how/optimizations/batched-sumcheck.html
Batched sumcheck - JoltBook
batched