This is an Sagemath implementation of the optimizations in the Speeding Up Sum-Check Proving paper by Suyash Bagad and Quang Dao and Yuval Domb and Justin Thaler.
Disclaimer: This code is not optimized for performance and only serves illustrative purposes of how the algorithms work.
Warning: This codebase is experimental research code. It has not undergone hardening or security review and must not be used in production systems or in any setting where safety and correctness are critical.
sage sumcheck_algo1.sageThis codebase is licensed under the MIT License. See the LICENSE file for details.