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
  ☆52Updated 8 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated 2 weeks 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
• brave-intl / challenge-bypass-ristretto
  Challenge Bypass using the Ristretto group
  ☆36Updated 2 weeks ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 6 years ago
• snipsco / rust-paillier
  A pure-Rust implementation of the Paillier encryption scheme
  ☆82Updated 7 years ago
• fizyk20 / rust-gmp
  gmp bindings for rust
  ☆40Updated 4 years ago
• zcash-hackworks / bn
  Pairing cryptography library in Rust
  ☆165Updated 2 years ago
• SabaEskandarian / Express
  Prototype of a system for metadata-hiding communication for whistleblowers
  ☆20Updated 5 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• SpinResearch / merkle_sigs.rs
  🎄🖋 A Rust implementation of Merkle signing
  ☆15Updated 4 years ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆56Updated last year
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆55Updated last year
• dstebila / pygamehop
  [work in progress] Python framework for supporting cryptographic game-hopping proofs
  ☆13Updated 2 years ago
• 5GenCrypto / clt13
  C implementation of the CLT13 multilinear map
  ☆14Updated 6 years ago
• Bren2010 / ecc
  Elliptic curve arithmetic and cryptography library in pure Rust.
  ☆94Updated 10 years ago
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆53Updated 7 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated 3 weeks ago
• defeo / isogenies.bib
  A BibTeX collection on Isogeny-based Cryptography
  ☆17Updated 2 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆80Updated this week
• formosa-crypto / libjade
  Crypto library
  ☆60Updated this week
• franziskuskiefer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆28Updated 5 years ago
• HACS-workshop / HACS-workshop.github.io
  High Assurance Cryptographic Software
  ☆10Updated 7 months ago
• dalek-cryptography / zkp
  Experimental zero-knowledge proof compiler in Rust macros
  ☆159Updated last year
• GaloisInc / scuttlebutt
  Multi-party computation utilities toolkit for rust
  ☆16Updated 5 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 4 months ago