asanso / CryptoWithSageMathLinks
Cryptography in SageMath.
☆10Updated 7 years ago
Alternatives and similar repositories for CryptoWithSageMath
Users that are interested in CryptoWithSageMath are comparing it to the libraries listed below
Sorting:
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 3 years ago
- fft impl for ff::Field☆17Updated last year
- Finite Fields and Curves in Lean☆14Updated 2 years ago
- Argument systems for inner pairing products☆43Updated last year
- 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
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 4 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆16Updated 2 years ago
- ☆10Updated 2 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- A minimal RedJubjub implementation for use in Zebra.☆30Updated last month
- ☆22Updated last year
- Formal Analysis of the PQXDH Protocol☆30Updated last year
- C implementation of the CLT13 multilinear map☆14Updated 7 years ago
- Notes on cryptographic schemes and attacks☆25Updated 7 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆38Updated 9 months ago
- math notes under one roof☆32Updated last week
- Fully-compatible implementation of Privacy Pass in Rust.☆35Updated 5 years ago
- Reference implementations of post-quantum cryptographic primitives☆33Updated 5 months ago
- ☆33Updated 11 months ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Updated last year
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆57Updated 2 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Updated last week
- Optimized Binary GCD for Modular Inversion☆51Updated 5 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Rust encryption library for practical time-lock encryption.☆37Updated last year
- toy implementation of bfv in rust☆27Updated 3 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- BLST-Verification☆23Updated last week
- Composable proof transcripts for public-coin arguments of knowledge☆52Updated last year