Files
self/prover/Dockerfile