update proof of