Contratos inteligentes a partir de una especificación semi formal, su aplicación en Blockchain: Contratos inteligentes, especificación semiformal

• Leon Bazan, Yuliana Yohany ^[1] ; Delgado Guerrero, Jonathan Stalin ^[2]
  1. [1] Universidad de Guayaquil

     Universidad de Guayaquil

     Guayaquil, Ecuador

     
  2. [2] Universidad de Guayaqui. Guayaquil, Guayas, Ecuador
• Localización: MIKARIMIN Revista Multidisciplinaria, ISSN-e 2528-7842, Vol. 10, Nº. 3, 2024 (Ejemplar dedicado a: Septiembre - Diciembre), págs. 31-44
• Idioma: español
• Títulos paralelos:
  • Smart contracts from a semi-formal specification, their application in Blockchain: Smart contracts, semi-formal specification
• Enlaces
  • Texto completo
• Resumen
  • español

    Blockchain es una tecnología emergente que tuvo sus inicios a través del Bitcoin no obstante, con el paso del tiempo se han efectuado investigaciones donde se aplica esta tecnologías en otras industrias a aparte de las financieras. Los smart contracts o contratos inteligentes son programas autoejecutables que permiten ejecutar reglas comerciales y validan las transacciones que se anexan a la red de blockchain. Este documento efectúa una revisión de literatura con el propósito de determinar de manera general las aplicaciones que ha tenido la tecnología blockchain y los contratos inteligentes de tal manera que permita identificar las limitaciones existentes, problemas críticos y áreas potenciales sobre las cuales se pueden efectuar futuras investigaciones. Además, el estudio identifica la problemática más relevante encontrada a través de la revisión de literatura y finalmente, contribuye sugiriendo el marco de trabajo a seguir para abordar la problemática identificada en estudios posteriores.

  • English

    Blockchain is an emerging technology that had its beginnings through Bitcoin, however, over time, research has been carried out where this technology is applied in other industries apart from financial ones. Smart contracts are self-executing programs that allow business rules to be executed and validate transactions that are attached to the blockchain network. This document carries out a literature review with the purpose of generally determining the applications that blockchain technology and smart contracts have had in such a way as to identify existing limitations, critical problems and potential areas on which future research can be carried out. . Furthermore, the study identifies the most relevant problems found through the literature review and finally, contributes by suggesting the framework to follow to address the problems identified in subsequent studies.