Proofs, Arguments, and Zero-Knowledge读书笔记--2024年5月6日星期一（Day 1，P1-P11）

Proofs, Arguments, and Zero-Knowledge笔记
2024年5月6日星期一（Day 1，P1-P11）：

1. interactive proofs (IPs) and arguments之间区别是：arguments (but not IPs) permit the existence of “proofs” of incorrect statements, so long as those “proofs” require exorbitant computational power to find.
2. zk-SNARK: Succinct Non-interactive Arguments of Knowledge。zk-SNARK的解释：“Succinct” means that the proofs are short. “Non-interactive” means that the proof is static, consisting of a single message from the prover. “Of Knowledge” roughly means that the protocol establishes not only that a statement is true, but also that the prover knows a “witness” to the veracity of the statement.
3. Argument systems的发展包括两个阶段：（1）信息理论上的安全协议，例如：IP，multi-prover interactive proof (MIP), or probabilistically checkable proof (PCP)，他们是包含了一个或多个证明者；（2）信息理论安全协议与密码学结合，只有一个