理解Plonk3：从 Grand Product 到 Multiset 等价。这里可能需要强调为什么不直接证明多项式相等而要证明连乘

[yangxiaoxue666]

初学者看到这里可能会想。为什么不直接证明多项式相等而要证明连乘，感觉证明多项式相等，比证明连乘要容易。 对于这个问题郭老师已经给出回答：multiset 中的元素没有顺序，但是 vector 元素有顺序。多项式是vector 的编码 ，带了顺序；连乘是 multiset 的编码，忽略顺序。