Zero Knowledge Proofs, Blockchain, Cryptography, Interactive Proof, Sum Check Protocol.
In computational complexity theory, an interactive proof system is an abstract machine that models computation as exchanging messages between two parties: a prover and a verifier. The parties interact by exchanging messages to ascertain whether a given string belongs to a language. The prover