Sumcheck Protocol in Go

This repository contains the Go implementation of the Sumcheck protocol, a cryptographic algorithm designed for verifying properties over polynomials. The code consists of several components, including:

Prover: Handles the generation and caching of polynomial computations.

Verifier: Conducts verification checks based on the Prover's outputs.

SumcheckProtocol: Orchestrates the interaction between the Prover and Verifier, advancing through rounds of verification.

Utility functions: Such as ToBits for binary conversion and padding.

Usage

To run the tests and see the protocol in action, execute:

./run.sh

This repository demonstrates a practical application of cryptographic principles in Go, offering a structured approach to implementing the Sumcheck protocol.

WARNING !

DO NOT USE THIS CODE IN PRODUCTION. THIS IS ONLY FOR EDUCATIONAL PURPOSE AND CAN BE PRONE TO VULNERABILITIES.

References:

• Interactive Proof lecture by Justin Thaler Link