Saravanan Vijayakumaran pfp

Saravanan Vijayakumaran

@sarva.eth

131 Following
127 Followers
Varun Thakore pfp
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.eth).
1 reply
1 recast
1 reaction
Kartik pfp
Kartik
@slokh
I'm joining Merkle! After building around Farcaster for ~1.5 years, I'm more bullish than ever on the team, protocol, and product. The last time I felt this way about something was when I joined OpenSea almost 4 years ago. 2025 will be big for crypto and Farcaster will be at the center of it. LFG 🚀
145 replies
79 recasts
665 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
https://rdi.berkeley.edu/zk-learning/ A MOOC on ZKPs from 2023
0 reply
0 recast
0 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
👋
0 reply
0 recast
0 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Feb 1st is the application deadline for microgrants from Public Good Crypto. Research areas include ZK, FHE, MPC, PIR, PQC. Grant amount: 5k USD per project I am not affiliated. Just a friendly neighbourhood reminder uncle. https://x.com/PublicGoodCrypt/status/1866860623440777515
0 reply
0 recast
2 reactions
six pfp
six
@six
https://caseyhandmer.wordpress.com/2023/08/25/you-should-be-working-on-hardware/ h/t july
0 reply
0 recast
4 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
@dantehrani.eth, @lsankar.eth at Personae labs (now closed) did some work on client-side proving of signatures. @wyattbenno and team are leveraging folding schemes for client-side ZK proofs
0 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
https://api.sci.gov.in/supremecourt/2023/37573/37573_2023_11_1501_56640_Judgement_24-Oct-2024.pdf It is unlikely that Aadhaar-based proofs will be used in government applications. But they could adopted by private industry if the proof is not part of a compliance requirement.
0 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
I have shared this project with MeitY people. Their feedback was that Aadhaar cannot be used as an age proof. A Supreme Court judgement stated this in a case related to life insurance compensation. Even the UIDAI maintains that Aadhaar is not a proof of date of birth. Link to judgement below.
2 replies
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
My earlier reply seems to have disappeared. I had seen your announcement about the folding implementers meeting on Twitter. Definitely interested to attend.
1 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
I have tried Nova. Have some public repos on my Github: https://github.com/avras What do you want to know?
1 reply
0 recast
0 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Aadhaar-based age proofs using Nova https://github.com/avras/nova-aadhaar-qr (Rust lib) https://github.com/avras/aadhaar-age-proof (Web app) https://github.com/avras/aadhaar-age-proof-android (Android app) Demo of web app: https://age-proof.vercel.app/
2 replies
28 recasts
73 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Bitcoin header validation using Nova. https://github.com/avras/btc-nova-lc Repo has code and benchmarks. 100k headers validated in 4 hours using 0.5 GB RAM or under 2 hours using 20 GB RAM. Proof sizes < 16 KB. Heavily inspired by the ZeroSync implementation.
1 reply
0 recast
7 reactions
chandresh 🪴 pfp
chandresh 🪴
@chandresh.eth
kya bolti public
1 reply
1 recast
2 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Slides from ZK lectures I gave earlier this week at a winter school https://www.ee.iitb.ac.in/~sarva/zk.html Contents: General intro, GMR85, Tornado Cash, R1CS, and Groth16
0 reply
0 recast
8 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
I am at ETHIndia. Standing in the registration line rn. DC me if you want to meet up
0 reply
0 recast
0 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
The PLONK-based folding schemes do need a universal trusted setup, but you get constant proof sizes. I was thinking of Nova, Supernova when I said no trusted setup and logarithmic proof sizes
0 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
My bet is on folding schemes. No trusted setup, folding can reduce circuit sizes, logarithmic proof sizes. No onchain verifier as of now though. https://github.com/lurk-lab/awesome-folding
1 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
That's a tough question. Every team on ZK Twitter is like: my SNARK bad, my SNARK hood, my SNARK do stuff that your SNARK wish it could... 😅
1 reply
0 recast
3 reactions
Andy pfp
Andy
@andyguzmaneth
Building ZK apps with Circom / Groth16? 👉Try p0tion to run your Trusted Setup Ceremony 👈 - Build it in a few hours - People can contribute with CLI or browser (if few constraints) - Public good forever Ask the team on #🧪p0tion channel on discord.gg/pse https://github.com/privacy-scaling-explorations/p0tion
1 reply
1 recast
12 reactions