Zero Knowledge Proofs, Blockchain, Cryptography, Interactive Proof, Sum Check Protocol.
expression that H₁ to do this, by using the following relation: Round n ( Final round ) : P sends a univariate polynomial sₙ(Xn) claimed to equal: V checks that sₙ₋₁(rₙ₋₁) = sₙ(0) + sₙ(1). Also, sₙ(rₙ) = g(r₁, …, rₙ), which the verifier can easily compute since it can simply query the oracle for