FeanorTheElf / feanor-mathLinks
A fast, pure-Rust library for computational number theory
☆30Updated last 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
- Fully Homomorphic Encryption library in Rust☆233Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Official SQIsign code, version under continuous development☆33Updated last month
- The formally verified crypto library for Rust☆146Updated last week
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆243Updated this week
- A suite of rust libraries for secure multi-party computation☆315Updated this week
- A post-quantum cryptographic signature scheme☆81Updated last year
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Language for high-assurance and high-speed cryptography☆297Updated this week
- A Rust verification tool☆280Updated this week
- ☆16Updated 2 years ago
- Prototyping library for lattice-based cryptography.☆21Updated last week
- A compiler for fully homomorphic encryption and zero knowledge proofs☆293Updated last week
- Experiments with Universal Composability in EasyCrypt☆37Updated last week
- Collection of Key Encapsulation Mechanisms written in pure Rust☆53Updated this week
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆20Updated 6 months ago
- Traits and utilities for working with finite fields.☆246Updated 3 months ago
- An attempt at a new LWE estimator☆283Updated 3 months ago
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆47Updated last week
- ☆10Updated 4 months ago
- Formalized Cryptography Proofs in Lean 4☆36Updated last week
- ☆19Updated 6 months ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆273Updated 11 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆357Updated last week
- deprecated, use Verified-zkEVM repository instead☆19Updated 6 months ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆51Updated 4 months ago
- Lattices in Cryptography (University of Michigan)☆92Updated 9 months ago
- A pure-Rust implementation of the Paillier encryption scheme☆119Updated 8 months ago
- Rust Post-Quantum cryptography☆325Updated 4 months ago