Michele Orrù

[Michele Orrù @mmaker]

i am lost and confused

[Beff (e/acc) @beffjezos]

The vibes at the Grimes Machine Consciousness event at Lighthaven were most excellent

Performance even featured some live AI art

[Michele Orrù @mmaker]

meanwhile in europe

[Sreeram Kannan @sreeramkannan]

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.

[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.
https://t.co/MwxcKQrJAQ

[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

[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.

[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ù @mmaker]

Quaterly reminder that this is an API design problem and that you should use https://t.co/UGhRxxWOvk

[OtterSec @osec_io]

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 ↓

[Michele Orrù @mmaker]

@OswaldPer4mance @NBTiller @scinawa we need more than one tea spoon i think

[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! https://t.co/yYD6cxSDf0

[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.

[Michele Orrù @mmaker]

love it

[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:
https://t.co/TeboLCZeek

[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.

https://t.co/UxTVyKqezf

[Michele Orrù @mmaker]

@simonsarris tea is also represented in the picture

[Michele Orrù @mmaker]

@josephdelong @alpeh_v This answer made the post 50% funnier

[Michele Orrù @mmaker]

the new dragon book cover is incredible

[Michele Orrù @mmaker]

Presenting my paper on keyed-verification anonymous credentials at @acm_ccs in Taipei in just a few hours! 🗞️ https://t.co/wEVZ9VdSN2

Exciting to present it in the very same venue where I wrote a big chunk of it while attending @rightscon!

[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

[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

[Michele Orrù @mmaker]

@alpeh_v @levs57 You can do about 60k Poseidon calls on a normal laptop with plonky3