Updatediff verification, key reading with tests