Actualmente hay más de 1.700 aplicaciones descentralizadas (DApps) publicadas en la red Ethereum y su número sigue aumentando. Y aunque todas las Dapps se basan en contratos inteligentes, la confiabilidad de los contratos inteligentes en sí es cuestionable: los ciberdelincuentes ya han ganado más de mil millones de dólares pirateándolos.
Para crear un contrato inteligente viable, el programador necesita aprender un lenguaje de programación completamente nuevo, "Solidity"; El más mínimo error al redactar un contrato inteligente en Solidity puede tener consecuencias catastróficas: fuga de información y/o altos costos de transacción. Un error descubierto recientemente en los contratos inteligentes de Parity hizo que la compañía perdiera más de medio millón de ether (ETH), con un valor de más de 169 millones de dólares.
¿Deberíamos culpar a Solidity?
A medida que incidentes como este ocurren con más frecuencia, la opinión de la comunidad Ethereum sobre Solidity ha empeorado. Los contratos inteligentes escritos en Solidity sufren problemas de seguridad, especialmente el problema de desbordamiento de enteros. Los piratas informáticos no tienen problemas para encontrar fallas en los contratos y robar millones de dólares. Muchos de estos hacks se produjeron debido a errores cometidos por los programadores al escribir el código de Solidity.
Por ejemplo, la Beauty Chain (BEC) era una criptomoneda muy famosa en China; el primer día de ventas en el intercambio OKeX, su precio aumentó un 4000%. De un valor de mercado máximo de 70 mil millones de dólares, la compañía cayó repentinamente a 2 mil millones de dólares cuando el precio de sus tokens llegó a cero. Esto sucedió debido a un error en el contrato inteligente ECR20. En el caso de BEC, el desarrollador agregó un método al contrato llamado "batchTransfer()". Este método estaba destinado a facilitar la transferencia de un token a varias personas a la vez.
Sin embargo, el desarrollador cometió un error crítico en la siguiente línea de código:
uint256 cantidad = uint256(cnt) * _value;
Resolver el problema
Para resolver los problemas que enfrentan los contratos inteligentes escritos en Solidity, se creó un lenguaje llamado "Lity". Este lenguaje se utiliza para desarrollar contratos inteligentes y aplicaciones descentralizadas en la cadena de bloques CyberMiles. Lity consta de un lenguaje dinámicamente extensible, un compilador y una máquina virtual. Esto significa que todos los programas existentes de Solidity ahora pueden ejecutarse sin modificaciones en la máquina virtual CyberMiles (CVM).
El lenguaje Lity es más flexible, más confiable y seguro que Solidity. Por ejemplo, Lity admite nuevas funciones de idioma que se pueden agregar mediante tecnología inalámbrica. Por ejemplo, los algoritmos de clave pública/privada en la red Ethereum son muy largos y costosos. La red simplemente no puede soportar muchos tipos de aplicaciones... Utilizando una de las nuevas funciones conocida como “libENI”, el tiempo necesario para completar estas operaciones se puede reducir a un par de milisegundos (10.000 veces más rápido que ahora). Estas operaciones también costarán significativamente menos.
La mejora en la potencia informática de Lity tiene un enorme potencial para aplicaciones en el intercambio de criptoactivos entre blockchains, así como para incorporar datos fuera de la cadena en transacciones de blockchain.
Finalmente, el compilador Lity verifica los códigos en los contratos ERC 20 y ERC 721 para detectar todos los errores y errores conocidos. Y la máquina virtual previene automáticamente problemas como desbordamientos de enteros o invalidación del propietario del contrato.
El futuro de los contratos inteligentes
Desafortunadamente, Solidity se ha convertido en un chivo expiatorio de todos los problemas encontrados en los contratos inteligentes modernos. Para garantizar un funcionamiento fiable de dichos contactos en el futuro, se crearon nuevos lenguajes de programación como Lity.
También se sabe que la propia Fundación Ethereum está buscando formas de resolver estos problemas. Su director está trabajando en la implementación de "Casper", un mecanismo mediante el cual Ethereum pasará gradualmente al consenso PoS. La dirección del fondo cree que estos cambios son necesarios para resolver muchos problemas asociados con PoW. La Fundación CyberMiles, sin embargo, ya ha anunciado que ha encontrado una solución al problema: un modelo DPoS funcional.
Estas modificaciones sin duda tendrán una serie de aplicaciones para la red Ethereum y para uno de sus componentes más importantes: el contrato inteligente.
Basado en materiales de hackernoon.com
Leer también
El hacha de guerra será enterrada por 150 mil dólares
En julio de 2016, cuando un hackeo del sistema cuestionó la verdadera naturaleza de la descentralización de blockchain, parte de la fundación Ethereum (ETH) se separó y fundó su propia criptomoneda, Ethereum Classic (ETC). Lo que es bastante extraño es que la Fundación Ethereum ha donado 150.000 dólares en ETC a la Fundación Ethereum Classic.
El precio del éter cayó después de que la SEC anunciara investigaciones relacionadas con ICO
El precio de Ether, la criptomoneda de la red Ethereum, cayó por debajo de los 500 dólares por primera vez este año. Esto se produce días después de que un comisionado de la SEC informara sobre docenas de investigaciones abiertas sobre las ICO.
