Motivaion
To compute e in the framework of #361, we need to be able to compute proof.poly_{F,K} for the on-circuit version
Overview
Due to the two multiplications within main_gate, the polynomial calculation was split into chunks=2
Since powers of the same values powers will be used in multiple places, its computation has been delegated to a separate struct. This calculation can be optimized (again due to the two multiplications, but it is simpler for speed).
In other tests in ivc::protogalaxy module we test only on-circuit calculations, since ready-made gadgets are used, here we test everything, including correctness of constraint system
Motivaion To compute
ein the framework of #361, we need to be able to compute proof.poly_{F,K} for the on-circuit versionOverview
main_gate, the polynomial calculation was split into chunks=2