Proofs, Arguments, and Zero-Knowledge Thaler Justin
Proofs, Arguments, and Zero-Knowledge Thaler Justin This monograph is about verifiable computing (VC). This monograph covers different notions of mathematical proofs and their applications in…
Specifikacia Proofs, Arguments, and Zero-Knowledge Thaler Justin
Proofs, Arguments, and Zero-Knowledge Thaler Justin
This monograph is about verifiable computing (VC). 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.
Traditionally, a proof is a static object that can be easily checked step-by-step for correctness. 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.Introduced in the 1980s, IPs and arguments represented a major conceptual expansion of what constitutes a "proof" that a statement is true. In contrast, IPs allow for interaction between prover and verifier, as well as a tiny
Proofs and Fundamentals
Proofs and Theories
Knowledge and Its Limits