Skip to content

Plompiler/Plonk: change dependency direction

Antonio Locascio requested to merge alocascio@csir into master

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.

Merge request reports