alt Hacker NewsThis is an exaggeration. The commitment scheme is related but different (Ligero vs Zook). Matmuls are different (Freivald vs Sumcheck), lookups are different (LogUp vs Grand Product), the packing is different.
What original ideas are in VerInf that are also in this work besides the choice of benchmark?
I'll concede that "ripped everything" was written as a strong emotional reaction. But you are also exaggerating; there were a lot of novel ideas that we worked through used here. I'd point you to our choice of UD-Q4 and rules for how to convert to integers as a starting point.