PLONK（零知識證明）最終版原文解讀（二）--------線(複製)的約束與總約束

上篇博客介紹了PLONK對於門約束的處理，現在想除了門之外，線上也需要有一定的約束，比如 對於這個電路圖a1\b1\b2\a3必須是相等的，除此之外，c1\a2也是必須相等的，即一條線的兩端一定相等，同門的輸出也一定相等。爲了保證這些情況相等而採取的約束就是複製約束。 下邊開始進入正題，PLONK用「座標對累加器」實現了複製約束 我們先理解座標對累加器的原理，然後再應用到電路上。還是以一個方程爲例

>>阅读原文<<