non-uniform IVC

Question

non-uniform IVC

Opened this issue 4 months ago · 2 comments

arnaucube commented 4 months ago

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

Answer 1 · 2024-08-16T23:13:42.000Z

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.

Answer 2 · 2024-12-18T15:32:22.000Z

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