How does PLONK work? Part 12: The permutation (or copy constraint)
This video was supposed to be a quick recording of how the permutation works (the proof that wires / columns / registers are wired correctly). I had meant to re-record it in several videos, but haven't had the time so I'm publishing it now in hope that this will be useful to some people until I actually make a proper video for this.