Alternatives and similar repositories for libquantum

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

• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• JeremyRubin / MAST
  6.858 final project.
  ☆18Updated 10 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆47Updated 5 years ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 6 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• refu-lang / refu
  Refu language
  ☆21Updated 4 years ago
• j2kun / elliptic-curves-rationals
  Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.
  ☆21Updated 5 years ago
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 6 years ago
• NoraCodes / sbrain
  A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.
  ☆24Updated 6 years ago
• gendx / gravity-rs
  A Rust implementation of the Gravity-post-quantum signature schemes
  ☆18Updated 2 months ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆29Updated 8 years ago
• Crypt0-Bear / xmr-eth-swap-playground
  Cross-chain atomic swap protocol between Monero and Ethereum
  ☆14Updated 4 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• scipr-lab / bace
  C++ library for evaluating arithmetic circuits on batches of inputs
  ☆15Updated 9 years ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆14Updated 2 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆23Updated 2 weeks ago
• jvns / masters-thesis
  My master's thesis, on the algebra of topological quantum computing
  ☆20Updated 11 years ago
• bcrypto / bee2
  ☆14Updated 8 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆22Updated 2 years ago
• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 8 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 4 years ago
• AthenaFoundation / athena
  Athena is a modern, practical language for proof engineering & natural deduction.
  ☆78Updated 6 months ago
• ZcashFoundation / ristretto255-dh
  Diffie-Hellman key exchange using the Ristretto255 group, in Rust.
  ☆23Updated 3 years ago
• cypherpunk-symposium / ml-quantum-tensorflow-py
  👾 quantum tensorflow machine learning deployment on k8s
  ☆13Updated last year
• rsaarelm / urbit-rs
  ☆11Updated 9 years ago
• bornreddy / FFT
  FFT Explorations (basic implementation)
  ☆10Updated 11 years ago
• jancarlsson / snarkfront
  a C++ embedded domain specific language for zero knowledge proofs
  ☆59Updated 9 years ago
• google-deepmind / loopix-messaging
  Anonymous messaging using mix networks
  ☆46Updated 6 years ago
• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 7 years ago