diff --git a/plonk-intro-cn/plonk-permutation.md b/plonk-intro-cn/plonk-permutation.md index df934b4..f8fd003 100644 --- a/plonk-intro-cn/plonk-permutation.md +++ b/plonk-intro-cn/plonk-permutation.md @@ -116,8 +116,8 @@ $$ q_i & r_i & q_i\cdot r_i \\ \hline q_0 & 1 & r_0\\ -q_1 & r_0 & r_1\\ -q_2 & r_1 & r_2\\ +q_1 & r_1 & r_2\\ +q_2 & r_2 & r_3\\ \vdots & \vdots & \vdots\\ q_{n-2} & r_{n-2} & r_{n-1}\\ q_{n-1}=\frac{1}{p} & r_{n-1} & 1 \\ @@ -303,4 +303,4 @@ $$ - [WIP] Copy constraint for arbitrary number of wires. https://hackmd.io/CfFCbA0TTJ6X08vHg0-9_g - Alin Tomescu. Feist-Khovratovich technique for computing KZG proofs fast. https://alinush.github.io/2021/06/17/Feist-Khovratovich-technique-for-computing-KZG-proofs-fast.html#fn:FK20 -- Ariel Gabizon. Multiset checks in PLONK and Plookup. https://hackmd.io/@arielg/ByFgSDA7D \ No newline at end of file +- Ariel Gabizon. Multiset checks in PLONK and Plookup. https://hackmd.io/@arielg/ByFgSDA7D