The Protocol

Exploring the GKR prover, verifier and creating a SNARK of this interactive protocol (making this succinct using polynomial commitment schemes)