Multiple Dense PCS

[sragss]

Surge uses the dense multilinear polynomial commitment scheme from microsoft/Spartan.

We can swap this PCS with any other dense multilinear PCS for different performance characteristics. There are not many other dense multilinear PCS written in Rust, but it's worth generalizing the interface.

[upalchowdhury]

@sragss are you thinking of using coefficients ? i was planning something like this
https://github.com/upalchowdhury/LassoPCS/blob/master/src/poly/diffPoly.rs

[moodlezoup]

@upalchowdhury The polynomial commitment schemes we have in mind are multilinear variants of KZG (PST, Zeromorph, etc.), Dory, Ligero, Brakedown

[wyattbenno777]

What about Sona? @moodlezoup

https://people.cs.georgetown.edu/jthaler/Lasso-paper.pdf
pg.15.

[sragss]

This is now tracked in newer issues. #249 #212