MD4 hash function inversion on MD4-42
1,904INDET CountParallel CircuitSAT decomposition
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Parallel CircuitSAT decompositionq=60000, d=2, t=220, Number of cores=1802026.02 | 1,904 | 4 | 5,858,125 | 37,498 | — |
Loading the SOTA2 catalog…