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:
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 4 years ago
- fft impl for ff::Field☆17Updated last year
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 2 years ago
- Argument systems for inner pairing products☆43Updated last year
- Notes on cryptographic schemes and attacks☆25Updated 6 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆37Updated 7 months ago
- 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
- ☆22Updated 11 months ago
- An implementation of ZKBoo☆33Updated 3 years ago
- math notes under one roof☆32Updated 6 months ago
- addition chains☆20Updated 7 years ago
- Curve ecGFp5☆68Updated 3 years ago
- Official SQIsign code, version under continuous development☆43Updated 5 months ago
- A minimal RedJubjub implementation for use in Zebra.☆30Updated last week
- toy implementation of bfv in rust☆27Updated 3 years ago
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆45Updated 5 years ago
- Rust encryption library for practical time-lock encryption.☆35Updated last year
- ☆17Updated last week
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Updated last year
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- An elastic proof system based on arkworks☆85Updated last year
- ☆10Updated last year
- ☆32Updated 9 months ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Updated last week
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆58Updated 2 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 11 months ago
- Banquet implementation☆14Updated 3 years ago
- Code for zero-knowledge middleboxes☆63Updated 3 years ago
- ☆10Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year