Alternatives and similar repositories for sha256-sat-bitcoin

Users that are interested in sha256-sat-bitcoin are comparing it to the libraries listed below

• sjneph / satfactor
  Convert an integer factorization problem into a boolean SATISFIABILITY problem.
  ☆10Updated 6 years ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• crocs-muni / classifyRSAkey
  ☆12Updated 5 years ago
• kudelskisecurity / EdDSA-fault-attack
  Fault attack agaisnt EdDSA demonstrated on an Arduino Nano board, allowing for partial key recovery and fake signatures.
  ☆73Updated 8 years ago
• czielinski / secmultipartycomp
  Introduction to Secure Multi-Party Computations
  ☆16Updated 7 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆59Updated 8 years ago
• henrycg / balloon
  A memory-hard password hashing function.
  ☆71Updated 2 years ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 3 years ago
• mjosaarinen / pqps
  Tools for power measurements of post-quantum cryptographic algorithms
  ☆30Updated 6 years ago
• shadow / shadow-plugin-bitcoin
  A Shadow plug-in that runs the Bitcoin Satoshi reference software
  ☆25Updated 5 years ago
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆45Updated 10 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• gravity-postquantum / gravity-sphincs
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆74Updated 8 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• hbhdytf / PinSketch
  Implementation of algorithms from the paper Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data
  ☆14Updated 11 years ago
• joostrijneveld / SPHINCS-256-py
  A Python implementation of the SPHINCS-256 scheme
  ☆15Updated 9 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆31Updated last year
• mmastrac / oblivious-cpu
  A re-implementation of ShapeCPU
  ☆19Updated 3 years ago
• ewust / DDoSCoin
  A malicious cryptocurrency
  ☆51Updated 9 years ago
• fruh / BitPunch
  Standalone McEliece implemetation
  ☆13Updated 8 years ago
• jedisct1 / gimli
  Reference implementations of the GIMLI permutation
  ☆15Updated 8 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• benlaurie / hacl
  Experimental High Assurance Cryptographic Library
  ☆20Updated 9 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 6 months ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆28Updated last year
• Chair-for-Security-Engineering / ecmongpu
  ECM Factorization on CUDA-GPUs
  ☆14Updated 5 years ago
• vscrypto / ringlwe
  A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 ca…
  ☆36Updated 7 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 10 years ago