Alternatives and similar repositories for sha256-sat-bitcoin

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

• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 8 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 3 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• 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…
  ☆28Updated 5 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 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 2 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆28Updated last year
• 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
• crocs-muni / classifyRSAkey
  ☆12Updated 5 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated this week
• czielinski / secmultipartycomp
  Introduction to Secure Multi-Party Computations
  ☆16Updated 6 years ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆60Updated 3 years ago
• gravity-postquantum / gravity-sphincs
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆74Updated 7 years ago
• onechip / dlog-nfs
  Solve discrete logarithm problems by the number field sieve method.
  ☆19Updated 8 years ago
• shadow / shadow-plugin-bitcoin
  A Shadow plug-in that runs the Bitcoin Satoshi reference software
  ☆25Updated 5 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 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
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆29Updated 7 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 4 months 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
• mmeh / simon-speck-cryptanalysis
  Cryptanalysis code for the SIMON and SPECK families of block ciphers
  ☆20Updated 9 years ago
• pdinges / python-schoof
  Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields
  ☆43Updated 6 years ago
• sipa / safegcd-bounds
  Bounds on divsteps iterations in safegcd
  ☆54Updated last year
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆45Updated 4 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆21Updated 2 weeks ago