Desarrollo y auditoría de los primeros contratos inteligentes