FeanorTheElf / feanor-math
A fast, pure-Rust library for computational number theory
☆16Updated this week
Related projects ⓘ
Alternatives and complementary repositories for feanor-math
- Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas☆193Updated last week
- Fully Homomorphic Encryption library in Rust☆206Updated 4 months ago
- Random prime generation and primality testing library based on `crypto-bigint`.☆18Updated this week
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆25Updated 5 months ago
- Collection of Key Encapsulation Mechanisms written in pure Rust☆30Updated last month
- Rust implementation of Shamir's Secret Sharing☆26Updated last year
- A pure-Rust implementation of the Paillier encryption scheme☆37Updated last year
- A Rust library containing Galois-field types and utilities☆41Updated 11 months ago
- Traits and utilities for working with finite fields.☆238Updated 3 months ago
- Collection of sponge functions written in pure Rust☆41Updated this week
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆51Updated last year
- Prototyping library for lattice-based cryptography.☆14Updated this week
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- A partial actor pattern with a global orchestrator.☆27Updated 2 months ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆252Updated 3 months ago
- Rust library for cryptographic research☆134Updated 5 months ago
- A maliciously secure two-party computation engine which is embeddable and accessible☆179Updated this week
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆66Updated 2 years ago
- A verification toolchain for Rust programs☆207Updated this week
- ☆57Updated last month
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Please see https://github.com/hacspec/hax☆243Updated 9 months ago
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆39Updated this week
- The code is the spec☆37Updated last year
- An implementation of the Paillier cryptosystem☆16Updated 2 weeks ago
- Ed25519 suitable for use in consensus-critical contexts.☆46Updated 3 months ago
- A Rust verification tool☆198Updated this week
- The formally verified crypto library for Rust☆89Updated this week
- Collection of mathematics routines and cryptography for the twenty-first century☆74Updated 3 weeks ago
- Rust implementation for zcash/pasta☆81Updated 11 months ago