Joined November 2009
- Tweets 278
- Following 1,441
- Followers 1,169
- Likes 745
33 Photos and videos
Jun 11
the super secret project i've been working on the past year is out encryptedspaces.org/
7
27
140
12,432
Jun 1
i am lost and confused
May 31
The vibes at the Grimes Machine Consciousness event at Lighthaven were most excellent
Performance even featured some live AI art
2
8
1,185
May 28
meanwhile in europe
May 27
I got this email from a former colleague at UW to a mailing group recommending all of us to use AI.
This is from a remarkable computer scientist, who invented the fastest algorithm for the traveling salesman problem.
OpenAI is accelerating and transforming how science is done with GPT 5.5 Pro.
Excited to unveil our work on this soon.
1
2
834
May 15
Our work on sigma-rs and credentials was accepted to USENIX 2026!
Thanks to the @torproject and @OpenObservatory for the real-world problems, feedback, and inspiration that shaped it.
With pq-privacy is solved, the next step is post-quantum soundness.
ia.cr/2026/794
1
6
31
1,830
Mar 29
Went to Tsinghua, Peking, IETF 125 to talk about cryptography. Striking how technology is embedded in daily life. Chinese students are fantastic.
4
639
Mar 4
Quaterly reminder that this is an API design problem and that you should use github.com/arkworks-rs/spong…
We found the same Fiat-Shamir bug in six independent zkVMs.
The result: an attacker can bypass the cryptography entirely and prove mathematically impossible statements (like minting $1M out of thin air).
Full breakdown ↓
6
17
4,128
Feb 18
one day I hope to be a great advisor like Karthikeyan and lucky enough to have students as smart as Nadim who continue working on my research line even after their PhD
Feb 14
MASSIVE rewrite of my Verification Theatre paper now on ePrint with added:
- Three new bugs that are *inside* libcrux's verified core,
- Comparison to Amazon's verified LibCrypto components,
- Many additional sections, discussion, details!
Go read it! eprint.iacr.org/2026/192
12
1,073
Michele Orrù retweeted
Jan 31
Former BlackHat board member Vincenzo Iozzo, and co-author of iOS Hacker's Handbook, had a relationship with Jeffrey Epstein.
It appears Epstein attended DEFCON and/or BlackHat in 2013 and 2015, possibly 2016.
71
306
2,161
291,626
Jan 14
The zk agenda is moving!
Just spoke at Linux Foundation's Decentralized Trust, great to see people realizing the lack of specifications in the space and working towards fixing this.
Jan 12
Introducing a new standards lab for generic zk-SNARKs, in collaboration with Linux Foundation Decentralized Trust (@lfdecentralized).
Join us on 14 Jan for our first virtual meetup, along with Mary Maller, @srinathtv, @mmaker, and myself:
meetup.com/lfdt-sf/events/31…
299
18 Dec 2025
My talk at Collège de France is out!
It’s been fun to give a lecture about modern tools for anonymity starting from simple zk tools, and bridge theory of cryptography with real-world authentication systems.
youtu.be/5LlPTF8iivE?si=_uLv…
1
9
522
14 Oct 2025
Presenting my paper on keyed-verification anonymous credentials at @acm_ccs in Taipei in just a few hours! 🗞️ eprint.iacr.org/2024/1552
Exciting to present it in the very same venue where I wrote a big chunk of it while attending @rightscon!
4
467
23 Sep 2025
Thrilled to have been invited to College de France for a seminar about zero-knowledge and online anonymity!
college-de-france.fr/fr/agen…
1
9
657
29 Aug 2025
Thrilled to announce that my latest paper with Alessandro Chiesa has been accepted to TCC, the IACR conference on the theory of cryptography!
3
7
63
4,406
29 Aug 2025
A key takeaway: for 20 years, we’ve relied on a notion called indifferentiability to use random oracles over arbitrary-length spaces—but it’s not sufficient for knowledge soundness.
5
467
29 Aug 2025
The road to hell is paved with good intentions
28 Aug 2025
if every saturday night you can zk-prove 18 at the door, you’re safer.
if you can use maps without leaking your location, you’re safer.
if you can prove you can afford the rent without bank pdfs, you’re safer.
zk is kult.
6
602
24 Aug 2025
I will talk about my paper on anonymous credentials and designated-verifier kzg in october at ACM CCS 2025 in Taipei!
2
5
43
2,397
24 Aug 2025
cooking some minor revisions before updating the ePrint at eprint.iacr.org/2024/1552
1
3
408