Implementation of the sum check protocol - View it on GitHub