A rust and SageMath implementation of (2,2)-isogenies in the theta model
☆25Jan 15, 2025Updated last year
Alternatives and similar repositories for two-isogenies
Users that are interested in two-isogenies are comparing it to the libraries listed below
Sorting:
- Official SQIsign code, version under continuous development☆52Jun 19, 2025Updated 8 months ago
- ☆44Feb 28, 2023Updated 3 years ago
- Implementation of the signature scheme SQISign accompanying the paper "New algorithms for the Deuring correspondence - Towards practical …☆17May 17, 2024Updated last year
- Is SIKE broken yet?☆20Feb 15, 2023Updated 3 years ago
- Rust library for isogeny-based cryptography☆21Feb 25, 2026Updated last week
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Mar 30, 2025Updated 11 months ago
- ☆15Jan 23, 2026Updated last month
- Lecture notes on the Foundations of Isogeny-based Cryptography☆33Sep 5, 2024Updated last year
- ☆15Mar 14, 2023Updated 2 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆140Apr 17, 2023Updated 2 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- FN-DSA (Falcon) signature scheme☆49Mar 30, 2025Updated 11 months ago
- ☆17Apr 1, 2025Updated 11 months ago
- The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents☆12Jul 1, 2021Updated 4 years ago
- A tool for verifying game-hopping proofs☆15Updated this week
- Official SQISignHD code, version under continuous development.☆12Jul 18, 2025Updated 7 months ago
- ☆18Oct 30, 2023Updated 2 years ago
- Implementation of the ZKB++ proof system☆20May 28, 2019Updated 6 years ago
- A pure python implementation of ML-DSA (FIPS 204) and CRYSTALS-Dilithium☆122Dec 17, 2025Updated 2 months ago
- This is only the beginning.☆19Updated this week
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 11 months ago
- Rust library for cryptographic research☆152Dec 27, 2024Updated last year
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Aug 5, 2022Updated 3 years ago
- ☆25Mar 13, 2025Updated 11 months ago
- Formal Analysis of the PQXDH Protocol☆30Jun 6, 2024Updated last year
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 3 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Jun 7, 2024Updated last year
- ☆112Apr 22, 2025Updated 10 months ago
- This is a Tamarin model of TLS 1.3☆42Aug 19, 2023Updated 2 years ago
- ☆37Sep 18, 2023Updated 2 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- A blazingly fast Rust-based large file opener plugin for Neovim☆63Updated this week
- Sources and Documentation for the HINT project☆11Feb 17, 2026Updated 2 weeks ago
- We implement the progressive Improved Progressive BKZ with Lattice Sieving presented in https://eprint.iacr.org/2022/1343, one can call i…☆13Feb 14, 2025Updated last year
- Extract (DOM tree) repetitions from a webpage☆12Jan 13, 2014Updated 12 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆43Oct 10, 2023Updated 2 years ago
- A tool for running presentations without fluff. Effectively a spiritual fork of the `suckless` tool, `sent`. 🍃☆10Nov 5, 2025Updated 4 months ago
- Post-quantum Wireguard (Theory)☆12Sep 9, 2020Updated 5 years ago