It seems they are using a (verifiable) oracle to verify the proof due to gas costs. A good alternative to this is to use something like a computation market http://www.ethereum-computation-market.com/