iiinova — where your digital self keeps evolving

Replies

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 · 20/05/2025

Lattirust implements fast (arkworks-compatible!) arithmetic for rings and polynomial rings, various challenge spaces, linear algebra and norms, and interfaces with spongefish for effortless Fiat–Shamir. It also has nice interfaces for relations and interactive reductions.

100

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

Lattirust implements LaBRADOR and Lova, and we'll soon have implementations for the Greyhound PCS. I'll also upstream Nethermind's Latticefold implementation (which actually started from a fork of an early version of lattirust). We're working on some new schemes too 😉

100