use find_or_initalize in user.instantiate_proofs!