Add Lasso?

[jasonmorton]

Lasso was created in part to bring about the lookup singularity, and to improve on the current Halo2 lookup. Let's cooperate to get it working here with KZG-flavored halo2. The Lasso implementation is here.

[CPerezz]

We just discussed with @han0110 and we'll be happy to help on the architecture/reviews/design.
Not sure we will have the time to also participate in the port (at least I don't, not sure about @han0110 ).

I'd be very happy if we go for this and there is people that is willing to do some port efforts. Maybe @ed255 or @DoHoonKim8 from the DSL/Lookup teams can also contribute into this a bit as discussed with @barryWhiteHat last week.

My suggestion, if someone else aside from you @jasonmorton is willing to put some work on this port, we can try to match it and contribute together to have a pluggable lookup that allows for Lasso/Plookup.
If you want to move ahead, let's have a call and discuss this more in depth.

[kilic]

It seems to me like B3 appendix of jolt paper can be somehow implemented with shuffle API

[DoHoonKim8]

Just talked with Barry and other lookup team folks, maybe I can help on porting Lasso inside halo2.

[CPerezz]

We will just need someone that leads the effort @DoHoonKim8 @kilic

The rest I'm sure can and will help! :)

[DoHoonKim8]

FYI, here is an open PR for adding Lasso to halo2(w/ HyperPlonk backend). I worked on this based on Han's plonkish(https://github.com/han0110/plonkish/tree/main) repo.

DoHoonKim8/halo2-lasso#4

[davidnevadoc]

Currently, hyperplonk and lasso are outside the scope of halo2 backends (maintained in this repo).