This 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?
What original ideas are in VerInf that are also in this work besides the choice of benchmark?