Alternatives and similar repositories for libquantum

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

• scipr-lab / bace
  C++ library for evaluating arithmetic circuits on batches of inputs
  ☆15Updated 8 years ago
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 5 years ago
• teserakt-io / pqgo
  cgo wrappers around post-quantum cryptography primitives
  ☆23Updated 6 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆47Updated 5 years ago
• comit-network / rust-secp256k1-zkp
  ☆10Updated 3 years ago
• refu-lang / refu
  Refu language
  ☆21Updated 3 years ago
• lmrs2 / zerostack
  Clang/LLVM patches to zero stack/registers of sensitive functions
  ☆14Updated 7 years ago
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 9 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 4 years ago
• firoorg / spark-paper
  The technical paper for the Spark protocol
  ☆11Updated last year
• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 8 years ago
• dedis / doc
  Public working documents (e.g., Internet drafts)
  ☆23Updated 7 years ago
• j2kun / elliptic-curves-rationals
  Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.
  ☆20Updated 5 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 5 months ago
• nccgroup / pairing-bls12381
  Pairing operations over the BLS12-381 elliptic curve in Haskell
  ☆14Updated 3 years ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 8 years ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆13Updated 2 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆39Updated 9 months ago
• ZcashFoundation / redjubjub
  A minimal RedJubjub implementation for use in Zebra.
  ☆28Updated 3 months ago
• 5GenCrypto / clt13
  C implementation of the CLT13 multilinear map
  ☆14Updated 6 years ago
• isislovecruft / ristretto-donna
  A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group
  ☆14Updated 4 years ago
• google-deepmind / loopix-messaging
  Anonymous messaging using mix networks
  ☆45Updated 5 years ago
• mknyszek / rust-libquantum
  Rust bindings for libquantum
  ☆12Updated 7 years ago
• ParaGroup / DAC
  Divide-and-Conquer Parallel Pattern Implementation in FastFlow
  ☆10Updated 3 years ago
• iden3 / ffiasm-old
  Intel assembly finite field library generator
  ☆12Updated last year
• dapp-studies / blockchain-reading-group
  Papers relating to decentralized applications.
  ☆16Updated 8 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago
• jbms / ecmh
  Elliptic Curve Multiset Hash
  ☆18Updated 6 years ago