Propiedades de corrección y seguridad en tecnologías blockchain

Abstract

El blockchain es una de las tecnologías emergentes que ha visto un mayor desarrollo en los últimos años. Dentro de las tecnologías blockchain cabe destacar Ethereum, una plataforma descentralizada que extiende las funcionalidades de plataformas anteriores como Bitcoin almacenando contratos inteligentes en su blockchain. Actualmente el número de contratos almacenados en la blockchain de Ethereum supera los 100 millones de contratos. El rápido desarrollo de las tecnologías blockchain ha generado numerosos retos, entre los que cabe destacar el asegurar la corrección de sus contratos y mejorar su escalabilidad.Asegurar la seguridad de los contratos inteligentes es crítico ya que pueden llegar a almacenar grandes cantidades de dinero. Además, la naturaleza open-source e inmutable de los contratos hace que cualquier vulnerabilidad en su código quede expuesta al resto de usuarios, siendo imposible de solucionar una vez que el contrato se ha añadido a la blockchain. Dentro de los ataques más comunes que suelen sufrir los contratos inteligentes cabe destacar los conocidos como Reentrancy attacks. estos ataques explotan el uso de callbacks para generar comportamientos inesperados...Blockchain is one of the emergent technologies which has experienced a bigger growth in recent years. One of the main blockchain technologies is Ethereum, a decentralized platform that extends the functionalities of previous platforms such as Bitcoin by storing smart contracts on its blockchain. The number of smart contracts stored on the Ethereum blockchain nowadays surpasses the 100 millions of contracts. The quick development experienced by blockchain technologies has generated many challenges, such as ensuring the correctness of their smart contracts and increasing their scalability.It is crucial to ensure the safety of smart contracts as they can store huge sums of money. Moreover, the open-source and immutable nature of smart contracts exposes any vulnerability in their code to the rest of users, being impossible to fix once the cotract is deployed to the blockchain. One of the msot common attacks exploiting smart contracts vulnerabilities are Reentrancy attacks. These attacks exploit the use of callbacks to generate usexpected behaviors...