A Logic of Blockchain Updates