FeanorTheElf / feanor-mathLinks
A fast, pure-Rust library for computational number theory
☆32Updated this week
Alternatives and similar repositories for feanor-math
Users that are interested in feanor-math are comparing it to the libraries listed below
Sorting:
- Please see https://github.com/hacspec/hax☆244Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆251Updated this week
- The formally verified crypto library for Rust☆157Updated this week
- A suite of rust libraries for secure multi-party computation☆319Updated last week
- Fully Homomorphic Encryption library in Rust☆238Updated last week
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆20Updated 7 months ago
- A Rust verification tool☆288Updated last week
- Official SQIsign code, version under continuous development☆33Updated 2 months ago
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆49Updated this week
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆53Updated 6 months ago
- Experiments with Universal Composability in EasyCrypt☆38Updated this week
- Prototyping library for lattice-based cryptography.☆20Updated last week
- A post-quantum cryptographic signature scheme☆83Updated last year
- Collection of Key Encapsulation Mechanisms written in pure Rust☆57Updated 3 weeks ago
- Traits and utilities for working with finite fields.☆245Updated 4 months ago
- ☆19Updated 7 months ago
- This is a pure-rust safe-rust implementation of the Classic McEliece post-quantum scheme☆30Updated 6 months ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated 2 years ago
- Formal Analysis of the PQXDH Protocol☆26Updated last year
- Language for high-assurance and high-speed cryptography☆305Updated this week
- A Rust library containing Galois-field types and utilities☆49Updated 3 months ago
- A verification toolchain for Rust programs☆365Updated last week
- Rust bindings for liboqs☆156Updated last week
- ☆179Updated this week
- ☆15Updated last week
- Rust Post-Quantum cryptography☆335Updated last month
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆53Updated 3 weeks ago
- A pure-Rust implementation of the Paillier encryption scheme☆119Updated 9 months ago
- ☆14Updated last year