Brought back progress proof, yes it needs --full_context_dependency