Certificate complexity