Solidity es un lenguaje de programación de alto nivel y tipado estático para contratos inteligentes que se ejecutan en la Máquina Virtual de Ethereum (EVM). Permite definir el estado, las funciones y los eventos de un contrato, así como sus reglas para interactuar con activos digitales.
Del código fuente al contrato
Un compilador convierte el código Solidity en bytecode de la EVM. La interfaz binaria de aplicación (ABI) describe cómo otro software puede llamar funciones e interpretar datos. Desplegar un contrato o modificar su estado en la blockchain requiere transacciones y gas; consultar el estado existente mediante una llamada a un nodo local no necesariamente exige una transacción de pago.
Solidity se utiliza en tokens, depósitos en garantía y gobernanza. Su sintaxis puede resultar familiar a quienes usan JavaScript, pero la ejecución sigue reglas de blockchain, no las de un navegador. La configuración del compilador y las funciones de la EVM que admite la red de destino afectan la compatibilidad.
Visibilidad del código y seguridad
Publicar código fuente verificado facilita compararlo con el contrato desplegado, pero no acredita su seguridad. Deben revisarse los controles de acceso, las llamadas externas, los supuestos sobre oráculos y los poderes administrativos.
Una variable marcada como private no es secreta en una blockchain pública. La reentrancia puede ocurrir cuando una llamada externa vuelve a entrar al contrato antes de que este actualice su estado de forma segura. Las pruebas y una revisión independiente reducen los riesgos sin eliminarlos.