Too bad we still don't have proof for the existence of one-way functions - would surely boost the value of Bitcoins