Srinath Setty
@srinathtv
Principal Researcher at Microsoft Research (@msftresearch)
Nova prover for proving transactions in PlasmaFold!
With @w1nd3r1c4, we are releasing plasmafold: a trustless, efficient, 14k+ TPS L2 from combining plasma with a folding schemes based client-side prover. eprint.iacr.org/2025/1300 Our MIT licensed prototype client-side prover runs in Chrome, with a 1s/tx proving time and *very*…
Chatted with @Charles_Chen533, discussion here x.com/mercysjest/sta…
For LF+ to prove CCS over a field, the matrices (appendix A.1) can be changed from a ring to a field. However, in order for the linearization step in LF+ to require only field operations, the CCS witnesses must be embedded into the ring witness using the NTT embedding... (1/4)
There’s another aspect of Neo that’s worth highlighting: it runs sum-check over small fields rather than polynomial rings. Although the latter can be viewed as a bunch of field sum-checks, Neo’s overall protocol is significantly more efficient (concretely speaking) @mercysjest
An overview of lattice-based folding schemes including Neo!
I've written this short note on how Neo compares to LatticeFold in their embedding from fields to polynomial rings, and how this relates to "pay-per-bit" commitment schemes and NTTs. Especially targeted to ZK practitioners who may be new to lattices! blog.icme.io/folding-scheme…
Speeding up the first sum-check in Spartan (aka zero-check)!
My latest paper on optimizing the sum-check protocol is out! eprint.iacr.org/2025/1117 Joint work with @SuccinctJT and Ingonyama (Suyash & Yuval). This combines and extends results from two prior papers, leading to 2-3x speedups in Spartan within Jolt! Quick thread...🧵 1/
Extremely well-written description of the Spartan’s zkSNARK construction, by @alinush407! Delighted to see this!
A blog-post-in-progress on @srinathtv's beautiful Spartan SNARK framework 👇
Research Focus @MSFTResearch highlights two of my recent works: * FineACL – Used by Copilot Tuning (announced at Build keynote) to prevent sensitive data leakage * MicroNova – A folding-based proof system with efficient on-chain verification Link: lnkd.in/daVEBuGQ
In this article, @srinathtv provides a detailed explanation of the Spartan protocol, focusing on the Spark protocol and its technical aspects, all the while summarizing all of the protocol and its optimizations to date. x.com/srinathtv/stat…
Spartan (2019) is 6 years old and already powers Jolt zkVM—but has received renewed interest for client-side ZK proving due to its unique characteristics. We've written several papers. Now, a new HackMD distills the essence in one place. 👇 Dive in: hackmd.io/@srinathsetty/…