La naturaleza de los contratos inteligentes y las plataformas de blockchain, donde los programas están replicados a lo largo de todos los nodos y ejecutar un contrato o aumentar su espacio de almacenamiento implica hacerlo en todos los clientes, hace del análisis de recursos un problema relevante. Esto ha conducido al desarrollo de análisis para plataformas y lenguajes específicos. No obstante, la oferta de lenguajes y modelos de coste en estas plataformas es muy amplia, al igual que su mutabilidad en el tiempo, por lo que las soluciones que faciliten el desarrollo y la adaptación de los análisis de coste son atractivas en este contexto. Exploramos la aplicación de una técnica y una herramienta de análisis de coste genéricas a la inferencia estática de cotas del consumo de gas y almacenameinto en contratos inteligentes. Nuestro enfoque se basa en el Análisis de Coste Paramétrico, un método que simplifica la implementación de análisis para inferir cotas seguras del consumo de diferentes recursos haciendo uso de distintos modelos de coste. Además, para soportar diferentes lenguajes, realizamos una traducción previa a una representación intermedia basada en cláusulas de Horn. Para demostrar la aplicabilidad de este método, desarrollamos un análisis para la plataforma Tezos y su lenguaje Michelson.---ABSTRACT---The very nature of smart contracts and blockchain platforms, where program execution and storage are replicated across a large number of nodes, makes resource consumption analysis highly relevant. This has led to the development of analyzers for specific platforms and languages. However, blockchain platforms present significant variability in languages and cost models, as well as over time. Approaches that facilitate the quick development and adaptation of cost analyses are thus potentially attractive in this context. We explore the application of a generic approach and tool for cost analysis to the problem of static inference of gas consumption and storage bounds in smart contracts. The approach is based on Parametric Cost Analysis, a method that simplifies the implementation of analyzers for inferring safe bounds on different resources and with different resource consumption models. In addition, to support different input languages, the approach also makes use of translation into a Horn clause-based intermediate representation. To assess practicality we develop an analyzer for the Tezos platform and its Michelson language.