Antonio Faonio

Cryptographer. Implicit notation supporter.

[Antonio Faonio @0x00AF]

https://t.co/x78Fi7CGL1

[IACR Eurocrypt @IACReurocrypt]

Hola! In this account, we will post information and updates on the EUROCRYPT 2025 conference, which will be held from May 4 to 8 in Madrid, Spain. Follow us and share with your network!

#IACR #Eurocrypt #EC25

[Janno Siim @jannosiim]

Finally, we also build a deeper understanding of the verifier "linearization" technique commonly used in KZG-based SNARKs. It builds on the recent work of https://t.co/Hzl1cqfgFm by @dariofiore0 @0x00AF and Luigi Russo

[Aurélien Francillon @aurelsec]

An Assistant Professor position in the S3 group -(@s3eurecom) at @EURECOM in vulnerability detection, analysis, exploitation, and/or remediation is still open. It is still time to send your applications!
https://t.co/N7Q53WM1OZ
Feel free to ask me any questions !

[Luca Caputa 🖤💙 @luca_caputa]

Passa in città il Tour de France e i bolognesi si sono espressi.

Come puoi non amare Bologna e i bolognesi?

#Francia

[Lance Fortnow @fortnow]

Via Salil Vadhan: Luca Trevisan, a great complexity theorist, lost his battle with cancer today at the age of 52.

[Dario Fiore @dariofiore0]

I am looking for a PhD student in Cryptography to join our group at @IMDEA_Software !

Topics of interest include zero-knowledge proofs, succinct proof systems and verifiable computation, computation on encrypted data.

For more information -> https://t.co/4VKJ2ONpbj

[Antonio Faonio @0x00AF]

Luigi did a great job w/ this paper. You should go listen to his talk at ZKProof 6 in two weeks! #proudadvisormoment

[Antonio Faonio @0x00AF]

I am super happy about this work with Luigi and @dariofiore0 where we continue our quest on the non-malleability of zkSNARKs from PIOP+FS, we show that "real-world" schemes, namely as implemented in libraries, are non-malleable. And the #eprint is out!
https://t.co/P7zLxwqhml

[ZKProof Standards @zkproof]

Get ready for #ZKProof 2024! @russol96 from
@EURECOM will talk about Real-world Universal zkSNARKs are non-malleable. Join us in Berlin on May 22-24 to discuss the future of ZKP standardization, its impact on security, identity, & more.

[ZKProof Standards @zkproof]

Get ready for #ZKProof 2024! @russol96 from
@EURECOM will talk about Real-world Universal zkSNARKs are non-malleable. Join us in Berlin on May 22-24 to discuss the future of ZKP standardization, its impact on security, identity, & more.

[Anime Aesthetics @anime_]

Better to be a pig than a fascist!

[Il Grande Flagello @grande_flagello]

Ho rifatto la scena madre di Boris con il presidente Meloni. Buon #25Aprile 🌹

[Antonio Faonio @0x00AF]

@crypto_carsten yeah, it doesn’t but it can catch incorrectness at least. Btw, never realised how weird post-quantum falsifiable assumptions could be :)

[Mark Simkin @Simk1n]

https://t.co/uCVCDHdSOb 🤯🤯🤯🤯🤯

[Antonio Faonio @0x00AF]

viva l'italia antifascista!

[Antonio Faonio @0x00AF]

@gloupin @matthew_d_green I guess using pairing/ss-qaNIZK or is there any other technique ?

[Antonio Faonio @0x00AF]

@gloupin @matthew_d_green would that be (publicly) verifiable?