Alternatives and similar repositories for sha256-sat-bitcoin:

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

• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 4 months 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
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• radii / ggnfs
  GPL Number Field Sieve implementation
  ☆35Updated 13 years ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 2 years ago
• cpeikert / CollimationSieve
  Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.
  ☆14Updated 5 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• Chair-for-Security-Engineering / ecmongpu
  ECM Factorization on CUDA-GPUs
  ☆12Updated 4 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆85Updated 3 years ago
• bogdan-kulynych / libshe
  Symmetric somewhat homomorphic encryption library based on DGHV
  ☆27Updated 7 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 2 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated this week
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago
• johndoe31415 / toyecc
  Elliptic Curve Cryptography playground/toolkit written in pure Python
  ☆67Updated 2 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 3 weeks 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
• 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
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• morpav / zceq_solver
  CPU solver for Zcash's variant of Equihash problem
  ☆22Updated 8 years ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆69Updated 2 weeks ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• sagemath / binary-pkg
  Tools for creating binary tarballs
  ☆15Updated 3 years ago
• sadeghriazi / MPCircuits
  Optimized Circuit Generation for Secure Multiparty Computation
  ☆12Updated 5 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆44Updated 9 years ago
• trevphil / cryptosym
  SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
  ☆38Updated 2 years ago
• isislovecruft / ristretto-donna
  A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group
  ☆14Updated 4 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago