置换证明部分校对

[dajuguan]

1. 在置换证明的表格中 $\vec{b}$ 要么具体的值变化而index不变，或者index改变而值不变，否则没法证明 $a_0 = a_1$
2. 在置换协议一节中，实际上不需要 $b(x)$， 因为有了置换关系和 $a(x)$ 就可以推导出 $b(x)$，这样也与plonk论文一致，便于理解plonk协议