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 last year
• 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 7 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆87Updated 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.
  ☆72Updated 7 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…
  ☆27Updated 5 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated last week
• sipa / safegcd-bounds
  Bounds on divsteps iterations in safegcd
  ☆53Updated 10 months ago
• crocs-muni / classifyRSAkey
  ☆12Updated 4 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 3 years ago
• czielinski / secmultipartycomp
  Introduction to Secure Multi-Party Computations
  ☆16Updated 6 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• martani / Quadratic-Sieve
  A simple implementation of the Quadratic Sieve for integer factoring in C
  ☆13Updated 13 years ago
• gravity-postquantum / gravity-sphincs
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆75Updated 7 years ago
• mjosaarinen / pqps
  Tools for power measurements of post-quantum cryptographic algorithms
  ☆28Updated 5 years ago
• henrycg / balloon
  A memory-hard password hashing function.
  ☆70Updated 2 years ago
• radii / ggnfs
  GPL Number Field Sieve implementation
  ☆36Updated 14 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
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆46Updated 4 years ago
• onechip / dlog-nfs
  Solve discrete logarithm problems by the number field sieve method.
  ☆18Updated 7 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 8 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 10 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
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆59Updated 2 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
• microsoft / PQCrypto-SIKE
  This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.
  ☆61Updated 2 years ago