My current understanding of the Ligerito-WHIR comparison, thread and blogpost. Similarities: recursive structure + sumcheck Differences: WHIR is for RS codes, Ligerito is for arbitrary codes and uses code-switching Consequences: Ligerito can have a linear-time prover, however

excited to share some (three?) quick updates to the ligerito paper! x.com/AndrijaNovakov…

Very proud of the team for our new multilinear proof-system: SP1 hypercube. Let me also take the opportunity to give a huge shoutout to the research community that created many of the underlying building blocks that we use. It really boils down to thirty+ years of theoretical

x.com/i/article/1925…

1/ New zkSNARK tech drop: Jagged PCS by Succinct How do you commit to many sparse trace tables, but still prove everything with one polynomial? Meet Jagged PCS — a PCS designed for zkVMs that slashes verifier overhead without compromising structure. 🧵

ICYMI: Succinct is actively proving new Ethereum blocks in <12 seconds. 🎉 We just launched a stunning dashboard to visualize proof generation in realtime:

Kobi Gurkan Ron Rothblum similar observations (though applied to the committed matrix, rather than the code matrix) were used to construct Succinct's super-cool jagged PCS it's all weirdly related :) github.com/succinctlabs/h…

An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes. Erica Klarreich reports: quantamagazine.org/computer-scien…

New quanta article about our FS attack (with 🏴 levochka.eth 🏴 💙💛🇮🇱☀️🦁🗡️ and Dmitry Khovratovich)

TIL from Ron Rothblum that you can compute all n Lagrange eq(x, i)'s in n + ~\log_2{n} field multiplications (and an inversion) as opposed to 2n👇

Proud of what the team has accomplished so far and excited about what lies ahead!

Dan Boneh: “Two significant events happened in 2025: one of them is AI getting gold at the IMO, the other is that we are now able to prove Ethereum blocks in 12s, both happened much faster than what I would have thought” Bullish on Succinct 🔥🔥🔥

They don’t call us Succinct for nothin’! cc Succinct