2026-09-01 Algorithms for the Sum-check Protocol