Zero Knowledge Proofs, Blockchain, Cryptography, Interactive Proof, Sum Check Protocol.
the value of g(..) directly. Final Step: The prover sends a univariate polynomial to the verifier. The verifier checks this final polynomial at a random point to confirm the prover’s claim. Properties: Soundness: If the prover’s original claim about S is false, then with high probability, they will