Analysis of the bitmarket protocol