Proofs, Arguments, and Zero-Knowledge读书笔记 --2024年5月7日星期二（Day 2，P11-P19）

Proofs, Arguments, and Zero-Knowledge笔记
2024年5月7日星期二（Day 2，P11-P19）：

1. MIP（Multi-Prover Interactive Proofs）：（1）具有多个证明者；（2）证明者不能向彼此分享从验证者那接受到的挑战。缺点：大多数加密设置中并不直接有用。实际应用中，无法强迫证明者之间不进行通信。
2. PCP（probabilistically checkable proof）：PCP仅需要阅读PCP的几个字符，但PCP的直接实现将需要证明者传输整个证明给验证者。
   Chapter 2 ：The Power of Randomness: Fingerprinting and Freivalds’ Algorithm
   2.1 Reed-Solomon Fingerprinting
3. 素数 p ≥ { n 2 } p\ge \{n^2\} p≥{ n2}，$F_q$是模$p$的整数集合。问：为什么$p$的选择必须大于$n^2$。回答：确保协议的错误率（error probabilities）小于$n/p$，并希望错误率的上界（小于等于）是 1 / n