Smart Contracts con Solidity y dApps

Sobre el curso
Aprendé a especificar, compilar y probar un contrato pequeño con Solidity. Vas a seguir cómo cambian su estado y sus permisos, interpretar errores y eventos, y comprobar qué condiciones deben mantenerse después de una operación aceptada o rechazada.
El laboratorio trabaja con ContadorAcotado, un contrato sin dinero que se crea y ejecuta en una EVM aislada en memoria. El recorrido conecta reglas y pruebas con un modelo textual de interacción, lectura posterior y resultado desconocido cuando falta confirmación. No equivale a un cliente web funcional.
Nivel y duración
- Nivel: introductorio para personas que ya programan.
- Duración estimada: 16 h 20 min: 4 h 30 min de lectura y estudio, 7 h 50 min de prácticas, 2 h de proyecto integrador y 2 h de evaluación.
- Estructura editorial: 6 módulos, 18 lecciones, banco propuesto para cinco quizzes y un final, y proyecto integrador. La configuración y corrección de evaluaciones en el campus requieren comprobación aparte.
Para quién
Para personas con bases de programación que quieren comenzar a trabajar con contratos inteligentes y comprender su ejecución de forma acotada y verificable. No hace falta experiencia previa con blockchain.
Qué vas a aprender
- Representar estado, llamadas e identidad de ejecución.
- Leer tipos, funciones, validaciones, errores y eventos en Solidity.
- Compilar y ejecutar pruebas de casos normales, permisos y límites, y evaluar si las pruebas detectan defectos.
- Examinar controles de autoridad y reconocer riesgos fuera del ejemplo, como la reentrada.
- Codificar llamadas con la ABI y modelar estados de presentación e interacción a partir del contrato.
- Documentar requisitos, pruebas, dependencias y límites del proyecto.
Requisitos
Necesitás comprender variables, funciones, condicionales y pruebas, y leer código. Para ejecutar el laboratorio necesitás Node.js de la rama 24 y pnpm, y posibilidad de instalar sus dependencias con lock congelado y scripts de instalación deshabilitados (la descarga inicial usa internet). No hace falta wallet, claves privadas, fondos ni conexión a una red blockchain pública. Si no podés instalar Node, las prácticas admiten una traza manual rotulada, sin presentarla como ejecución.
Cómo vas a trabajar
Vas a inspeccionar el contrato, reproducir el laboratorio y relacionar cada requisito con una comprobación. Cada lección termina con una práctica que tiene entregable, tiempo, criterio de aceptación y un modelo de respuesta para consultar después. El curso cierra con un proyecto integrador: un dossier verificable con requisitos, evidencia, estudio de mutación, diseño de mensajes y memo de cierre.
Alcance
El contrato sí tiene práctica ejecutable local; la parte de dApp es un modelo de interacción y no entrega un cliente web funcional. Al final encontrás una guía de próximos pasos con herramientas profesionales (Remix, Hardhat, Foundry). Las pruebas del ejemplo no equivalen a una auditoría de seguridad ni habilitan su uso con fondos reales.
Contenido del curso
Módulo 1 — Modelar ejecución y estado
1.1. Distinguir cuenta y contrato
1.2. Definir una transición y su invariante
1.3. Separar lectura y escritura
Quiz 1 — Modelar ejecución y estado