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 output format.

C++MIT

Issues

How to generate CNF file
#7 opened 23 days ago by ShehryarGondal1
1
I faced the issue of non match of message and hash
#6 opened 10 months ago by Htkon
4
Hash and message doesn’t match after solving the generated instance
#5 opened 10 months ago by ImposterMido
9
After greeting
#4 opened a year ago by ImposterMido
20
ANF output sometimes fails
#2 opened 3 years ago by KarlisFre
1
ANF output does not work
#1 opened 3 years ago by KarlisFre
1