When this contest is over, we plan to move over to cracking keys for
the RC5 56 bit contest. Details at http://rc5.distributed.net/.
As for 80 bit DES, I hope you realize that would take 16.7 million
times as long as 56 bit will ... ;-)
===
That should be "16.7 million times as much processing power".
By the time we got around to 80 bit DES there would be more
processing power available.