Security Lunch ⛄ Ed. — Wednesday, Feb 4th, 2026, 12:00 pm @ CoDa E160
A new software stack for building anonymous credential systems
Michele Orrù
Can't make it in person? Join us on
zoom.
See our past & upcoming events on our
website!
Abstract:
Anonymous credentials allow users to obtain credentials from an organization and later prove their possession while disclosing as little information as possible. In practice, they are zero-knowledge proofs of knowledge of a valid signature. In this talk, we
present the core design principles behind modern anonymous credential systems and introduce a new software stack aimed at simplifying their construction and deployment. The stack abstracts cryptographic complexity while remaining flexible enough to support
a range of credential schemes, proofs and access policies. We illustrate its use through concrete real-world applications and frame this work within ongoing efforts to standardize zero-knowledge proofs and anonymous credentials for the web.
Based on the following works:
Michele Orrù, ACM CCS 2025: Revisiting Keyed-Verification Anonymous Credentials
Michele Orrù, and Cathie Yun (Apple), IETF CFRG: Interactive Sigma Proofs and Fiat-Shamir
Michele Orrù, Lindsey Tulloch (Tor Project), Victor Snyder-Graf (Risc Zero), and Ian Goldberg (University of Waterloo): A modular approach at keyed-verification anonymous credential
In submission
Bio:
Michele Orrù is a chargé de recherche (assistant professor) at CNRS in Paris, France.
Prior to that, he was a research scholar at UC Berkeley. His research focuses on limiting long-term mass storage of personal data and personally-identifying information. In the past, he has contributed to several open-source projects including Python, Debian,
and Tor.