This monograph is about verifiable computing (VC).
This monograph covers these approaches in a unified manner, emphasizing commonalities between them..
There are now no fewer than five promising approaches to designing efficient, general-purpose Zero-Knowledge arguments.
This has opened new doors in the design of cryptographic systems, and generated additional insights into the power of IPs and Arguments (Zero-Knowledge or otherwise).
Within the last decade, general-purpose Zero-Knowledge Arguments have made the jump from theory to practice.
Zero-Knowledge Arguments have a myriad of applications in cryptography.
What is more, any argument can in principle be transformed into one that is zero-knowledge, which means that Proofs reveal no information other than their own validity.
Celebrated theoretical results from the 1980s and 1990s, such as IP = PSPACE and MIP = NEXP showed that, in principle, surprisingly complicated statements can be verified efficiently.
To an extent, these notions mimic in-person interactions that mathematicians use to convince each other that a claim is true, without going through the painstaking process of writing out and checking a traditional static proof.
Arguments (but not IPs) even permit there to be Proofs of false statements, so long as those Proofs require exorbitant computational power to find.
In contrast, IPs allow for interaction between prover and verifier, as well as a tiny but nonzero probability that an invalid proof passes verification.
Traditionally, a proof is a static object that can be easily checked step-by-step for correctness.
Introduced in the 1980s, IPs and Arguments represented a major conceptual expansion of what constitutes a proof that a statement is true.
Informally, what we mean by a proof is anything that convinces someone that a statement is true, and a proof system is any procedure that decides what is and is not a convincing proof.
This monograph covers different notions of mathematical Proofs and their applications in computer science and cryptography.
VC refers to cryptographic protocols called interactive Proofs (IPs) and Arguments that enable a prover to provide a guarantee to a verifier that the prover performed a requested computation correctly.
This monograph is about verifiable computing (VC)
