sum-check-ip

This is an implementation of some Interactive Proof primitives described in the "Proofs, Arguments and Zero Knowledge" essay by Justin Thaler.

sum_check.py implements the Sum-Check Protocol described in the Chapter 4.1
mat_mult.py implements the IP for MatMult protocol (Chapter 4.4)
count_triangles implements triangle counting in a graph adjacency matrix (Chapter 4.3)

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
.gitignore		.gitignore
README.md		README.md
count_triangles.py		count_triangles.py
mat_mult.py		mat_mult.py
multilinear_lagrange.py		multilinear_lagrange.py
reduce_curve.py		reduce_curve.py
sum_check.py		sum_check.py
utils.py		utils.py

Provide feedback