Specification of the Mastercoin protocol