Tomer Solberg retweeted
Introducing HyperQuant: A new Lattice-based compression algorithm that significantly improves LLM key-value cache memory over TurboQuant and OCTOPUS, and with higher accuracy!
But it gets better - we apply the same compression technique to weights, outperforming Higgs!
Finally, (for the first time ever?), we show how to compress video DiT weights. demo on LTX-2.
Easy to integrate: we release a reference kernel code with the paper, under MIT license. This is a calibration-free, post-training quantization. Disclaimer: performance will get much better in next releases.
Links and key results in next tweet.
Tomer Solberg retweeted
CICLE V3.5: Sumcheck with Lambda Functions by @Ingo_zk
medium.com/@ingonyama/icicle…
This is T2 tower field
T2~ F2[x,y]/(x^2+x+1,y^2+xy+1)
Represent each number as a multilinear polynomial in x,y where the coefficients are the binary representation of the number.
So 1~1, 2~x, 4~y, 8~xy
This gives 6~x+y, and 2*6~x*(x+y)=x^2+xy=1+x+xy~1+2+8=11
Tomer Solberg retweeted
We have successfully closed $21M in seed funding 🥳
The round was led by @IOSGVC, @walden_catalyst and @__geometry__
This is an important step on our mission to democratize #ZKPs by enhancing their speed, scalability, and cost-effectiveness, making them accessible to all
1/3
Tomer Solberg retweeted
A Brief History of Lookup Arguments -
A new review paper!
1) uses of lookup protocols
2) plookup
3) cq, LIKE YOU HAVE NEVER SEEN BEFORE
4) evolution from plookup to cq
github.com/ingonyama-zk/pape…
