Delphi: a Mechanism for Staking and Arbitration

Specification Paper