¿Qué significa Turing-Complete en Ethereum?

Turing completo se refiere a la idea de que, dado un tiempo infinito, cualquier programa en un idioma podría escribirse (aunque quizás de manera ineficiente) en otro. En Ethereum, Turing completo significa usar declaraciones condicionales y bucles para programar contratos inteligentes.

Aquí se tratarán los siguientes temas:

1. ¿Qué es la completitud de Turing?
2. Impacto de la integridad de Turing en la criptomoneda.
3. Ethereum como Completitud de Turing.
4. ¿Un sistema tiene que estar completo para ser útil?

Comencemos discutiendo cada uno de estos temas en detalle.

¿Qué es la completitud de Turing?

La integridad de Turing es una palabra definida por Alan Turing que describe la idea de que algunas máquinas informáticas son capaces de realizar cualquier tarea que pueda realizar una computadora. 

• El concepto de Turing-completeness es uno en el corazón del desarrollo de software y aplicaciones, donde permite escribir código sin tener que comprobar de antemano si funcionará o no. 
• En otras palabras, uno puede escribir su programa sin preocuparse por qué más se le permite hacer. 
• Esto es esencial para determinar la usabilidad, así como muchos otros aspectos del software. También es importante saber qué significa «Turing-completo» y cómo se relaciona con Ethereum.
• En el artículo de Turing, el concepto de máquinas completas de Turing se utiliza para refutar la posibilidad de una verdadera inteligencia artificial. 
• Por ejemplo, si una máquina puede eventualmente imitar los comportamientos de un humano. En términos prácticos, esto significa que «Turing-complete» permite a los programadores escribir código que cualquier computadora puede usar para lograr cualquier resultado. 
• Es necesario para introducir nuevas técnicas e ideas en la programación de software, como la programación funcional, o incluso para comprender ideas sobre computación universal con respecto a la computación general.

Impacto de la integridad de Turing en la criptomoneda

Uno de los principales obstáculos con los que se encuentra la criptomoneda es la dependencia de un tercero, generalmente una entidad como un banco. 

• Estas empresas son responsables de garantizar que una criptomoneda pueda usarse en las transacciones diarias porque debe ser compatible con los servicios bancarios tradicionales. La completitud de Turing es una característica de un lenguaje de programación. 
• Un lenguaje es Turing completo si se puede usar para simular una máquina de Turing, lo que significa que un programa diseñado adecuadamente puede resolver cualquier problema que una Máquina Universal de Turing (UTM) pueda resolver. 
• Para que esto sea factible, los programas deben estar libres de restricciones, como interrupciones y bucles infinitos. 
• En teoría, la integridad de Turing permite el desarrollo de programas muy avanzados en un idioma y permite que otros proyectos o empresas creen aplicaciones muy avanzadas utilizando las mismas herramientas.

Puntos clave

• Ethereum se puede construir en la string de bloques que se ha construido en este momento sin necesidad de actualizar. Entonces, uno obtiene una Blockchain barata y escalable que ofrece almacenamiento y poder de procesamiento que es casi ilimitado y al mismo tiempo evoluciona.
• Ethereum cambiará todo el ecosistema Blockchain al hacer posible hacer muchas más cosas en él. Todo gracias a su lenguaje Turing completo Solidity. 
• Todo el concepto de criptomonedas y contratos inteligentes se basa en la idea de los lenguajes completos de Turing.
• Los contratos inteligentes se utilizan para todo tipo de aplicaciones, incluidas transacciones comunes como pagos, comprar un automóvil o incluso otorgar licencias de música o software. Los contratos inteligentes se pueden usar de manera eficiente para ejecutar canales estatales entre usuarios y realizar pagos de manera transparente.
• ERC20 es el documento estándar que proporciona una estructura para tokens (funciona en Ethereum) y es compatible con la mayoría de los proyectos de tokens como City Coin, Request Network y otros. 
• La oferta inicial de monedas (ICO), que es una nueva forma de recaudar dinero para un proyecto, utiliza ERC20 como unidad monetaria sin emitir tokens ERC20 negociables antes del lanzamiento de ICO.

Ethereum como completitud de Turing

Ethereum es una criptomoneda creada teniendo en cuenta la integridad de Turing. 

• Dado que se basa en contratos inteligentes programables, Ethereum no depende de servicios de terceros para funcionar. 
• Esto significa que, en teoría, uno podría comprar una casa o realizar otras compras importantes en la string de bloques de Ethereum mediante el uso de un contrato inteligente.
• Sin embargo, existen dudas sobre si esto es factible o no debido a los altos costos asociados con los sistemas completos de Turing y su capacidad para funcionar continuamente sin intervención humana.

Teóricamente, existen varios desafíos asociados con las criptomonedas completas de Turing. A medida que la industria de las criptomonedas continúa creciendo y expandiéndose, constantemente surgen nuevas ideas, muchas de las cuales no habrían sido posibles sin la integridad de Turing.

¿Un sistema tiene que estar completo para ser útil en Blockchain?

• Un sistema debe ser Turing completo para ser útil en blockchain, pero puede tener todas las demás propiedades deseables de una blockchain, como la descentralización y las transacciones sin confianza.
• Un sistema es Turing completo si puede simular un programa de computadora arbitrario. Los sistemas completos de Turing deben poder ejecutar cualquier cálculo posible, que incluye los tipos de cálculo más complejos, como los que se encuentran en blockchain. Este tipo de sistema también suele tener un mejor rendimiento que otros sistemas porque puede usar un conjunto de reglas que son más eficientes al resolver problemas con muchos pasos.
• Además de ser Turing completo, un sistema también debe estar descentralizado y permitir transacciones sin confianza de acuerdo con el consenso para que sea útil en la string de bloques. Estas propiedades son necesarias para la seguridad y consistencia que necesita una string de bloques para que sus registros de datos o «bloques» tengan valor y significado.

Ethereum es una tecnología muy nueva con muchas posibilidades que puede alterar nuestras vidas en el futuro. En resumen, es una red compleja de computadoras que permite crear una moneda propia y es totalmente descentralizada y de uso gratuito.