News for hackers. Stuff that matters.
Re:Provable Inference by remcob on Thursday November 05, 2026 @02:47AM (#50376342)
This is a big 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 is also in this work besides the choice of benchmark?

Re:Provable Inference by neuwirth on Thursday November 05, 2026 @05:43AM (#50377599)
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.
Re:Provable Inference by Betelbuddy on Thursday November 05, 2026 @08:04AM (#50378610)
You should have used Bedrock...no sharing of inputs with model providers ;-)