Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol