type ProveError = ErrorResponse;