Solidez

Solidity es un lenguaje de programación para implementar contratos inteligentes ^{[ 5 ] [ 6 ]} en varias plataformas blockchain , sobre todo Ethereum . ^{[ 7 ]} Solidity tiene licencia GNU General Public License v3.0 . ^{[ 8 ]} Solidity fue diseñado por Gavin Wood ^{[ 9 ]} y desarrollado por Christian Reitwiessner, Alex Beregszaszi y varios antiguos colaboradores del núcleo de Ethereum. ^{[ 10 ]} Los programas en Solidity se ejecutan en la Máquina Virtual de Ethereum o en máquinas virtuales compatibles . ^{[ 11 ]}

Solidity fue propuesto en agosto de 2014 por Gavin Wood ^{[ 12 ].} El lenguaje fue desarrollado posteriormente por el equipo Solidity del proyecto Ethereum , liderado por Christian Reitwiessner.

Solidity es el lenguaje principal utilizado para desarrollar contratos inteligentes para Ethereum y otras cadenas de bloques privadas , como la cadena de bloques Hyperledger Fabric, orientada a empresas. SWIFT implementó una prueba de concepto utilizando Solidity ejecutándose en Hyperledger Fabric. ^{[ 13 ] [ 14 ]}

Solidity es un lenguaje de programación de tipado estático diseñado para desarrollar contratos inteligentes que se ejecutan en la Máquina Virtual Ethereum (EVM) o máquinas virtuales compatibles. ^{[ 15 ]}

Solidity utiliza una sintaxis similar a la de ECMAScript, lo que la hace familiar para los desarrolladores web ; ^{[ 16 ]} sin embargo, a diferencia de ECMAScript, tiene tipado estático y tipos de retorno variádicos . Solidity se diferencia de otros lenguajes orientados a EVM, como Serpent y Mutan, en algunos aspectos importantes. Admite variables miembro complejas para contratos inteligentes , incluyendo mapeos y estructuras jerárquicas arbitrarias . Los contratos inteligentes de Solidity admiten herencia , incluyendo herencia múltiple con linealización C3. Solidity introduce una interfaz binaria de aplicación (ABI) que facilita múltiples funciones con tipado seguro dentro de un contrato inteligente (esto también fue posteriormente soportado por Serpent). La propuesta de Solidity también incluye la "Especificación en Lenguaje Natural", un sistema de documentación para especificar descripciones centradas en el usuario de las ramificaciones de las llamadas a métodos . ^{[ 17 ] [ 18 ]}

Ejemplo de un programa Solidity: ^{[ 19 ] [ 20 ]}

// SPDX-License-Identifier: GPL-3.0 pragma solidity ^ 0.8.4 ;contrato Moneda { // La palabra clave "public" hace que las variables // sean accesibles desde otros contratos dirección pública minero ; mapeo ( dirección => uint ) saldos públicos ;// Los eventos permiten a los clientes reaccionar a cambios específicos en el contrato que usted declare. Evento Enviado ( dirección de origen , dirección de destino , cantidad uint );// El código del constructor solo se ejecuta cuando se crea el contrato. constructor () { minter = msg.sender ; }// Envía una cantidad de monedas recién creadas a una dirección // Solo puede ser llamada por el creador del contrato function mint ( address receiver , uint amount ) public { require ( msg.sender == minter ); balances [ receiver ] += amount ; }// Los errores permiten proporcionar información sobre // por qué falló una operación. Se devuelven // a quien llama a la función. error InsufficientBalance ( uint requested , uint available );// Envía una cantidad de monedas existentes // desde cualquier llamador a una dirección function send ( address receiver , uint amount ) public { if ( amount > balances [ msg.sender ]) revert InsufficientBalance ({ requested : amount , available : balances [ msg.sender ] });balances [ msg.sender ] -= cantidad ; balances [ receptor ] += cantidad ; emitir Enviado ( msg.sender , receptor , cantidad ); } }

Muchas propiedades de seguridad de los contratos inteligentes son inherentemente difíciles de razonar directamente, y la completitud de Turing de Solidity implica que la verificación de propiedades arbitrarias no puede automatizarse de manera decidible . Las soluciones automatizadas actuales para el análisis de seguridad de contratos inteligentes pueden pasar por alto violaciones críticas, producir falsos positivos y no lograr una cobertura de código suficiente en contratos realistas. ^{[ 21 ]} Se ha culpado a Solidity de la implementación propensa a errores de los contratos inteligentes de Ethereum debido a su naturaleza contraintuitiva, su falta de construcciones para abordar aspectos específicos del dominio de blockchain y su falta de documentación centralizada de vulnerabilidades conocidas . ^{[ 22 ]}

En 2016, un investigador de la Universidad de Cornell afirmó que Solidity tuvo parte de la culpa del hackeo de The DAO ocurrido ese año. Declaró: «En realidad, no se trató de un fallo o vulnerabilidad en el contrato de DAO en sí: técnicamente, la Máquina Virtual de Ethereum (EVM) funcionaba según lo previsto, pero Solidity introducía fallos de seguridad en los contratos que no solo pasaron desapercibidos para la comunidad, sino también para los propios diseñadores del lenguaje». ^{[ 23 ]}

La comunidad de desarrolladores suele mencionar que Solidity requiere muchas interfaces y API de terceros, y que no puede crear contratos inteligentes críticos que requieran gran cantidad de información.

• Sitio web oficial
• Solidity en GitHub