Skip to content

Plonk/Gates/Custom gates : clean up

Anne-Laure requested to merge al@labels into master

#71 (closed) led us to refactor the use of wires’ labels & to functorize add gates in Custom gates.

Further investigation is required to assess the benefit-cost of types for wires & gates. The current intuition is it would be costly for little benefits.

Merge request reports