[paulgb]

This sounds very interesting but I'm a little confused by the problem they were trying to solve -- what were they trying to prove knowledge of?