Once artifacts are broken out of the prover, we will need an interface for loading these artifacts and using them