I. Introduction
Blockchain systems [59] promise to track ownership of assets without a central authority and thus rely heavily on distributed nodes agreeing on a unique block at the next index of the chain. An attacker can exploit a disagreement to double spend by simply inserting conflicting transactions in competing blocks.