Alternatives and similar repositories for sha256-sat-bitcoin

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

• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 3 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated this week
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆90Updated 5 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 5 months ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆86Updated 3 years ago
• passagemath / LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated last week
• tpoeppelmann / newhope
  ☆97Updated 8 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 3 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 7 years ago
• Pythia3431 / Delphinium
  ☆11Updated 4 years ago
• jedisct1 / gimli
  Reference implementations of the GIMLI permutation
  ☆15Updated 7 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• radii / ggnfs
  GPL Number Field Sieve implementation
  ☆35Updated 14 years ago
• vsklad / cgen
  CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…
  ☆25Updated last year
• kudelskisecurity / EdDSA-fault-attack
  Fault attack agaisnt EdDSA demonstrated on an Arduino Nano board, allowing for partial key recovery and fake signatures.
  ☆72Updated 7 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago
• crocs-muni / classifyRSAkey
  ☆12Updated 4 years ago
• henrycg / balloon
  A memory-hard password hashing function.
  ☆69Updated last year
• sethtroisi / cado-nfs
  CADO-NFS is a complete implementation in C/C++ of the Number Field Sieve (NFS) algorithm for factoring integers. For official releases, p…
  ☆25Updated 5 years ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• meelgroup / arjun
  CNF minimizer and minimal independent set minimizer
  ☆19Updated 3 weeks ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• inmcm / kravatte
  Implementation of Kravatte Encryption Suite
  ☆16Updated 6 years ago
• coron / htable
  High-order countermeasures for AES and DES
  ☆25Updated 9 months ago