qfall / math
Library providing mathematical basics in Rust. The library is based on FLINT.
☆20Updated this week
Related projects ⓘ
Alternatives and complementary repositories for math
- Prototyping library for lattice-based cryptography.☆14Updated 2 weeks ago
- ☆23Updated 2 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆34Updated 11 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆26Updated 3 weeks ago
- Experiments with Universal Composability in EasyCrypt☆31Updated last week
- SageMath library for constructing elliptic curves☆65Updated last year
- LaTeX package for typesetting pseudocode and cryptographic games☆155Updated 11 months ago
- The fully homomorhic encryption scheme based on NTRU and LWE.☆35Updated last month
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆37Updated last year
- A C++ implementation of the TinyLEGO cryptographic protocol [NST17] for general secure two-party computation☆16Updated 7 years ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆29Updated last month
- ☆13Updated last month
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆48Updated 2 years ago
- An implementation of the LowMC block cipher family.☆24Updated 6 years ago
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆111Updated 8 months ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆84Updated last year
- ☆18Updated 5 years ago
- Curve ecGFp5☆67Updated 2 years ago
- Hashing to Elliptic Curves☆79Updated 2 months ago
- Lattices in Cryptography (University of Michigan)☆65Updated last month
- CryptoBib BibTex files☆52Updated 3 weeks ago
- CryptoBib Database for Developers☆40Updated 3 weeks ago
- Security Estimation Scripts for Kyber and Dilithium☆24Updated 3 years ago
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆34Updated this week
- Libra zero knowledge proof system☆48Updated last year
- An implementation of a threshold ECDSA signature scheme☆12Updated this week
- An elastic proof system based on arkworks☆76Updated 10 months ago
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆56Updated last month
- Efficient and Interactive Zero-Knowledge Proofs☆80Updated 9 months ago