Looking for a C++ programmer

[Apocalyptic]

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 of 50 100 USD in BTC upon completion of the work.

[@prashant]

Kindly tell me more about it(details).i might help.

[Apocalyptic]

For full details I think the best is to read the paper I linked in the original post as the whole process of building the program is outlined in it. A short summary would be that the program must produce boolean formulae for each bit of the sha256 output in terms of boolean variables of the input. These formulae have to be in the standard DIMACS CNF format.

[Apocalyptic]

Updated the price to 100 USD. It's really not a complicated task, everything is outlined in the paper. An average C++ programmer knowing operator overloading should be able to do it in 2-3 hours.

[Angell]

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 of 50 100 USD in BTC upon completion of the work.

Hello man, I can do that, I'll send you a private message.

[Apocalyptic]

I'm withdrawing the offer.