Cryptography PhD student @ MIT, can also be found playing the mridangam
- Tweets 26
- Following 61
- Followers 80
- Likes 28
Exciting work settling the algorithmic PFR (polynomial Freiman-Ruzsa) problem by @aparna_gupte, Srinivasan Arunachalam, Arkopal Dutt, and Sabee Grewal! Congrats all!
If adding a set A⊆𝔽₂ⁿ to itself barely makes it bigger, what structure must A have? The polynomial Freiman-Ruzsa (PFR) theorem says that A must be close to a subspace. A question remains: can we efficiently find such a subspace? (1/10)
7
1,297
Incredible result, congrats all!!!
Excited to share a joint work with Joshua Brakensiek, Yeyuan Chen, Louie Putterman, and Zihan Zhang (@VVfishtail) on list decoding Reed–Solomon codes up to capacity in the low, but still constant, rate regime!
eccc.weizmann.ac.il/report/2…
1/5
1
1
6
1,444
Our work (Prabhanjan Ananth, Amit Sahai, and myself) has now been covered in Scientific American by Peter Hall – thank you Peter for the great article!
scientificamerican.com/artic…
1
4
23
2,573
Now online at eprint.iacr.org/2026/1509!
The second GPT-powered result is a resolution of the unclonable encryption problem, concurrently and independently found by Prabhanjan Ananth and Amit Sahai as Henry mentions below. Their version is already available online and mine will be online within a couple of days. (1/3)
3
16
3,391
The second GPT-powered result is a resolution of the unclonable encryption problem, concurrently and independently found by Prabhanjan Ananth and Amit Sahai as Henry mentions below. Their version is already available online and mine will be online within a couple of days. (1/3)
I'm happy to see the unclonable encryption problem solved; Prabhanjan Ananth and Amit Sahai report their findings, with the help of the UCLA harness (link below). This was a challenge for the quantum crypto community for the last 6 years.
1
13
6,293
Our (LLMs') constructions are identical and the proofs are extremely close as well. The main difference is that the approaches bound the spectral norm of E_BE_C differently. (2/3)
1
1
462
I'm excited to share two GPT-fuelled results from this month! The first, with Aparna Gupte, shows under a plausible number-theoretic conjecture that there exists s-server private information retrieval for database size n with communication exp(\tilde{O}((log n)^{1/s})). (1/3)
1
3
31
4,247
The s = 2, 3 cases were resolved by Dvir-Gopi (2016) and Ghasemi-Kopparty-Sudan (2025), but as s grows, previous constructions needed 2^{O(s)} many servers (rather than our s) to get the same communication. (2/3)
1
5
487
Our construction builds on the "matching vectors + decoding polynomials" framework pioneered by Efremenko (2009) and recently refined by GKS25. In short: we find and plug in decoding polynomials exponentially sparser than previously known.
Link: eccc.weizmann.ac.il/report/2… (3/3)
7
465
Seyoon Ragavan retweeted
AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.
openai.com/index/model-dispr…
72
604
3,527
1,511,164
Princeton folks: I'm excited to be speaking about this tomorrow at @the_IAS! Details here: ias.edu/math/events/computer….
Alexandra Henzinger, Ted Pyne and I recently resolved the below question (picture by Gemini), building on landmark results by James Cook, @ian_mertz and @rrwilliams. The starting point was a new connection to private information retrieval (PIR), a problem from cryptography. (1/5)
213
Alexandra Henzinger, Ted Pyne and I recently resolved the below question (picture by Gemini), building on landmark results by James Cook, @ian_mertz and @rrwilliams. The starting point was a new connection to private information retrieval (PIR), a problem from cryptography. (1/5)
1
3
387
Why MVCs and why the bizarre specifications for Computer C?
High-level answer: compared with RM codes, MVCs require fewer servers (enabling our memory reduction) but are otherwise less efficient (hence the need for the large catalytic hard drive). (4/5)
1
70
See eccc.weizmann.ac.il/report/2… for more! Hoping to see more ideas from cryptography shed light on catalytic computing. (5/5)
68
Seyoon Ragavan retweeted
Chevignard et al show residues also reduce the qubit cost of quantum attacks on elliptic curves: eprint.iacr.org/2026/280
The space savings is less dramatic than for factoring (1.6x instead of 6x), and they again pay a big gate count penalty (256x), but very interesting.
5
11
51
56,032
Can you encrypt a program to hide its inner workings while still enabling others to use it? This problem of "program obfuscation" is central to cryptography.
To learn more, see this article! It also touches on a paper by myself, @NeekonV, and @Vinod_MIT from TCC 2024.
In my latest blog I discuss the challenges of building a powerful cryptographic technique that aims to “obfuscate” the internal implementation details of programs-scieye.wordpress.com/2026/01…
Thanks @seyoonragavan & Rahul Ilango for the nice chat about their works @SimonsInstitute!
2
5
316
Seyoon Ragavan retweeted
Chevignard's QIP2025 talk on reducing the space cost of quantum factoring:
piped.video/watch?v=R3yM_58L…
And her co-author Schrottenloher's talk at the Simons Summer Cluster on Quantum Computing:
piped.video/watch?v=0pnXpdsn…
3
4
29
2,670