https://github.com/jam1garner/hash40-z3-crack

z3-based hash cracker for using complex rules to crack hashes in Smash Ultimate
https://github.com/jam1garner/hash40-z3-crack

Last synced: 4 days ago
JSON representation

z3-based hash cracker for using complex rules to crack hashes in Smash Ultimate

• Host: GitHub
• URL: https://github.com/jam1garner/hash40-z3-crack
• Owner: jam1garner
• Created: 2022-06-12T17:57:42.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2022-06-13T17:48:35.000Z (over 2 years ago)
• Last Synced: 2025-01-03T02:53:59.657Z (4 days ago)
• Language: Python
• Size: 2.93 KB
• Stars: 5
• Watchers: 3
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# hash40-z3-crack

A hash cracker that utilized z3 in order to leverage SMT solving for optimizing hash cracking of

hash40 hashes from Smash Ultimate using complex rules/constraints in order to produce higher quality

matches for a given hash.

Output will be newline separated when piped to a file. Progress bar and other human-focused output

will not be included when stdout is piped to a file or another process.

### Required Dependencies

* z3

```

pip install z3-solver

```

### Optional Dependencies (Progress Bar)

To have a progress bar run the following:

```

pip install alive-progress

```