Ken Shiriff: Mining Bitcoin with pencil and paper