Tags
pazk
A (Relaxed) PCS by Merkle Trees and Low-Degree Tests
An Unnecessarily Generic Fiat-Shamir Transformation
The GKR Protocol
Efficient IP for MatMult
Generalizing Sum Check protocol and counting the triangles
Implementing Sum Check protocol in Rust
Evaluating multilinear extensions with Rust