FeanorTheElf / feanor-mathLinks
A fast, pure-Rust library for computational number theory
☆45Updated 2 weeks ago
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☆245Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Official SQIsign code, version under continuous development☆52Updated 7 months ago
- Fully Homomorphic Encryption library in Rust☆253Updated this week
- A Rust verification tool☆372Updated this week
- The formally verified crypto library for Rust☆201Updated this week
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆54Updated this week
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆283Updated this week
- A suite of Rust libraries for secure multi-party computation.☆341Updated this week
- Experiments with Universal Composability in EasyCrypt☆43Updated this week
- Common sub-modules and procedures in lattice-based constructions☆23Updated 2 weeks ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆55Updated 11 months ago
- ☆17Updated last year
- Traits and utilities for working with finite fields.☆254Updated 9 months ago
- Formalized Cryptography Proofs in Lean 4☆65Updated this week
- ☆21Updated 3 years ago
- Language for high-assurance and high-speed cryptography☆328Updated this week
- Formally Verified Arguments of Knowledge in Lean☆152Updated this week
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆60Updated 2 years ago
- A python library for the fully homomorphic encryption scheme ACES☆17Updated 11 months ago
- Lean circuit DSL☆121Updated this week
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆311Updated last week
- A verification toolchain for Rust programs☆554Updated this week
- A zero-knowledge Lean4 compiler and kernel☆142Updated last year
- A post-quantum cryptographic signature scheme☆86Updated last year
- ☆53Updated 8 months ago
- a zero-knowledge proof-carrying code platform for Lean 4☆61Updated this week
- ☆20Updated last year
- ☆16Updated this week
- Rust library for cryptographic research☆151Updated last year