fix instantiate proofs for legacy users