Els contractes intel·ligents són uns contractes que es poden executar automàticament sense requerir de terceres parts que verifiquin el seu compliment. El projecte de Ethereum proporciona les eines per a desenvolupar i desplegar contractes intel·ligents en la blockchain. El seu llenguatge de desenvolupament estrella és Solidity, que permet realitzar programacions complexes d'alt nivell. Els contractes intel·ligents són susceptibles a vulnerabilitats que poden suposar pèrdues de criptomonedas de manera directa per a les víctimes. En aquest projecte es crea un contracte intel·ligent que implementa una asseguradora descentralitzada, per a posteriorment analitzar les seves vulnerabilitats, documentar-les, i corregir-les. Per a detectar possibles amenaces, s'utilitzen eines d'auditoria de contractes intel·ligents. Les eines utilitzades es posen a prova en funció dels seus resultats. Aquest projecte produeix dues versions d'una asseguradora és centralitzada. Una d'elles vulnerable a possibles atacs. L'altra, completament bastionada amb les mesures de seguretat més actuals.

Los contratos inteligentes son unos contratos que se pueden ejecutar automáticamente sin requerir de terceras partes que verifiquen su cumplimiento. El proyecto de Ethereum proporciona las herramientas para desarrollar y desplegar contratos inteligentes en la blockchain. Su lenguaje de desarrollo estrella es Solidity, que permite realizar programaciones complejas de alto nivel. Los contratos inteligentes son susceptibles a vulnerabilidades que pueden suponer pérdidas de criptomonedas de forma directa para las víctimas. En este proyecto se crea un contrato inteligente que implementa una aseguradora descentralizada, para posteriormente analizar sus vulnerabilidades, documentarlas, y corregirlas. Para detectar posibles amenazas, se utilizan herramientas de auditoría de contratos inteligentes. Las herramientas utilizadas se ponen a prueba en función de sus resultados. Este proyecto produce dos versiones de una aseguradora escentralizada. Una de ellas vulnerable a posibles ataques. La otra, completamente bastionada con las medidas de seguridad más actuales.

Smart contracts are contracts that can be executed automatically without requiring third parties to verify compliance. The Ethereum project provides the tools to develop and deploy smart contracts on the blockchain. Its flagship development language is Solidity, which enables complex high-level programming. Smart contracts are susceptible to vulnerabilities that can lead to cryptocurrency losses directly to the victims. In this project, a smart contract is created and implemented by a decentralized insurer, and then its vulnerabilities are analyzed, documented, and corrected. To detect potential threats, smart contract auditing tools are used. The tools used are tested based on their results. This project produces two versions of a centralized insurance company. One of them is vulnerable to possible attacks. The other is fully bastioned with the most up-to-date security measures.