FeanorTheElf / feanor-mathLinks
A fast, pure-Rust library for computational number theory
☆28Updated 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☆243Updated last year
- A Rust verification tool☆265Updated this week
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆236Updated this week
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 11 months ago
- Fully Homomorphic Encryption library in Rust☆227Updated 10 months ago
- FN-DSA (Falcon) signature scheme☆42Updated 2 months ago
- Official SQIsign code, version under continuous development☆25Updated 2 months ago
- The formally verified crypto library for Rust☆130Updated this week
- ☆16Updated 2 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆46Updated last week
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆38Updated this week
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆49Updated 3 months ago
- deprecated, use Verified-zkEVM repository instead☆19Updated 4 months ago
- A verification toolchain for Rust programs☆262Updated this week
- Lean circuit DSL☆74Updated this week
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 4 months ago
- Collection of Key Encapsulation Mechanisms written in pure Rust☆49Updated last month
- Random prime generation and primality testing library based on `crypto-bigint`.☆20Updated this week
- Interface with the rustc compiler for the purpose of program verification☆148Updated this week
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆301Updated 2 months ago
- Formalized Cryptography Proofs in Lean 4☆31Updated last week
- Experiments with Universal Composability in EasyCrypt☆34Updated last week
- A suite of rust libraries for secure multi-party computation☆309Updated last week
- A Rust library containing Galois-field types and utilities☆46Updated 3 weeks ago
- Traits and utilities for working with finite fields.☆244Updated last month
- A post-quantum cryptographic signature scheme☆76Updated last year
- ☆10Updated 2 months ago
- Language for high-assurance and high-speed cryptography☆293Updated this week
- Rust library for cryptographic research☆140Updated 5 months ago