Plompiler/Plonk: change dependency direction
This MR introduces a Csir
module in Plompiler, to define Tables
and constraints. These are no longer defined in Plonk.Circuit
, so that Plompiler
no longer depends on Plonk
. The dependency now goes in the inverse direction, as Plonk
uses Plompiler.Csir
.