零知识证明算法PLONK -- 协议

唠嗑

[上一篇](https://blog.csdn.net/weixin_43179764/article/details/112559306)主要描述了PLONK协议里的一个核心部分，用置换校验的方法去证明电路门之间的一致性；接下来，将继续分享如何证明门的约束关系得成立，以及整体的协议剖析。

门约束

举个简单的例子，假如存在一个电路，电路中仅有3个乘法门，对应的约束如下：
	L1 * R1 - O1 = 0
	L2 * R2 - O2 = 0
	L3 * R3 - O3 = 0
进行多项式压缩：定义多项式函数L(X),R(X),O(X) 满足：
	L(1) = L1, R(1) = R1, O(1) = O1
	L(2) = L2, R(2) = R2, O(2) = O2
	L(3) = L3, R(3) = R3, O(3) = O3
此时，定义新的多项式函数F(X)，令F(X) = L(X) * R(X) - O(X)
则有：
	F(1) = L(1) * R(1) - O(1) = 0
	F(2) = L(2) * R(2) - O(2) = 0
	F(3) = L(3) * R(3) - O(3) = 0
也就是表明：如果多项式函数F(X)在X=1,2,3处有零点，则说明门关系约束成立。
多项式函数F(X)在X=1,2,3处有零点则表明多项式F(X)可以被(X - 1)(X - 2)(X - 3)整除，为了和论文一致，我们把这个多项式函数设置成Z(X)，即：
	F(X) = T(X) * Z(X) ==> T(X) =