Proofs, Arguments, and Zero-Knowledge读书笔记-- 2024年5月8日星期三（Day 3，P20-P28）

Proofs, Arguments, and Zero-Knowledge读书笔记
2024年5月8日星期三（Day 3，P20-P28）：
1.Lagrange basis polynomials:

2. Establishing uniqueness：
3. Specifying a polynomial via evaluations vs. coefficients：
举例：

Chapter 3 Definitions and Technical Preliminaries
3.1 Interactive Proofs：

1. Given a function f mapping { 0 , 1 } n \{0,1\}^n { 0,1}n to a finite range Ra， k-message interactive proof system (IP) for $f$ consists of a probabilistic verifier algorithm $V$ running in time poly( n n