#1
|
|||
|
|||
SHA1 preimage SAT solver
SHA1-SAT translated for Windows: https://github.com/vegard/sha1-sat
Espresso heuristic logic minimizer translated for Windows: https://src.fedoraproject.org/lookaside/extras/espresso-ab/espresso-ab-1.0.tar.gz/ Python script that gives an idea how to use the output - with IDA Pro 7.2 known password example, and 3 other unknown password examples already ready. The projects are included (SHA1-SAT requires boost to build), with binaries for SHA1-SAT and espresso, but I also provide some rather large SAT instance files already generated. The python script can then be used if the SAT instance files (.cnf) are locatable. Quote:
Would be interesting if some properties of the Boolean equations allowed for finding anything in the preimage such as equivalence of certain bits, or if bad prefixes could be found quickly to narrow it down. SAT solvers have a particularly difficult time on crypto hash algorithms as is well known though. It is probably out of reach without further research. Thought I would share in case anyone is interested. |
The Following 5 Users Say Thank You to chants For This Useful Post: | ||
chessgod101 (08-02-2020), DominicCummings (09-08-2021), Mendax47 (08-03-2020), p4r4d0x (08-03-2020), yoza (08-02-2020) |
|
|
Similar Threads | ||||
Thread | Thread Starter | Forum | Replies | Last Post |
SHA1 Collider | TechLord | General Discussion | 0 | 03-01-2017 07:06 |
SHA1 has been broken! | Anticode | General Discussion | 9 | 02-17-2005 07:13 |