GiacomoPope / isogeny_rsView external linksLinks
Rust library for isogeny-based cryptography
☆20Dec 11, 2025Updated 2 months ago
Alternatives and similar repositories for isogeny_rs
Users that are interested in isogeny_rs are comparing it to the libraries listed below
Sorting:
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆25Jan 15, 2025Updated last year
- ☆14Apr 14, 2025Updated 10 months ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 3 months ago
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated 10 months ago
- MacTok is a research prototype for a one-time anonymous token scheme based on algebraic MACs.☆23Jan 20, 2023Updated 3 years ago
- Implementations of do255e and do255s in C and assembly☆25May 3, 2021Updated 4 years ago
- ☆25Mar 13, 2025Updated 11 months ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆32Sep 5, 2024Updated last year
- Verifiable Credentials Working Group — VC JSON Web Tokens specification☆31Apr 28, 2025Updated 9 months ago
- Rust library for cryptographic research☆152Dec 27, 2024Updated last year
- Official SQIsign code, version under continuous development☆52Jun 19, 2025Updated 7 months ago
- ☆37Sep 18, 2023Updated 2 years ago
- ☆44Feb 28, 2023Updated 2 years ago
- Minecraft Redstone Compiler☆13Feb 9, 2025Updated last year
- Specifications of cryptographic algorithms in Cryptol☆46Dec 23, 2025Updated last month
- This library parses the barcode data on a North American driver license or identification card.☆16May 13, 2025Updated 9 months ago
- Sage implementation of the MAYO scheme☆14Feb 3, 2025Updated last year
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆46Updated this week
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last week
- Post-quantum Wireguard (Theory)☆12Sep 9, 2020Updated 5 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Bertie TLS 1.3 Implementation☆129Oct 9, 2025Updated 4 months ago
- A proposal to extend FedCM to allow RPs to accept "any" registered IdP☆17Sep 17, 2025Updated 4 months ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated last month
- ☆18Jun 6, 2025Updated 8 months ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- ☆11Nov 11, 2022Updated 3 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- ☆15Sep 2, 2024Updated last year
- work in progress, playing around with btor2 in rust☆12Feb 6, 2026Updated last week
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 4 months ago
- Common MPC Pitfalls☆12Oct 27, 2025Updated 3 months ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Jan 27, 2015Updated 11 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆15Oct 19, 2021Updated 4 years ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Mar 30, 2025Updated 10 months ago
- Patch files to allow post-quantum OQS key exchange libraries to be used with OpenSSH☆16Aug 30, 2022Updated 3 years ago
- ☆13Nov 25, 2025Updated 2 months ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.☆17Apr 19, 2016Updated 9 years ago