I'm looking for someone to write a little C++ program for generating SAT formulae for hash functions, as presented in http://csl.sri.com/users/dejan/papers/jovanovic-hashsat-2005.pdf.
The goal is to produce the "HashSAT Formula Generator" as described in 4.3, with sha256 as the test hash function.
I'm offering the equivalent of50 100 USD in BTC upon completion of the work.
The goal is to produce the "HashSAT Formula Generator" as described in 4.3, with sha256 as the test hash function.
I'm offering the equivalent of
Hello man, I can do that, I'll send you a private message.
