Lecture notes on the Foundations of Isogeny-based Cryptography
☆33Sep 5, 2024Updated last year
Alternatives and similar repositories for MathematicsOfIBC
Users that are interested in MathematicsOfIBC are comparing it to the libraries listed below
Sorting:
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 3 years ago
- A BibTeX collection on Isogeny-based Cryptography☆18Jan 20, 2023Updated 3 years ago
- ☆15Jan 23, 2026Updated last month
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Aug 5, 2022Updated 3 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 2 months ago
- ☆12Nov 11, 2022Updated 3 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- ☆13Feb 23, 2026Updated last week
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆25Jan 15, 2025Updated last year
- CryptoBib BibTex files☆62Feb 18, 2026Updated last week
- Cryptanalysis of the Legendre PRF Challenges☆11Nov 27, 2019Updated 6 years ago
- ☆14May 3, 2019Updated 6 years ago
- The secure messaging summit information☆20Oct 27, 2020Updated 5 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents☆12Jul 1, 2021Updated 4 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆12Nov 18, 2017Updated 8 years ago
- ☆15May 27, 2021Updated 4 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- ☆44Feb 28, 2023Updated 3 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Official SQISignHD code, version under continuous development.☆12Jul 18, 2025Updated 7 months ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Nov 21, 2021Updated 4 years ago
- ☆42May 29, 2024Updated last year
- Slides from talks and other materials related to post-quantum crypto☆12Feb 20, 2021Updated 5 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- Optimizations for Pairing-Based Cryptography☆17Sep 10, 2021Updated 4 years ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Jun 18, 2019Updated 6 years ago
- a web page / paper☆18Feb 24, 2017Updated 9 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆25Feb 25, 2021Updated 5 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆25Jun 24, 2023Updated 2 years ago
- Pointcheval Sanders signature☆27Jan 16, 2020Updated 6 years ago
- ring-vrf ring proof v2.5☆20Feb 19, 2026Updated last week
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- Wycheproof for Rust☆20Sep 3, 2025Updated 6 months ago
- ☆18Oct 30, 2023Updated 2 years ago
- The instance generator of the Vision and Rescue block ciphers.☆17Mar 4, 2022Updated 3 years ago