Integrate redesigned Efficient Sumcheck#24

z-tech merged 7 commits into

maincompsec-epfl/warp:mainfrom

z-tech/fresh-effsccompsec-epfl/warp:z-tech/fresh-effscCopy head branch name to clipboard