The Protocol
Exploring the GKR prover, verifier and creating a SNARK of this interactive protocol (making this succinct using polynomial commitment schemes)
Understanding the GKR protocol
Here is an article explain the GKR protocol in depth
Creating a SNARK off the GKR protocol
With the introduction of a Multilinear polynomial commitment scheme, the GKR protocol can be made succinct, creating a SNARK.
Last updated