Michele Orrù

274 posts

Michele Orrù banner
Michele Orrù

Michele Orrù

@mmaker

μ-almost everywhere Katılım Kasım 2009
1.4K Takip Edilen1.1K Takipçiler
Michele Orrù
Michele Orrù@mmaker·
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
English
0
2
12
363
Michele Orrù
Michele Orrù@mmaker·
@veorq that's such an old story, security engineers claiming that proofs and formalism don't matter, and formal people being all snobby in their ivory tower. and yet, maybe there's a reason cryptography has been doing OK since circa 1976
English
1
0
1
57
JP Aumasson
JP Aumasson@veorq·
cryptography researchers trying really hard to do real-world applied research
JP Aumasson tweet media
English
7
10
142
9.9K
Michele Orrù retweetledi
ZKProof Standards
ZKProof Standards@zkproof·
🔥🔥🔥 Get ready for #ZKProof 2026! Speaker: Alessandro Chiesa from @EPFL Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more. For more details - link in the first comment.
ZKProof Standards tweet media
English
1
4
15
649
Michele Orrù
Michele Orrù@mmaker·
@yarnf40580 @tqbf what are you talking about, it's not even possible to have a trait implement distinct features for generic groups and fields, or const generics that do basic arithmetic like subtraction. the type checker runs in exponential time.
English
1
0
1
44
ae ae ae
ae ae ae@yarnf40580·
@tqbf Rust is my main language and I'm a fan of it Anyone who doesn't admit to the statement "Rust adds friction to expressing certain programs + data structures" is either being dishonest, not experienced enough, or has some fundamental misunderstanding of the language.
English
3
2
23
1.6K
Thomas H. Ptacek
Thomas H. Ptacek@tqbf·
I hear this from Rust people all the time and it drives me a little nuts because a mutable tree structure is not just an inefficient implementation of a table ADT; it's also a foundation of a big chunk of computer science. Again: nerds hating computer science!
Thomas H. Ptacek tweet media
English
7
4
90
11.4K
Michele Orrù
Michele Orrù@mmaker·
Went to Tsinghua, Peking, IETF 125 to talk about cryptography. Striking how technology is embedded in daily life. Chinese students are fantastic.
Michele Orrù tweet mediaMichele Orrù tweet media
English
0
0
4
460
Coach Louis
Coach Louis@OswaldPer4mance·
@NBTiller Hubermann will have you on his podcast talking about how Anal Injection of Creatine shows best results. You can then promote AG1 together
English
4
1
133
10K
Nick Tiller, Ph.D.
Nick Tiller, Ph.D.@NBTiller·
I take 100 grams of #creatine every day, straight up the ass. I can now move objects with my mind.
English
243
444
10.6K
735.7K
Michele Orrù
Michele Orrù@mmaker·
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
Nadim Kobeissi@kaepora

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

English
0
0
12
1K
Michele Orrù retweetledi
vx-underground
vx-underground@vxunderground·
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.
vx-underground tweet media
English
72
313
2.2K
291.4K
Michele Orrù
Michele Orrù@mmaker·
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.
映彤 ✨🍄✨@therealyingtong

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…

English
0
0
0
274
Michele Orrù
Michele Orrù@mmaker·
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…
YouTube video
YouTube
English
0
1
9
494
Simon Sarris
Simon Sarris@simonsarris·
tell them the truth
Simon Sarris tweet media
Heshie Brody@heshie

many people call me a matcha girlie but that doesn’t bother me why does bother me, is the number of people who don’t realize how much more effective matcha is as an energy booster then coffee caffeine in coffee gets absorbed in your bloodstream right away giving you a spike of energy before you crash again matcha (green tea) on the other hand has an amino acid known as L-theanine that slows down caffeine absorption creating a smoother sustained energy release for 4-6 hours not to mention the calming effect it has on your nervous system and blood pressure anyway, I hope you try it

English
76
663
7.5K
547.1K
joseph.eth
joseph.eth@josephdelong·
@alpeh_v You should lean into it and ask them questions you know they can’t answer
English
2
1
4
611
Michele Orrù
Michele Orrù@mmaker·
the new dragon book cover is incredible
Michele Orrù tweet media
English
0
0
0
494
Michele Orrù
Michele Orrù@mmaker·
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!
GIF
English
0
0
4
453
Michele Orrù
Michele Orrù@mmaker·
@alpeh_v @levs57 Sure but where can you find the recursive circuit? It doesn’t look like there’s any open source for custom AIRs atm
English
0
0
0
36
ʕ •ᴥ•ʔ
ʕ •ᴥ•ʔ@alpeh_v·
@mmaker @levs57 for the like 60k hashes range it makes sense to just recurse with less hashes and use groth for the super succinct proof.
English
1
0
0
73
ʕ •ᴥ•ʔ
ʕ •ᴥ•ʔ@alpeh_v·
whats the current state of the art on a simple client side small proofs (eg groth16 or plonk) with not very many constraints (eg o(200) Poseidon hashes)?
English
5
0
10
1.6K
Michele Orrù
Michele Orrù@mmaker·
@alpeh_v @levs57 p3 is zk and has no_std support (I was aabre to generate a wasm proof). agree that proof sizes are bad :( Curious to know if you end up finding something better, I'm on a similar boat as you
English
1
0
1
32
ʕ •ᴥ•ʔ
ʕ •ᴥ•ʔ@alpeh_v·
@mmaker @levs57 The problem is proof size because you need a (relatively) small one. But also secondarily I’m asking about which has the most mature engineering support for phones, browsers ect Plus afaik plonky3 isn’t zk which is needed for this application
English
1
0
0
67
ʕ •ᴥ•ʔ
ʕ •ᴥ•ʔ@alpeh_v·
@levs57 sigh and here I was hoping to avoid a rabbithole on this one
English
1
0
0
71
Michele Orrù
Michele Orrù@mmaker·
@nico_mnbl I'm sure only of: Damgård-KSND <=> WEE => KSND in [Gro04, Lin03] Damgård-KSND <=> Goldreich-KSND => KSND in [BG93] I'd be cool to prove equivalence (if it exists) with SR-KSND
Dansk
1
0
0
87
Michele Orrù
Michele Orrù@mmaker·
@nico_mnbl That's left as an excercise for the reader :( In any case you care about WEE => (rewinding) state restoration knowledge soudness for practical applications
English
1
0
0
76

Keşfet

@torproject @OpenObservatory @veorq @EPFL @yarnf40580 @tqbf @OswaldPer4mance @NBTiller