update proof after reordering