Topic: Looking for a C++ programmer (Read 560 times)
I'm withdrawing the offer.
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.
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.
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.
Kindly tell me more about it(details).i might help.
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
Jump to: