Understanding Interactive Proof Systems and Sum Check Protocol: Part 1
In computational complexity theory, an interactive proof system is an abstract machine that models...
Tags: cryptography, sumcheck, zk