Update to latest Halo2-PSE && halo2curves versions

[CPerezz]

Would this be interesting? We could try to upstream some of the changes you've done in order to adapt this or, if we make this a lib, re-export as a usable layouter.

WDYT?

[obatirou]

Would love to see that happen.
From my understanding, here are the changes made to halo2 and halo2curves for the analyzer:

• https://github.com/quantstamp/halo2/pull/3/files
• privacy-ethereum/halo2curves@main...quantstamp:halo2curves:analyzer

Made a first step by creating a Dockerfile to install dependencies for local testing here. Long to build at first as it is necessary to build cvc5 from source with cocoa. This could be improved I am sure.

Would be keen to help on this task depending on the solution retained.

[CPerezz]

I'm almost done with the work to update versions of Halo2curves and Halo2.

Maybe I can start giving it a try to see how we can integrate this better and further understand this tool better overall.

[FatemehHeidari]

Hi, I have missed the discussion here!
Really interested in having the changes upstream, it would be very helpful.

I updated the PSE halo2 version we support around January.
This is the version we have forked and updated:
https://github.com/Analyzable-Halo2/pse-halo2

But it looks like there has been some major refactoring on PSE since then too. :)