ICFP 2010Posted by Pär Bohrarper Mon, June 21, 2010 16:07:24
Now that the contest is over, we've made our bitbucket repo public:
ICFP 2010Posted by Pär Bohrarper Mon, June 21, 2010 14:48:04
The official contest blog now states this:The circuit design, and the ternary coding, were really there just for
the fun of obfuscation.
Yeah. The kind of fun that caused us to give up after spending a day trying to understand how to get the prefix, after having successfully reverse engineered the gate logic and the server's input string in a couple of hours.
ICFP 2010Posted by Pär Bohrarper Sun, June 20, 2010 00:18:58
This has been a day of almost no progress. We are no nearer to understanding how to approach transformation from an input sequence to an output sequence. We're running a brute force attempt at the moment, but it doesn't seem very promising.
ICFP 2010Posted by Pär Bohrarper Sat, June 19, 2010 10:13:51
We thought it would be good to be able to visualize the circuits, so I added dot-file generation from the circuit specification. Looks nice, but I've got to get the ordering right..
ICFP 2010Posted by Pär Bohrarper Fri, June 18, 2010 22:52:22
We can now execute circuits ourselves on any input. We now know the input string from the server, and the desired output to produce the prefix. Some points can't be far off!
ICFP 2010Posted by Dan Gerhardsson Fri, June 18, 2010 20:57:07
After lot of manual work we now think we have found the gate logic. We have put together an identity operator circuit to get the input string from the server. Now we need to write an engine to execute the circuit code in order to find the desired key prefix.
ICFP 2010Posted by Dan Gerhardsson Fri, June 18, 2010 15:22:38
The 13th ICFP contest has started. This year's contest is all about cars and fuel. Should suit us well, hopefully. Currently we are just trying to understand the problem. It seems rather complicated...