Consensus protocols play a pivotal role in the development of a blockchain-enabled system. In this work, a voting-based consensus protocol for blockchain-enabled crowdsourcing systems is proposed. The voting-based consensus algorithms are notoriously difficult to implement as they have a huge number of states in their execution. We use formal methods for the verification of the proposed system. The specifications of the proposed protocol are described using Event-B. We use the RODIN tool for Event-B modeling of the proposed system, and 43 proof obligations are generated and discharged automatically. The performance of the proposed protocol is compared with existing protocols such as POS, PBFT, and RAFT, the results indicate that the consensus delay is reduced in the proposed algorithm, thereby improving performance.