Sum-check protocol

A sum-check protocol is a cryptographic protocol for the construction of interactive proof systems, used widely in zero-knowledge protocols.