Zero Knowledge Proofs, Blockchain, Cryptography, Interactive Proof, Sum Check Protocol.
2 things: 1. Does S₁ equals H₁ 2. Even if S₁ equals H₁, is that consistent with try answer C₁. Verifier checks 1. C₁ = S₁(0) + S₁(1) where F ∈{0,1} 2. Now to check S₁ and H₁, verifier simply checks if S₁ and H₁ agrees at a random point r₁. S₁ is easy to calculate at r₁ since the prover explicitly