doc: typo

[wenjin1997]

• 在理解 PLONK（四）：算术约束与拷贝约束，位置向量的优化小节中：
  公式

  $$ {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 $$

• 在理解 Plonk（五）：多项式承诺，什么是多项式承诺小节中：
  “Petersen 承诺”改为“Pedersen 承诺”

• 在理解 Plonk（六）：实现 Zero Knowledge，满足 Hiding 性质的 KZG10小节中：
  原文中，在Setup阶段，需要产生两倍长的srs：

$$ srs=\left( \begin{array}{ccccc} [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) $$

上述系统参数中至少应该有 $[1]_2$ ，因为在检查求值阶段会用到该参数 $[1]_2$ ：

$$ e(C_f - y\cdot[1]_1-y'\cdot[\rho]_1, [1]_2) \overset{?}{=} e([q(X)]_1, [\chi]_2-\zeta\cdot[1]_2) $$

为保持一致性，个人认为生成在群 $H$ 上的系统参数应该由 $([1]_1, [\rho]_1,[1]_1,[\chi]_2)$ 改为 $([1]_2, [\rho]_2,[1]_2,[\chi]_2)$。关于这点也不是特别确定后续是否会用到 $[\rho]_2$ ,不过既然是系统参数，个人认为还是应该要生成的。

如有理解不对的地方，还请指正。