gnark
gnark copied to clipboard
Plonk permutation polynomial should be simplified
In the implementation of plonk the permutation polynomial should be simplified, in each factor the middle term uses groups in (Fr*,x) while it should be (Fr,+), so we could save some exponentiations.