Alternatives and similar repositories for FESTA-SageMath

Users that are interested in FESTA-SageMath are comparing it to the libraries listed below

• burdges / isogenies_vdf_uses

  View on GitHub
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Oct 19, 2021Updated 4 years ago
• SQISign / sqisign-ac20-obsolete

  View on GitHub
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Feb 23, 2023Updated 2 years ago
• defeo / isogenies.bib

  View on GitHub
  A BibTeX collection on Isogeny-based Cryptography
  ☆18Jan 20, 2023Updated 3 years ago
• geovandro / post-quantum-crypto

  View on GitHub
  Slides from talks and other materials related to post-quantum crypto
  ☆12Feb 20, 2021Updated 4 years ago
• friends-of-quaternions / deuring

  View on GitHub
  ☆15Jan 23, 2026Updated 3 weeks ago
• DeepSec-prover / deepsec

  View on GitHub
  DEciding Equivalence Properties in SECurity protocols
  ☆20Mar 1, 2023Updated 2 years ago
• PQCA / TAC

  View on GitHub
  ☆18Feb 6, 2026Updated last week
• zkcrypto / groth16

  View on GitHub
  Implementation of the Groth16 zk-SNARK proving system
  ☆21Jul 6, 2018Updated 7 years ago
• ThetaIsogenies / two-isogenies

  View on GitHub
  A rust and SageMath implementation of (2,2)-isogenies in the theta model
  ☆25Jan 15, 2025Updated last year
• dominique-unruh / qrhl-tool

  View on GitHub
  Proof assistant for qRHL
  ☆22Feb 5, 2026Updated last week
• JJChiDguez / sibc

  View on GitHub
  Supersingular Isogeny-Based Cryptography constructions (python-code library)
  ☆51Aug 5, 2022Updated 3 years ago
• isogenies-vdf / isogenies-vdf-sage

  View on GitHub
  Sage implementation of the isogeny-and-pairing based VDF
  ☆25Feb 25, 2021Updated 4 years ago
• Inria-Prosecco / pqxdh-analysis

  View on GitHub
  Formal Analysis of the PQXDH Protocol
  ☆30Jun 6, 2024Updated last year
• defeo / MathematicsOfIBC

  View on GitHub
  Lecture notes on the Foundations of Isogeny-based Cryptography
  ☆32Sep 5, 2024Updated last year
• microsoft / QuantumEllipticCurves

  View on GitHub
  Quantum implementation of elliptic curve primitives
  ☆33May 20, 2022Updated 3 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• c4osl / rocketchatcsam

  View on GitHub
  This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…
  ☆12Nov 17, 2025Updated 2 months ago
• sbravyi / symmetric_group_characters

  View on GitHub
  Matrix Product State algorithm for computing characters of the symmetric group S_n
  ☆11Sep 26, 2025Updated 4 months ago
• easyuc / EasyUC

  View on GitHub
  Experiments with Universal Composability in EasyCrypt
  ☆43Updated this week
• microsoft / SIKE-challenges

  View on GitHub
  ☆42May 29, 2024Updated last year
• BlackInRobotics / BlackInRobotics.github.io

  View on GitHub
  ☆11Mar 18, 2025Updated 10 months ago
• nimble-training / nimble-virtual-2021

  View on GitHub
  Materials for the virtual NIMBLE workshop, May 26-28, 2021. For logistical information, please look below the file listing.
  ☆14May 28, 2021Updated 4 years ago
• isislovecruft / xocolatl

  View on GitHub
  ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥
  ☆12Jan 27, 2015Updated 11 years ago
• brave-experiments / CDLS

  View on GitHub
  CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness
  ☆11Nov 2, 2024Updated last year
• antiboredom / interrogating-dating-pioneer-works

  View on GitHub
  ☆11Dec 3, 2020Updated 5 years ago
• zcash / zcash-test-vectors

  View on GitHub
  ☆13Nov 25, 2025Updated 2 months ago
• jvanbruegge / Megarecord

  View on GitHub
  My experiment about implementing Row Polymorphism in current Haskell
  ☆16Dec 9, 2018Updated 7 years ago
• microsoft / PQCrypto-PatchforOpenSSH

  View on GitHub
  Patch files to allow post-quantum OQS key exchange libraries to be used with OpenSSH
  ☆16Aug 30, 2022Updated 3 years ago
• purescript-deprecated / purescript-symbols

  View on GitHub
  ☆12Oct 3, 2020Updated 5 years ago
• fordsec / racets

  View on GitHub
  Faceted execution in Racket
  ☆11Sep 11, 2018Updated 7 years ago
• veracrypt / ConcealDrive

  View on GitHub
  Conceal a disk partition from Windows
  ☆13Feb 24, 2016Updated 9 years ago
• TheSICQ / ApresSQI

  View on GitHub
  Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".
  ☆10Mar 30, 2025Updated 10 months ago
• seokhyung-lee / OptGraphState

  View on GitHub
  Graph-theoretical optimization of fusion-based graph state generation
  ☆10Jun 4, 2025Updated 8 months ago
• charlie-j / fm-crypto-lib

  View on GitHub
  ☆14Apr 14, 2025Updated 10 months ago
• lambda-rennes / space-invaders

  View on GitHub
  ☆10Jun 14, 2020Updated 5 years ago
• NationalSecurityAgency / PACE-python

  View on GitHub
  ☆11Aug 15, 2023Updated 2 years ago
• lamps-wg / dilithium-certificates

  View on GitHub
  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
• rulyox / node-encrypter

  View on GitHub
  🔒 A Node.js ransomware implementation.
  ☆11Jun 17, 2021Updated 4 years ago
• arkworks-rs / bcs

  View on GitHub
  ☆11Nov 11, 2022Updated 3 years ago