update repl proofs