35 lines
1.6 KiB
Markdown
35 lines
1.6 KiB
Markdown
# 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](https://liberapay.com/tuxmain/donate)
|
|
|
|
GNU AGPL v3, CopyLeft 2025 Pascal Engélibert [(why copyleft?)](https://txmn.tk/blog/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/.
|