Alternatives and similar repositories for crypto.graphics:

Users that are interested in crypto.graphics are comparing it to the libraries listed below

• amiller / lambda-auth
  authenticated data structures, generically
  ☆51Updated 8 years ago
• GaloisInc / ocelot
  Oblivious transfer library for rust
  ☆11Updated 5 years ago
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆52Updated 6 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• zcash-hackworks / bn
  Pairing cryptography library in Rust
  ☆165Updated last year
• Electric-Coin-Company / jubjub-prototype
  ☆59Updated 7 years ago
• snipsco / rust-paillier
  A pure-Rust implementation of the Paillier encryption scheme
  ☆82Updated 6 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 2 years ago
• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 6 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆35Updated 7 years ago
• cfrg / draft-irtf-cfrg-voprf
  Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups
  ☆39Updated 6 months ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆50Updated 11 months ago
• Sobuno / ZKBoo
  ☆49Updated last year
• brave-intl / challenge-bypass-ristretto
  Challenge Bypass using the Ristretto group
  ☆35Updated last week
• dalek-cryptography / zkp
  Experimental zero-knowledge proof compiler in Rust macros
  ☆158Updated last year
• formosa-crypto / libjade
  Crypto library
  ☆57Updated 3 weeks ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• bcoin-org / libtorsion
  C crypto library
  ☆23Updated last year
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆55Updated 2 years ago
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• kobigurk / wasm_proof
  ☆64Updated 6 years ago
• katzenpost / docs
  specification and design documents
  ☆54Updated 2 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆79Updated last week
• Chia-Network / vdf-competition
  ☆25Updated 2 years ago
• zcash / sapling-crypto
  Zcash "Sapling" cryptography
  ☆84Updated last month
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• privacylab / talek
  a Private Publish Subscribe System
  ☆49Updated 11 months ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 6 years ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆230Updated 4 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆90Updated 5 years ago