diff --git a/src/plonk-intro-cn/plonk-constraints.md b/src/plonk-intro-cn/plonk-constraints.md index 64bf755..895cb76 100644 --- a/src/plonk-intro-cn/plonk-constraints.md +++ b/src/plonk-intro-cn/plonk-constraints.md @@ -250,7 +250,7 @@ $$ 其中 $k_i$ 为互相不等的二次非剩余。 $$ -{id_a}(X) = X, \quad {id_b}(X) = k_1\cdot X, \quad {id_a}(X) = k_2\cdot X +{id_a}(X) = X, \quad {id_b}(X) = k_1\cdot X, \quad {id_c}(X) = k_2\cdot X $$ 这样一来,这三个多项式被大大简化,它们在 $X=\zeta$ 处的计算轻而易举,可以直接由 Verifier 完成。 diff --git a/src/plonk-intro-cn/plonk-polycom.md b/src/plonk-intro-cn/plonk-polycom.md index 36af865..cb8b873 100644 --- a/src/plonk-intro-cn/plonk-polycom.md +++ b/src/plonk-intro-cn/plonk-polycom.md @@ -34,7 +34,7 @@ $$ C_1 = \textrm{SHA256}(a_0\parallel a_1 \parallel a_2 \parallel \cdots \parallel a_n) $$ -或者,我们也可以使用 Petersen 承诺,通过一组随机选择的基,来计算一个 ECC 点: +或者,我们也可以使用 Pedersen 承诺,通过一组随机选择的基,来计算一个 ECC 点: $$ C_2 = a_0 G_0 + a_1 G_1 + \cdots + a_n G_n diff --git a/src/plonk-intro-cn/plonk-randomizing.md b/src/plonk-intro-cn/plonk-randomizing.md index 4be1996..9e5489a 100644 --- a/src/plonk-intro-cn/plonk-randomizing.md +++ b/src/plonk-intro-cn/plonk-randomizing.md @@ -230,7 +230,7 @@ srs=\left( [1]_1, & [\chi]_1, & [\chi^2]_1, &\cdots, & [\chi^D]_1,\\ [\rho]_1, & [\rho\chi]_1, & [\rho\chi^2]_1, &\cdots, & [\rho\chi^D]_1,\\ \end{array} - \right),([1]_1, [\rho]_1,[1]_1,[\chi]_2) + \right),([1]_2, [\rho]_2,[1]_2,[\chi]_2) $$ 如果我们要承诺一个多项式 $f(X)=f_0+f_1X+\cdots+f_{n-1}X^{n-1}$,那么需要额外产生一个次数相同的 Blinder 多项式: