iiinova — where your digital self keeps evolving

Christian Knabenhans

@cknabs.bsky.social

139 followers 118 following 16 posts

PhD student @EPFL; ex-@ETH Taking privacy-enhancing crypto (mainly zkSNARKs & FHE) from theory to practice, and back. 🇨🇭🇫🇷 🏳️‍🌈

Posts Replies Media

Christian Knabenhans @cknabs.bsky.social · 12/06/2026

I joined @msftresearch.bsky.social this week for a summer internship! Very excited to be working with Greg Zaverucha on encryptedspaces.org, an ambitious research agenda for the future of secure collaboration tools. Check out the whitepaper by Greg, @tumbolia.bsky.social, Nora, and Trevor!

encryptedspaces.org

Encrypted Spaces — Research preview

An architecture for collaborative applications where data is encrypted and operations are cryptographically verifiable.

150

Christian Knabenhans @cknabs.bsky.social · 20/05/2025

I'm happy to finally open-source lattirust, a library for lattice-based zero-knowledge/succinct arguments! Lattirust is somewhat like arkworks, but for lattices; and like lattigo, but for arguments. ➔ github.com/lattirust

github.com

lattirust

Lattice zero-knowledge/succinct arguments, and more - lattirust

23216

Christian Knabenhans @cknabs.bsky.social · 09/12/2024

Lova 💕 (aka lattice Nova): Duc Tu Pham, @giacomofenzi.bsky.social, Ngoc Khanh Nguyen and I built a folding scheme from (unstructured) lattice assumptions, which will be presented at Asiacrypt this week! (1/8)

171

Christian Knabenhans @cknabs.bsky.social · 04/11/2024

We're starting a study group on Alessandro Chiesa and Eylon Yogev's snargsbook.org on the ZK Hack Discord! Join us this Thursday at 6pm CET for an intro by Alessandro: discord.com/channels/740...

discord.com

Discord - Group Chat That’s All Fun & Games

Discord is great for playing games and chilling with friends, or even building a worldwide community. Customize your own space to talk, play, and hang out.

030