linear-time sumcheck protocol for multilinear polynomials and related addends - View it on GitHub