gmp-mirror / gmpLinks
Unofficial mirror of GMP development branch
☆14Updated 4 months ago
Alternatives and similar repositories for gmp
Users that are interested in gmp are comparing it to the libraries listed below
Sorting:
- Circuits for functions of interest to cryptography☆27Updated last year
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- Clang/LLVM patches to zero stack/registers of sensitive functions☆14Updated 7 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Updated 4 years ago
- Finite Fields and Curves in Lean☆13Updated 2 years ago
- ☆16Updated 2 weeks ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 9 months ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆40Updated this week
- ☆12Updated 3 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- VDAF specification☆23Updated last week
- Official SQISignHD code, version under continuous development.☆13Updated 3 weeks ago
- Reference repository on Lattice-based Cryptography☆25Updated 8 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 2 months ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Updated 4 years ago
- Implementations of do255e and do255s in C and assembly☆25Updated 4 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- MAYO C implementation☆16Updated 2 months ago
- Implementation of the signature scheme SQISign accompanying the paper "New algorithms for the Deuring correspondence - Towards practical …☆15Updated last year
- Proof-of-possession for KEM certificates using verifiable generation☆9Updated 3 years ago
- Banquet implementation☆13Updated 3 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆12Updated last week
- Always up-to-date mirror of the SUPERCOP cryptographic benchmark.☆30Updated 2 months ago
- ☆13Updated 2 months ago
- Optimized Binary GCD for Modular Inversion☆44Updated 4 years ago
- High Assurance Cryptographic Software☆10Updated 7 months ago
- Formal Analysis of the PQXDH Protocol☆25Updated last year
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- ☆10Updated 3 years ago