GKR prover can be run with circuit, function $D$ that is claimed to equal $W_0$, and returns proof.
GKR verifier can be run with circuit, proof, z.
Integrated sumcheck protocol is implemented.
TODO
For now, sumcheck is integrated with prover and verifier.
To get sumcheck proof, it should be separate. With this, structure of GKR proof should be fixed.
Current status
GKR prover can be run with circuit, function $D$ that is claimed to equal $W_0$, and returns proof.
GKR verifier can be run with circuit, proof, z.
Integrated sumcheck protocol is implemented.
TODO
For now, sumcheck is integrated with prover and verifier. To get sumcheck proof, it should be separate. With this, structure of GKR proof should be fixed.
[x] Implement
verify_sumcheck
,prove_sumcheck
[x] Define GKR proof structure