beacon-contracts Smart contracts for settlement and arbitration. https://beaconexchange.io/beacon.pdf for background and rationale.