PLONK（零知识证明）最终版原文解读（二）--------线(复制)的约束与总约束

上篇博客介绍了PLONK对于门约束的处理，现在想除了门之外，线上也需要有一定的约束，比如 对于这个电路图a1\b1\b2\a3必须是相等的，除此之外，c1\a2也是必须相等的，即一条线的两端一定相等，同门的输出也一定相等。为了保证这些情况相等而采取的约束就是复制约束。 下边开始进入正题，PLONK用“坐标对累加器”实现了复制约束 我们先理解坐标对累加器的原理，然后再应用到电路上。还是以一个方程为例

>>阅读原文<<