FeanorTheElf / feanor-mathLinks
A fast, pure-Rust library for computational number theory
☆29Updated 3 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:
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Please see https://github.com/hacspec/hax☆243Updated last year
- Fully Homomorphic Encryption library in Rust☆228Updated 11 months ago
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆238Updated this week
- ☆10Updated 3 months ago
- The formally verified crypto library for Rust☆134Updated this week
- A suite of rust libraries for secure multi-party computation☆312Updated last month
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- FN-DSA (Falcon) signature scheme☆42Updated 2 months ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆49Updated 4 months ago
- Lean circuit DSL☆77Updated this week
- Prototyping library for lattice-based cryptography.☆21Updated last month
- Official SQIsign code, version under continuous development☆29Updated last week
- Traits and utilities for working with finite fields.☆246Updated 2 months ago
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆46Updated last week
- deprecated, use Verified-zkEVM repository instead☆19Updated 5 months ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆303Updated 3 weeks ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 5 months ago
- A Rust verification tool☆272Updated this week
- ☆60Updated last month
- Collection of Key Encapsulation Mechanisms written in pure Rust☆49Updated 2 weeks ago
- A verification toolchain for Rust programs☆299Updated last week
- Formalized Cryptography Proofs in Lean 4☆32Updated last week
- Experiments with Universal Composability in EasyCrypt☆34Updated last week
- Formal Analysis of the PQXDH Protocol☆25Updated last year
- ☆40Updated 4 months ago
- ☆16Updated 2 years ago
- Random prime generation and primality testing library based on `crypto-bigint`.☆21Updated 2 weeks ago
- TFHE-rs: A (Practical) Handbook - First Edition☆18Updated 4 months ago
- Formally Verified Arguments of Knowledge in Lean☆81Updated this week