asanso / CryptoWithSageMathLinks
Cryptography in SageMath.
☆10Updated 6 years ago
Alternatives and similar repositories for CryptoWithSageMath
Users that are interested in CryptoWithSageMath are comparing it to the libraries listed below
Sorting:
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆60Updated 2 years ago
- Notes on cryptographic schemes and attacks☆25Updated 6 years ago
- fft impl for ff::Field☆17Updated last year
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated 2 years ago
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 4 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆36Updated 6 months ago
- Argument systems for inner pairing products☆43Updated last year
- Optimized Binary GCD for Modular Inversion☆45Updated 4 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 2 years ago
- Designing Secure Cryptography☆22Updated 6 years ago
- toy implementation of bfv in rust☆27Updated 3 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆26Updated last year
- Finite Fields and Curves in Lean☆13Updated 2 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated last year
- A minimal RedJubjub implementation for use in Zebra.☆29Updated last month
- ☆17Updated 2 months ago
- Reference implementations of post-quantum cryptographic primitives☆32Updated last month
- Reference repository on Lattice-based Cryptography☆26Updated 11 months ago
- ☆22Updated 10 months ago
- Rust encryption library for practical time-lock encryption.☆34Updated last year
- Formal Analysis of the PQXDH Protocol☆27Updated last year
- MAYO C implementation☆19Updated 6 months ago
- math notes under one roof☆29Updated 5 months ago
- Curve ecGFp5☆68Updated 3 years ago
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆45Updated 5 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated last year
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Driver for round-based protocols in Rust☆24Updated last year
- An implementation of ZKBoo☆33Updated 3 years ago
- ☆31Updated 8 months ago