How does PLONK work? Part 5: From arithmetic circuits to constraint systems

In this fifth video, I explain how we can “compile” an arithmetic circuit into something PLONK can understand: a constraint system. Specifically, a PLONK-flavored constraint system, which is a series of equations that must if equal to zero correctly describe our program (or circuit).

Part 6 is here. Check the full series here.