proof of data update  reference implementation