nova as in folding schemes (https://github.com/microsoft/Nova)

was just chatting with someone abt how overhyped it was for a hot second. Even ‘gigabrains’ follow trends

What was the overhype? All I saw was people shipping a bunch of very real performance improvements with 10/10 security properties (unlike a certain other family.. 👀)

which other family?

I thought nova and folding were overhyped relative to fri

STARKs/FRI continue to have more than questionable security properties

STARKs/FRI continue to have more than questionable security properties

https://x.com/nibnalin/status/1626824962299527169

a) you can find a similar number of problems in pairing based snarks
b) you can use more bits to have more proven bits, it doesn’t change much the proving time

you have billions of dollars running over starks/fri. would love to know how you can hack practically hack them. people would pay a lot for that info 😊.