Generalizing Sum Check protocol and counting the triangles

Generalizing the Sum-Check protocol to arbitrary polynomials and applying it to the graph triangle counting problem in Rust.

Implementing Sum Check protocol in Rust

A walkthrough of implementing the Sum-Check interactive proof protocol from Thaler's book in Rust.

Evaluating multilinear extensions with Rust

Implementing multilinear extension evaluation algorithms from Proofs, Arguments and Zero-Knowledge Chapter 3 in Rust.