non-uniform IVC

[arnaucube]

Add a layer of abstraction to allow non-uniform IVC style on the various implemented folding schemes.

As it is specified at:

• SuperNova paper: https://eprint.iacr.org/2022/1758.pdf
• section 5 of the updated HyperNova paper: https://eprint.iacr.org/2023/573.pdf

Update:

• Nebula paper: https://eprint.iacr.org/2024/1605 outlines a new switchboard approach to achieve the non-uniform IVC which might be interesting

[CPerezz]

This issue might be too broad and big. And not detailed enough. I suggest to discuss this in our next meeting and try to fine-grain a bit more all this.

Let me know what you think! Although I agree completely that we should work on this!

Indeed, I think #134 can bring something kinda similar to the table.

[Autoparallel]

What about basing it off of https://github.com/lurk-lang/arecibo/