Fixed typo, improved formatting

[luckyyang]

请仔细检查一下最后几行的修改，确认我的修改是否正确

修改前：

第四步：Verifier 向 $[a(X)],[b(X)],[z(X)]$ 查询 发送 $\zeta$，得到 $a(\zeta)$， $b(\zeta)$， $z(\zeta)$， $id(\zeta)$ 与 $\sigma(\omega\cdot \zeta)$， $q(\zeta)$，计算 $z_H(\zeta)$， $L_0(\zeta)$， $\sigma(\zeta)$ 与 $id(\zeta)$；

修改后:

第六步：Verifier 向 $[a(X)]$, $[b(X)]$, $[z(X)]$, $[q(X)]$ 查询

发送 $\zeta$，得到 $a(\zeta)$, $b(\zeta)$, $z(\zeta)$ 与 $z(\omega\cdot \zeta)$, $q(\zeta)$。Verifier 自行计算 $z_H(\zeta)$, $L_0(\zeta)$, $\sigma(\zeta)$ 与 $id(\zeta)$

[gy001]

Thanks, yang. I've merged the findings into https://github.com/sec-bit/learning-zkp/commit/253d296601d3aa075e6a6c7bdb98e714d4135269.