Prover Architecture