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 t… Celý popis ↓
Porovnanie cien Proofs, Arguments, and Zero-Knowledge Thaler Justin
Popis 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
Podobné produkty
Proofs and Theories
Proofs and Fundamentals
Philosophical Problems and Arguments
Proofs and Refutations - Lakatos Imre
Proofs and Theories Gleuck LouisePaperback
Knowledge Assets and Knowledge Audits
Problems and Proofs in Real Analysis
Knowledge and Its Limits
Tacit and Explicit Knowledge
