Saravanan Vijayakumaran

Faculty member at IIT Bombay

[Saravanan Vijayakumaran @sarva_v]

@gm_usi I agree that the proving time is too high for acceptable UX. To improve, I need to switch to a scheme that supports lookups. Dorian, Nebula, NeutronNova are possible candidates.

[IITB Trust Lab @IITBTrustLab]

They’ve authored protocols, built cryptographic systems, and shaped the research agenda.

This summer, they teach at IIT Bombay.
ACM India Summer School on Cryptography
📍 June 2–12 | Hosted by Trust Lab
Apply now.

#IITBombay #Cryptography #PQCrypto #Cybersecurity #ACMIndia

[Varun Thakore @varunthakore]

Excited to share that my master’s thesis work — "MProve-Nova: A Privacy-Preserving Proof of Reserves Protocol for Monero" — has been accepted at PETS 2025. This is joint work with my thesis advisor, Prof. Saravanan Vijayakumaran (@sarva_v ).

[Srinath Setty @srinathtv]

Recently summarized how NeutronNova improves on prior work—thought it’d be useful to share it.

Whether you're working on recursive proofs, zkVMs, or just want a modern folding scheme—NeutronNova is worth watching.

It achieves the best of prior work—without their downsides.🧵👇

[Saravanan Vijayakumaran @sarva_v]

@zkproofs @EF_ESP I emailed them at [email protected]. They said they will reactivate the submission link soon.

[Varun Thakore @varunthakore]

Just dropped a blog post breaking down the circle group and trace domain for Circle STARKs! Stay tuned for Part III, where we’ll dive into the circle FFT.

[Srinath Setty @srinathtv]

Introducing Neo—not the One from the Matrix, but a new folding-based proof system, with:
✅ Efficient recursion (like Nova)
✅ Small fields: M61/Goldilocks (like STARKs)
✅ Pay-per-bit commitment costs (like Binius)
✅ Plausibly post-quantum secure
🔗 https://t.co/cm4hmX3Bdf 🧵

[Rahul Matthan @matthan]

The new UIDAI notification that allows private entities to use Aadhaar infrastructure for authentication could set up the marketplace of age verification service providers that we need.

My latest Ex Machina article.

https://t.co/WYy3adRxnd

[Saravanan Vijayakumaran @sarva_v]

@nibnalin @daimo_eth Excited to see what you work on next. Your Nova Scotia repo helped me understand the potential of folding schemes. Thanks for that! I plan to dig into the Daimo codebase to understand how to seamlessly obtain user consent via signatures. Thanks again!

[Nalin @nibnalin]

Personal update: I’m stepping away from @daimo_eth

[Varun Srinivasan @varunsrin]

Snapchain testnet is now live.

All Farcaster data is being streamed into Snapchain in parallel and things are working smoothly.

A team of 3 engineers went from problem statement to working, novel blockchain design in 6 months. I think this might be a new record.

[Saravanan Vijayakumaran @sarva_v]

@wyatt_benno MIT license would be awesome. I hope people don't ditch it because the school hired Gary

[Saravanan Vijayakumaran @sarva_v]

@farcaster_xyz https://t.co/cY5Ulc8Jhb

[Wyatt Benno @wyatt_benno]

👨‍💻We implemented Nebula in our zkEngine (v0.9) (a WASM zkVM), it's open sourced w/ contributing to Microsoft/Nova repo.

Running some tests today... with wasm files from the web and its 🔥🔥🔥 The NovaNet team is killing it!

Cool features:

1. It's privacy preserving by default using updated HyperNova paper /w zk.

2. Choose the step size and it works almost anywhere. 500MB - 1GB prover~, works well in browser just like WASM. If you want to go crazy with a large machine you can! Just pick large step sizes.

3. SOTA for zkVM memory checks, pre-'Twist and Shout' 😆 We will do a separate post for this.

4. NIVC - (non-incremental verifiable computation) which has a few special traits like: stop and go proving, specialization circuits, more.

Why another zkVM? Because we want ours to work in small spaces like browsers.

== We have a few crazy cool use-cases we are dog-fooding 🐶 ==

Thanks to — all of the amazing open-source implementors, researchers, and educators. 🙏

What's Nebula again?
https://t.co/k51Zk9EKQu

Show me the code:
https://t.co/45Y0xhvU09

[Saravanan Vijayakumaran @sarva_v]

Feb 1st is the application deadline for microgrants from @PublicGoodCrypt
Research areas include ZK, FHE, MPC, PIR, PQC.

Grant amount: 5k USD

I am not affiliated. Just a friendly neighbourhood reminder uncle.

[Public Good Crypto @PublicGoodCrypt]

Applications open: Microgrants

Although larger grants are soon to open, we currently have started our first batch of "Microgrants"!

Apply here: https://t.co/OUdwWE8HLa

[saleel.eth @_saleel]

Use @NoirLang with the Barretenberg backend
- faster proofs
- works in browsers, even mobile*
- no app-level trusted setup + small universal SRS download (~10mb vs 600mb for an equivalent groth16)
- relatively expensive solidity verifier (but only $0.03 on L2 + optimizations otw)

[Srinath Setty @srinathtv]

Introducing MicroNova, a new variant of Nova that features an efficient on-chain verifier: https://t.co/Eo50X6LqJp

[Aniket Kate @aniketpkate]

Organizing a blockchain workshop at my alma mater IIT-Bombay on Dec 16. (w/ @sarva_v @vinayrib at @IITBTrustLab).
link: https://t.co/HfxWKE26a6
Exciting talks from John Augustine (IITM), @ChayaGanesh, Chethan Kamath (IITB), @pratyaycrypto & others at IITB.