Alternatives and similar repositories for TAC

Users that are interested in TAC are comparing it to the libraries listed below

• microsoft / QuantumEllipticCurves
  Quantum implementation of elliptic curve primitives
  ☆32Updated 3 years ago
• microsoft / PQCrypto-SIKE
  This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.
  ☆61Updated 2 years ago
• cfrg / draft-irtf-cfrg-vdaf
  VDAF specification
  ☆23Updated last week
• defeo / isogenies.bib
  A BibTeX collection on Isogeny-based Cryptography
  ☆17Updated 2 years ago
• defeo / MathematicsOfIBC
  Lecture notes on the Foundations of Isogeny-based Cryptography
  ☆28Updated 10 months ago
• cfrg / draft-irtf-cfrg-hpke
  Hybrid Public Key Encryption
  ☆51Updated last year
• KPN-CISO / pq-wg-theory
  Post-quantum Wireguard (Theory)
  ☆11Updated 4 years ago
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆15Updated 2 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• Pierrick-Dartois / SQISignHD-lib
  Official SQISignHD code, version under continuous development.
  ☆13Updated this week
• usnistgov / ACVP-Server
  A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.
  ☆81Updated last month
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆33Updated last month
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• IETF-Hackathon / pqc-certificates
  Post-quantum cryptography certificates
  ☆66Updated last month
• tireddy2 / pqc-for-engineers
  ☆17Updated 3 weeks ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated last year
• microsoft / PQCrypto-LWEKE
  FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservati…
  ☆143Updated 7 months ago
• charlie-j / fm-crypto-lib
  ☆14Updated 3 months ago
• microsoft / SIKE-challenges
  ☆40Updated last year
• open-quantum-safe / boringssl
  Fork of BoringSSL that includes prototype quantum-resistant key exchange and authentication in the TLS handshake based on liboqs
  ☆38Updated 2 months ago
• cryspen / hpke-rs
  Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
  ☆37Updated last week
• formosa-crypto / formosa-mlkem
  ☆14Updated this week
• octaviopk9 / lattice-based-cryptography
  Reference repository on Lattice-based Cryptography
  ☆25Updated 8 months ago
• dstebila / pygamehop
  [work in progress] Python framework for supporting cryptographic game-hopping proofs
  ☆13Updated 2 years ago
• HACS-workshop / HACS-workshop.github.io
  High Assurance Cryptographic Software
  ☆10Updated 7 months ago
• pq-code-package / mlkem-native
  Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
  ☆87Updated this week
• ietf-wg-ppm / draft-ietf-ppm-dap
  This document describes the Distributed Aggregation Protocol (DAP) being developed by the PPM working group at IETF.
  ☆51Updated last week
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• brave-experiments / CDLS
  CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness
  ☆11Updated 8 months ago
• ietf-wg-pquip / state-of-protocols-and-pqc
  A list of the state of IETF protocols and PQC
  ☆65Updated 3 weeks ago