ThetaIsogenies / two-isogeniesView external linksLinks
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 7 months ago
- ☆44Feb 28, 2023Updated 2 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☆20Dec 11, 2025Updated 2 months ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Mar 30, 2025Updated 10 months ago
- ☆15Jan 23, 2026Updated 3 weeks ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆32Sep 5, 2024Updated last year
- ☆15Mar 14, 2023Updated 2 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆138Apr 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 10 months ago
- ☆17Apr 1, 2025Updated 10 months ago
- A tool for verifying game-hopping proofs☆15Jan 13, 2026Updated last month
- The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents☆12Jul 1, 2021Updated 4 years ago
- Official SQISignHD code, version under continuous development.☆12Jul 18, 2025Updated 6 months ago
- ☆18Oct 30, 2023Updated 2 years ago
- A pure python implementation of ML-DSA (FIPS 204) and CRYSTALS-Dilithium☆120Dec 17, 2025Updated last month
- This is only the beginning.☆19Feb 4, 2026Updated last week
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 10 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
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Jun 7, 2024Updated last year
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 2 years ago
- This is a Tamarin model of TLS 1.3☆41Aug 19, 2023Updated 2 years ago
- ☆37Sep 18, 2023Updated 2 years ago
- Training Language Model Agents to Find Vulnerabilities with CTF-Dojo☆32Jan 10, 2026Updated last month
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Data analityics and dashboards about your perfomance inside neovim? yeah 📊☆12May 22, 2024Updated last year
- 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
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 6 months ago
- Implements Coron's simplification of Coppersmith's algorithm☆43Oct 10, 2023Updated 2 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Jan 27, 2015Updated 11 years ago
- Primitives and routines for 2D shapes, curves, and paths. A port of kurbo.☆11Mar 26, 2025Updated 10 months ago
- NewHope key exchange mechanism implementation on Cortex-M series microcontrollers.☆13Aug 4, 2016Updated 9 years ago
- implementation of bk-tree for golang☆11Jan 25, 2021Updated 5 years ago