Sum-check Tutorial
A Jupyter notebook that has a detailed description on sum-check protocol works.
About
Sum-check protocol is one of the most important Interactive Proof for verifying the sum of a multi-variate polynomial over the Boolean Hypercube. This Jupyter notebook gives a detailed description on how the protocol works. After going through the notebook, readers will learn the inner workings and how it's performant.
How it's made
This project use Jupyter Notebook with Python. It has a mixture of markdown comments with python code. Besides simulating the protocol, it also has analysis on how sumcheck protocol is more efficient than a straight-forward naive calculation done by the verifier. These analysis are shown in graphs by using matplotlib.