(WiP) Fast and easy polynomial quotient ring arithmetic for lattice crypto in Rust
Find a file
2025-08-29 22:58:23 +02:00
examples Feature-complete for implementing real crypto 2025-08-29 22:58:23 +02:00
src Feature-complete for implementing real crypto 2025-08-29 22:58:23 +02:00
.gitignore Feature-complete for implementing real crypto 2025-08-29 22:58:23 +02:00
Cargo.lock Feature-complete for implementing real crypto 2025-08-29 22:58:23 +02:00
Cargo.toml Feature-complete for implementing real crypto 2025-08-29 22:58:23 +02:00
LICENSE license, readme 2025-07-21 19:47:58 +02:00
README.md Feature-complete for implementing real crypto 2025-08-29 22:58:23 +02:00
rustfmt.toml Initial commit 2025-07-21 19:34:51 +02:00

gwrizienn

Modular arithmetic, polynomial quotient rings in Rust.

Early development, really.

Goals:

  • Easy to use, obvious when you look at the documentation and type system
  • Fast, most possible work is done at compile time
  • All the math you need for implementing cryptographic schemes such as Dilithium

Non-goals:

  • Generic (it's generic but only for primitive types)
  • Complete (it's simple because it's not a complete implementation of modern algebra)
  • Dynamic (vector dimensions and moduli are strongly typed)

Supported:

  • ring Zq
  • ring Zq/(x^N+1) with additive operations
  • ring Zq/(x^N+1) with multiplicative operations if q=p or q=2p with p prime and 2N divides p-1
  • vectors and matrices of the above rings

Name

Pronounce grizienn. It's Breton for "root", because we use roots of unity to compute the NTT for faster O(N log N) polynomial multiplication.

License

Support me via LiberaPay

GNU AGPL v3, CopyLeft 2025 Pascal Engélibert (why copyleft?)

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, version 3 of the License.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details.
You should have received a copy of the GNU Affero General Public License along with this program. If not, see https://www.gnu.org/licenses/.