doc: typo

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 完成。

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

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 多项式：