Ir al contenido principal

Solidity: un lenguaje de programación para contratos inteligentes

Solidity es un lenguaje de alto nivel orientado a objetos para implementar contratos inteligentes (smart contracts).

Los contratos inteligentes son programas que rigen el comportamiento de las cuentas dentro del estado de Ethereum.

Se ejecutan automáticamente en la blockchain (en este caso Ethereum) cuando las condiciones preestablecidas se cumplen.

Un contrato en el sentido de Solidity es una colección de código (sus funciones) y datos (su estado) que reside en una dirección específica en la cadena de bloques de Ethereum. Veamos un ejemplo sencillo:

Ejemplo 1. Un contrato denominado SimpleStorage para setear y obtener un dato de tipo uint.

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.4.16 <0.9.0;

contract SimpleStorage {
    uint storedData;

    function set(uint x) public {
        storedData = x;
    }

    function get() public view returns (uint) {
        return storedData;
    }
}

Podríamos decir que Plutus sería el Solidity de Cardano y Cardano el Ethereum de Plutus.

La documentación oficial nos dice:

  • Solidity es un lenguaje de llaves diseñado para la máquina virtual Ethereum (EVM). 
  • Está influenciado por C++, Python y JavaScript. 
  • Puede encontrar más detalles sobre los lenguajes en los que se inspiró Solidity en la sección de influencias del lenguaje. 
  •  Solidity tiene tipos estáticos, admite herencia, bibliotecas y tipos complejos definidos por el usuario, entre otras características. 
  •  Con Solidity, puede crear contratos para usos como votación, financiación colectiva, subastas ciegas y billeteras multifirma.

Como funciona un Smart contract

  1. Se escribe el contrato inteligente en Solidity (o Plutus).
  2. Se publica en la blockchain (en este caso en Ethereum). Donde nadie puede modificarlo o borrarlo.
  3. Cuando se cumplen las condiciones, el contrato se ejecuta automáticamente.

Digamos que una persona quiere comprar una cripromoneda y envía el pago. Entonces el contrato inteligente validará la transacción y enviará la criptomoneda si el pago es válido.

Ejemplo 2. Un "Hola, mundo".

pragma solidity ^0.8.0;

contract HolaMundo {
    string public mensaje = "Hola, Mundo!";
}

Ejemplo 3. Contrato (token ERC-20 básico), que permite crear y transferir tokens en la blockchain.

MiPrimerToken.sol

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

// Contrato ERC-20 básico
contract MiPrimerToken {
    // Variables de estado
    string public nombre = "MiPrimerToken";
    string public simbolo = "MPT";
    uint256 public totalSupply;

    // Mapeo para almacenar los balances de cada cuenta
    mapping(address => uint256) public balanceOf;

    // Evento para notificar transferencias
    event Transfer(address indexed from, address indexed to, uint256 value);

    // Constructor: inicializa el supply total y lo asigna al creador del contrato
    constructor(uint256 _supplyInicial) {
        totalSupply = _supplyInicial;
        balanceOf[msg.sender] = _supplyInicial; // El creador del contrato recibe todos los tokens
    }

    // Función para transferir tokens
    function transfer(address _to, uint256 _value) public returns (bool success) {
        require(balanceOf[msg.sender] >= _value, "Saldo insuficiente"); // Verifica que el remitente tenga suficientes tokens
        balanceOf[msg.sender] -= _value; // Resta los tokens del remitente
        balanceOf[_to] += _value; // Suma los tokens al destinatario
        emit Transfer(msg.sender, _to, _value); // Emite el evento de transferencia
        return true;
    }
}

Requisitos Previos

  • Entorno de Desarrollo: Puedes usar Remix, un IDE en línea para desarrollar y desplegar smart contracts. 
  •  Metamask: Para interactuar con la blockchain desde tu navegador.

Cómo probar el contrato

  1. Abre Remix. 
  2.  Crea un nuevo archivo (MiPrimerToken.sol) y pega el código. 
  3.  Compila el Contrato: Ve a la pestaña "Solidity Compiler". 
  4.  Selecciona la versión 0.8.0 o superior. 
  5.  Haz clic en "Compile MiPrimerToken.sol". 
  6.  Despliega el Contrato: 
  7.  Ve a la pestaña "Deploy & Run Transactions". 
  8.  Selecciona el entorno "JavaScript VM" para pruebas locales. 
  9.  En el campo "Deploy", ingresa el _supplyInicial (por ejemplo, 1000000). 
  10.  Haz clic en "Deploy".
  11.  Interactúa con el Contrato: Una vez desplegado, verás las funciones del contrato. 
  12.  Prueba la función transfer enviando tokens a otra dirección (puedes generar cuentas en Remix).

En próximas entregas profundizaremos más sobre el tema.

Enlaces:

https://soliditylang.org/
https://codemonkeyjunior.blogspot.com/2025/03/criptomonedas-que-son-y-para-que-sirven.html
https://github.com/solidity-docs/es-spanish

Comentarios

Entradas populares de este blog

Programación Windows Batch (CMD) parte 3

Crear ciclos para efectuar operaciones tediosas nos ahorrará tiempo para realizar otras tareas. En está ocasión veremos ciclos con FOR . ¿Cuál es la síntaxis de bucle FOR en Windows Batch? Si está dentro de un archivo *.bat : FOR %%variable IN (seq) DO operaciones Si lo ejecutamos en una terminal: FOR %variable IN (seq) DO operaciones Ejemplo 1 . Recorrer una secuencia de números del 0 al 5: recorrer.bat @ echo off FOR %%i in ( 0 1 2 3 4 5 ) DO echo Hola no. %%i pause Nos imprimirá en pantalla: Hola no. 0 Hola no. 1 Hola no. 2 Hola no. 3 Hola no. 4 Hola no. 5 ¿Puedo usar contadores? Si, se pueden usar. Ejemplo 2 . Uso de contadores: contador.bat @ echo off set numeros = 1 2 3 4 5 6 7 8 9 10 set cont = 0 for %%a in ( %numeros% ) do ( echo Hola no. %%a :: Contador set /a cont+ = 1 ) echo Total: %cont% Este código nos imprimirá, además de los mensajes Hola no. 0 ..., el total de valores conta...

Programación Windows Batch (CMD) parte 4

Siguiendo con la serie de post sobre programación ( 1 , 2 , y 3 ) batch ahora veremos algunas cosas como operaciones aritméticas, operadores lógicos  y uso de ficheros. Cuando somos administradores de servidores o desarrolladores muchas veces tenemos que realizar tareas que nos quitan, relativamente, tiempo valioso que podríamos ocupar para otras cosas (como ver nuestro Facebook, jeje, broma).  Aprender a escribir scripts que nos faciliten algunas tareas siempre es útil. Por ejemplo, conocer todas las características técnicas de nuestro equipo de cómputo nos servirá cuando se realiza peritajes informáticos y soporte al equipo. Realizar respaldos automáticos a nuestras carpetas , archivos y directorios será más sencillo gracias a un script. Pero antes debemos aprender lo básico de la programación en batch. Ejemplo 1. Operaciones aritméticas básicas. aritmetica.bat @ echo off ::Nombre del archivo, imprimirá: aritmetica.bat echo %0 :: Set nos servirá para a...

COBOL para principiantes #1

COBOL es un lenguaje de programación que sigue dando de que hablar. Los programadores Java, C#, Python, etc. saben que aún existen aplicaciones hechas en COBOL y es difícil que éstas migren a un lenguaje más actual. Es por esa y otras razones que muchos han pensado en aprender este lenguaje 'obsoleto'. ¡COBOL is the king, no ha muerto! ¡A desempolvar los libros de nuestros abuelos, tíos o maestros! ¿Qué debemos hacer para aprender COBOL y no morir en el intento? Para empezar necesitas: Tener bases de programación (obvio). Conseguir un compilador dependiendo del sistema operativo que uses (si usas Windows puedes usar Visual Studio e instalar un compilador; si usas Linux puedes usar Gnu OpenCOBOL, nosotros usaremos éste último en el blog ). Saber qué extensión se usa para crear un programa COBOL (.cb, cbl, .cb). Nosotros usaremos .cbl  Comprender la estructura de un programa COBOL.  Conocer las estructuras de control y estructuras de datos en COBOL. Practicar...