Proofs, Arguments, and Zero-Knowledge读书笔记
2024年5月9日星期四(Day 4,P29-P30):
- 3.4 Schwartz-Zippel Lemma
注(1)For an m m m-variate polynomial g g g, the degree of a term of g g g is the sum of the exponents of the variables in the term.
举例:
g ( x 1 , x 2 ) = 7 x 1 2 x 2 + 6 x 2 4 g(x_1, x_2) = 7x_1^2x_2 +6x_2^4 g(x1,x2)=7x12x2+6x24, the degree of the term 7 x 1 2 x 2 7x_1^2x_2 7x12x2 is 3, and the degree of the term 6 x 2 4 6x_2^4 6x24 is 4. The total degree of g is the maximum of the degree of any term of g g g, which in the preceding example is 4. - Details of polynomial extensions for multivariate functions.
注:布尔超立方体是一个由所有长度为 𝑣 的 0 和 1 组成的序列集合。
举例:多变量多项式 g g g 如何作为函数 f f f 的扩展?
- Definition 3.4.:multilinear。
- unique multilinear extension (MLE)
- Lemma 3.6 (Lagrange interpolation of multilinear polynomials).
举例:(GPT举的例子,不知道对不对)