capiman / sha256-sat-bitcoin
SHA256-SAT-BITCOIN
☆24Updated 8 years ago
Related projects: ⓘ
- SAT instance generator for SHA-1☆47Updated 3 years ago
- Tools for creating binary tarballs☆14Updated 3 years ago
- Convert an integer factorization problem into a boolean SATISFIABILITY problem.☆10Updated 5 years ago
- GPL Number Field Sieve implementation☆32Updated 13 years ago
- Successor to PolyBoRi☆17Updated last year
- Grain of Salt equation generator☆16Updated 2 years ago
- Analysis and generation of substitutions☆21Updated 2 years ago
- Solve discrete logarithm problems by the number field sieve method.☆16Updated 7 years ago
- A research platform and active library for generalised SAT solving☆32Updated 3 months ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆17Updated 6 months ago
- SAT-based Bitcoin Mining☆80Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated 10 months ago
- LibPoly is a C library for manipulating polynomials☆46Updated 2 months ago
- Tool to automatically search for linear characteristics☆39Updated 8 years ago
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆90Updated 5 years ago
- CNF minimizer and minimal independent set calculator☆14Updated 2 months ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆28Updated 5 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- A memory-hard password hashing function.☆65Updated last year
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆17Updated 6 years ago
- Scripts to parse and analyze pgp key server data☆32Updated 4 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 8 years ago
- 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…☆23Updated last year
- A model checker for infinite-state systems.☆69Updated 3 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆24Updated last month
- An Nvidia-based miner for the Protoshares (PTS) cryptocurrency☆39Updated 10 years ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆62Updated 6 years ago
- Implementation of Kravatte Encryption Suite☆15Updated 5 years ago
- The DRAT-trim proof checker☆50Updated 4 months ago