Adapting PBFT for Use With Blockchain-Enabled IoT Systems | Synapse