Personal notes on the Bitcoin protocol