¿Qué es Tezos (XTZ)? Conociendo las Criptomonedas

Tezos irrumpió en el espacio criptográfico batiendo récords al recolectar $232 millones en su ICO. Se lanzó oficialmente en septiembre de 2018. Desde su ICO han pasado muchas cosas y ahora es un buen momento para analizar el proyecto. Entonces, veamos que nos trae Tezos.

 

¿Qué es la moneda Tezos (XTZ)?

Según el sitio web de Tezos, "Tezos es una nueva cadena de bloques descentralizada que se gobierna a sí misma al establecer una verdadera mancomunidad digital".

Tezos (XTZ) es una red blockchain vinculada a un token digital, que se llama tez o tezzie. Tezos no se basa en la minería de tez. En cambio, los poseedores de tokens reciben una recompensa por participar en el mecanismo de consenso de prueba de participación.

Una mancomunidad es un grupo que elige vincularse debido a sus objetivos e intereses compartidos. El objetivo principal de Tezos es hacer que sus poseedores de tokens trabajen juntos para tomar decisiones que mejorarán su protocolo con el tiempo. El token nativo de Tezos es XTZ.

Hay muchas características en Tezos que lo hacen único. Los cubriremos más adelante en la guía. Por ahora, le proporcionaremos algunos antecedentes sobre el proyecto.

Una breve historia de lo que es Tezos

Los cofundadores, Arthur Breitman y Kathleen Breitman, han estado desarrollando Tezos desde 2014 con un grupo central de desarrolladores. La empresa tiene su sede en Suiza. Como ya dijimos, recaudaron $232 millones en una ICO sin tope en solo 2 semanas, aceptando contribuciones tanto de bitcoin como de ether. Poco después de su histórica ICO, Tezos se enfrentó de lleno a muchos problemas de gestión. Para comprender estos problemas de gestión, debe saber que la empresa fundadora de Tezos se llama DLS (Dynamic Ledger Solutions) y la empresa que tiene todos los fondos recaudados durante la ICO se llama "Fundación Tezos".

Arthur y Kathleen Breitman se pelearon públicamente con el presidente de la Fundación Tezos, Johann Gevers. Al parecer, Gevers, que tenía el control de los fondos, se negó a desembolsar los fondos a los Breitman. Esta disputa provocó un caos dentro de la comunidad y el tipo de cambio estimado se desplomó. Los Breitman emitieron una declaración mordaz sobre Gevers que incluía palabras como "auto-trato, autopromoción y conflictos de intereses".

Finalmente, después de mucho drama y atención indeseable de los medios, Gevers dejó la compañía luego de recibir más de $400,000 en indemnización. Ahora las cosas finalmente están navegando sin problemas. Entonces, en esa nota, entremos en los detalles básicos.

Arquitectura de Tezos

No se puede responder correctamente a la pregunta "¿qué son los tezos?" La cadena de bloques de Tezos utiliza un middleware nativo agonista llamado "Network Shell”. Esto les permite desarrollar un estilo modular con un libro mayor auto-modificable. Un protocolo de blockchain genérico se divide en tres capas:

1. Protocolo de red: este es el protocolo de chismes que es responsable de la escucha entre pares y la transmisión entre nodos.
2. Protocolo de transacción: esta es la capa transaccional que definió el modelo de contabilidad que implementa la cadena de bloques.
3. Protocolo de consenso: bastante auto-explicativo. Esto define el protocolo de consenso que ayudará a nuestra cadena de bloques a llegar a acuerdos sobre el estado de nuestras transacciones.

En Tezos, los dos últimos protocolos, Transacción y Consenso, se combinan para denominarlos Protocolo Blockchain. Network Shell ayuda en la comunicación entre el protocolo de red y el protocolo blockchain. El shell de la red es independiente del protocolo de transacción y del protocolo de consenso.

Las dos cuentas de Tezos

Los dos tipos de cuentas que puede usar en Tezos son:

1. Cuentas implícitas.
2. Cuentas originadas.

Cuentas implícitas

Estas son las cuentas más comunes en Tezos. Comienzan con tz1 (p. Ej., Tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Esta es una cuenta simple que se genera a partir de un par de claves públicas/privadas. La dirección pública tz1 se deriva de la clave pública y cada cuenta tz1 tiene su propia clave privada. Estas cuentas tienen un titular de cuenta y un saldo de cuenta.

Las cuentas implícitas no pueden tener un delegado. Para delegar fondos, deberán transferir fondos a una cuenta originada y luego se debe establecer un delegado.

Cuentas originadas

Junto con las cuentas implícitas, también tiene cuentas para sus contratos inteligentes que se denominan cuentas originadas. Estos comienzan con KT1 (por ejemplo: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo). Estas cuentas tienen los siguientes campos:

• Administrador - esta es la clave privada de la cuenta
• Monto - Monto de Tz en esta cuenta
• Delegable - si los fondos de esta cuenta se pueden delegar para hornear
• Campos de delegado: información sobre a quién se ha delegado esta cuenta para hornear.

Una cuenta originada puede delegar sus fondos a la cuenta implícita del panadero. Hablaremos más sobre panaderos más adelante.

Tezos tiene tres capacidades únicas:

1. Gobernanza en cadena y auto-modificación.
2. Un mecanismo de consenso líquido de prueba de participación.
3. Contratos inteligentes con verificación formal.

Repasemos cada uno de ellos uno por uno.

Gobernanza en cadena y auto-modificación

Para comprender la importancia de la gobernanza en cadena y la auto-modificación, primero debe comprender la "palabra F" en la comunidad criptográfica, bifurcaciones.

Una bifurcación es una condición por la cual el estado de la cadena de bloques diverge en cadenas donde una parte de la red tiene una perspectiva diferente sobre el historial de transacciones que una parte diferente de la red. Eso es básicamente lo que es una bifurcación, es una divergencia en la perspectiva del estado de la cadena de bloques. Una bifurcación se puede conseguir con una bifurcación blanda o una bifurcación dura.

¿Qué es una bifurcación blanda?

Siempre que sea necesario actualizar una cadena, hay dos formas de hacerlo: una bifurcación blanda o una bifurcación dura. Piense en la bifurcación blanda como una actualización en el software que es compatible con versiones anteriores. ¿Qué significa eso? Suponga que está ejecutando MS Excel 2005 en su computadora portátil y desea abrir una hoja de cálculo integrada en MS Excel 2015, aún puede abrirla porque MS Excel 2015 es compatible con versiones anteriores.

PERO, habiendo dicho que hay una diferencia. Todas las actualizaciones que puede disfrutar en la versión más reciente no serán visibles para usted en la versión anterior. Volviendo a nuestra analogía de MS Excel nuevamente, supongamos que hay una función que permite colocar GIF en la hoja de cálculo en la versión 2015, no verá esos GIF en la versión 2005. Básicamente, verá todo el texto pero no verá el GIF.

¿Qué es una bifurcación dura?

La principal diferencia entre una horquilla blanda y una horquilla dura es que no es compatible con versiones anteriores. Una vez que se utiliza, no hay absolutamente ninguna vuelta atrás. Si no se une a la versión mejorada de la cadena de bloques, no tendrá acceso a ninguna de las nuevas actualizaciones ni interactuará con los usuarios del nuevo sistema en absoluto. Piense en PlayStation 3 y PlayStation 4. No puede jugar juegos de PS3 en PS4 y no puede jugar juegos de PS4 en PS3.

Andreas Antonopoulos describe la diferencia entre un tenedor duro y un tenedor blando de esta manera: si un restaurante vegetariano optara por agregar carne de cerdo a su menú, se consideraría un tenedor duro. si decidieran agregar platos veganos, todos los vegetarianos aún podrían comer veganos, no tienes que ser vegano para comer allí, aún podrías ser vegetariano para comer allí y los que comen carne también podrían comer allí, así que eso es un tenedor suave.

Ahora, una cosa debería quedar clara aquí. Las bifurcaciones no son algo malo. Una plataforma de alta calidad siempre debe evolucionar y actualizarse continuamente. Para ello, es absolutamente necesario que un sistema pase por constantes horquillas, duras y blandas. El principal problema radica en las polémicas bifurcaciones que dividen a la comunidad.

El ejemplo más obvio de esto son todas las bifurcaciones duras por las que han pasado Bitcoin y Bitcoin Cash. Bitcoin se dividió en Bitcoin y Bitcoin Cash, mientras que Bitcoin Cash se dividió más tarde en Bitcoin Cash y Bitcoin SV. La división de Bitcoin Cash y Bitcoin SV ha sido particularmente fea. Desató las llamadas "guerras hash".

La guerra del hash consistió básicamente en que estas dos cadenas utilizaran su poder de hash para extraer la cadena más larga. El que tiene la cadena más larga supuestamente se convierte en la cadena dominante de Bitcoin Cash. Esta postura innecesaria hundió a toda la comunidad criptográfica a medida que toda la capitalización de mercado perdía valor. Peor aún, dividió a la comunidad de Bitcoin Cash en dos.

Esto es exactamente lo que Tezos quería evitar.

Como Kathleen Breitman pone, “La gran ironía de Bitcoin es que es en última instancia, una herramienta para el consenso de la comunidad, pero está [empañado por] una enorme cantidad de animosidad. Tezos permite que la innovación suceda de una manera sistematizada en lugar de una nacida de la política. No encontrarás a dos personas que detestan la política más que Arthur y yo. Esa es la idea detrás de Tezos: formalicemos este proceso extraordinariamente informal".

¿Cómo mitiga Tezos esto?

Tezos mitiga las bifurcaciones contenciosas mediante auto enmiendas y gobernanza en cadena. La auto enmienda ayuda a actualizar la cadena de bloques sin sufrir una bifurcación dura. La gobernanza en cadena simplemente significa votar en la plataforma sobre una enmienda propuesta. Con una combinación de gobierno en cadena y evento de auto enmienda, el proceso de votación se puede modificar o enmendar según sea necesario. Las partes interesadas del sistema (de las que hablaremos más adelante) se encargan de la votación. El diseño de este sistema permite una evolución fluida de la cadena de bloques en lugar de tener que hacer un hard fork.

Muy bien, entonces, ¿Cómo funciona esto exactamente?

• Los desarrolladores envían de forma independiente propuestas para actualizaciones de protocolo y solicitan una compensación por su trabajo.
• La solicitud de compensación asegura que los desarrolladores tengan un fuerte incentivo económico para contribuir al ecosistema.
• La propuesta pasa por un período de prueba en el que la comunidad prueba el protocolo y lo critica por posibles mejoras.
• Después de varias pruebas, los titulares de tokens de Tezos pueden votar si la propuesta debe aprobarse o no.
• Una vez que se decide una actualización legítima, se produce un "intercambio en caliente" en el protocolo, que inicia la nueva versión del protocolo.

Debido a este sistema, el protocolo se actualiza pasivamente de manera descentralizada. Todas y cada una de las actualizaciones de protocolos pasan por múltiples períodos de prueba y obtienen comentarios relevantes de la comunidad. Esto asegura que cualquier mejora que suceda tenga el sello de aprobación de la mayoría de la comunidad. Esto evita cualquier posibilidad de un hard fork que divida a la comunidad.

Prueba de participación liquida

El mecanismo de consenso comunitario es el corazón y el alma de una red descentralizada. No tiene sentido conectar varios nodos a través de una red de área amplia si no hay métodos concretos para que se comuniquen entre sí y tomen una decisión. Cuando Satoshi Nakamoto creó Bitcoin, integró el mecanismo de consenso de prueba de trabajo en él. La idea del mecanismo POW es bastante simple:

• Haga que los mineros usen su poder computacional para resolver acertijos criptográficamente difíciles.
• Recompensa a los mineros que pudieron resolver esos acertijos.

Es tan simple como eso. Estos acertijos son tan difíciles que por lo general consumen gran parte de su capacidad de cálculo. Si bien POW fue definitivamente efectivo cuando comenzó, tiene muchos problemas:

• En primer lugar, la prueba de trabajo es un proceso extremadamente ineficiente debido a la gran cantidad de potencia y energía que consume.
• Las personas y organizaciones que pueden permitirse ASIC más rápidos y potentes suelen tener más posibilidades de minar que las demás.
• POW conduce a la centralización.

Para contrarrestar los problemas de POW, se creó un nuevo protocolo de consenso llamado “Prueba de participación” o POS.

¿Qué es la prueba de participación?

La prueba de participación hará que todo el proceso de minería sea virtual y reemplazará a los mineros con validadores.

Así es como funcionará el proceso:

• Los validadores deberán bloquear algunas de sus monedas como apuesta.
• Después de eso, comenzarán a validar los bloques. Es decir, cuando descubren un bloque que creen que se puede agregar a la cadena, lo validarán apostando en él.
• Si se agrega el bloque, los validadores obtendrán una recompensa proporcional a sus apuestas.

Sin embargo, esto puede ser un problema, ya que aún incluye a toda la comunidad y puede que no sea el método más escalable. Es por eso que muchas cadenas de bloques modernas como EOS, Cardano, Lisk, NEO, etc. se construyen utilizando un protocolo delegado. EOS y Lisk utilizan un protocolo de prueba de participación delegada en el que se elige de antemano una cantidad fija de delegados. Estos delegados son los responsables del consenso y el bienestar general de la red.

El mecanismo de consenso de Tezos es similar a este pero con una pequeña diferencia. En lugar de la delegación incondicional, Tezos incorpora un modelo de democracia líquida a su consenso.

¿Cómo funciona la democracia líquida?

Es un sistema que cambia con fluidez entre la democracia directa y la democracia representativa.
El proceso tiene las siguientes características:

• Las personas pueden votar directamente sobre sus políticas.
• Las personas pueden delegar sus responsabilidades de voto a un delegado que puede votar sus políticas por ellos.
• Los propios delegados pueden delegar sus responsabilidades de voto a otro delegado que pueda votar en su nombre. Esta propiedad en la que un delegado puede designar a su propio delegado se llama transitividad.
• Si a una persona que ha delegado su voto no le gusta el voto que han elegido sus delegados, simplemente puede retirar su voto y votar sobre la política ellos mismos.

Entonces, ¿Cuáles son las ventajas de la democracia líquida?

• La opinión de cada individuo cuenta y juega un papel en la creación final de la política.
• Para convertirse en delegado, todo lo que hay que hacer es ganarse la confianza de una persona. No necesitan gastar millones de dólares en costosas campañas electorales. Debido a esto, la barrera de entrada es relativamente baja.
• Debido a la opción de oscilar entre democracia directa y delegada, los grupos minoritarios pueden estar representados de manera más justa.
• Finalmente, tiene un modelo escalable. Cualquiera que no tenga tiempo para votar sobre sus políticas puede simplemente delegar sus responsabilidades de voto.

¿Qué es la prueba de participación liquida?

A diferencia de DPoS (prueba delegada de participación), no existe una regla estricta y rápida que indique que los delegados deben ser seleccionados de manera absoluta. Depende completamente del participante lo que quiera hacer. Muy bien, comencemos con LPoS.

Tezos es un sistema de prueba de participación liquida que requiere que uno apueste una cierta cantidad de tokens de Tezos para participar en el consenso sobre la cadena de bloques. El proceso de apostar tokens Tezos (XTZ) se llama horneado.

Los poseedores de tokens, también conocidos como "panaderos", pueden delegar sus derechos de validación a otros poseedores de tokens sin transferir la propiedad. A diferencia de EOS, la delegación es opcional.

Bloques para hornear

Encuentra y agrega bloques a la cadena de bloques de Tezos a través de un proceso llamado "horneado". Así es como funciona:

• Los panaderos obtienen derechos de publicación en bloque en función de su participación.
• Cada bloque es horneado por un panadero aleatorio y luego notariado por otros 32 panaderos aleatorios.
• Si el bloque está listo para funcionar, el bloque se agrega a la cadena de bloques.
• El panadero exitoso obtiene una recompensa en bloque y puede cobrar tarifas de transacción por todas las transacciones dentro del bloque.

Como dijimos antes, los poseedores de tokens tienen la opción de delegar sus derechos de horneado a otros poseedores sin dejar de lado la propiedad de sus tokens. Una vez finalizado el proceso de horneado, el panadero compartirá sus recompensas con el resto de los delegados.

Contratos inteligentes y verificación formal

Tezos se ha codificado con OCaml. El contrato inteligente que se ejecutará en Tezos se creará utilizando Michelson. Entonces, ¿Qué tienen de especial estos idiomas? Ambos resultan ser lenguajes funcionales.
Cuando se trata de idiomas, pertenecen a dos familias:

1. Imperativo
2. Funcional.

Lenguajes de programación imperativos

En un enfoque imperativo, el codificador debe anotar todos los pasos que la computadora debe seguir para alcanzar una meta. Todos nuestros lenguajes de programación tradicionales como C++, Java e incluso Solidity son lenguajes de programación imperativos. Este tipo de enfoque de programación también se denomina programación algorítmica.

Tomemos un ejemplo de lo que queremos decir con eso. Veamos C++. Supongamos que queremos sumar 5 y 3.
int a = 5;
int b = 3;
int c;
c = a + b;

Entonces, como puede ver, el proceso de adición toma varios pasos y cada paso cambia constantemente el estado del programa, ya que todos se ejecutan a su vez individualmente.

Un proceso de adición tomó cuatro pasos y los pasos son:

1. Declarar un número entero ay asignarle el valor 5.
2. Declarar un entero by asignarle el valor 3.
3. Declarar un número entero c.
4. Sumando los valores de a y b, y almacenándolos en c.

Lenguajes de programación funcional

La segunda familia de lenguajes de programación son los lenguajes funcionales. Este estilo de programación fue creado para construir un enfoque funcional para la resolución de problemas. Este tipo de enfoque se llama programación declarativa.

Entonces, ¿Cómo funciona la programación funcional?

Suponga que hay una función f(x) que queremos usar para calcular una función g(x) y luego queremos usarla para trabajar con una función h(x). En lugar de resolver todos esos en una secuencia, simplemente podemos agruparlos todos juntos en una sola función como esta:

h(g(f (x)))

Esto hace que el enfoque funcional sea más fácil de razonar matemáticamente. Es por eso que se supone que los programas funcionales son un enfoque más seguro para la creación de contratos inteligentes. Esto también ayuda a una verificación formal más simple, lo que significa que es más fácil probar matemáticamente lo que hace un programa y cómo se comporta.

Tomemos un ejemplo de la vida real de esto y veamos por qué puede volverse extremadamente crítico e incluso salvar vidas en ciertas condiciones.

Supongamos que estamos codificando un programa que controla el tráfico aéreo.

Como puede imaginar, codificar un sistema de este tipo requiere un alto grado de precisión y exactitud. No podemos simplemente codificar algo a ciegas y esperar lo mejor cuando la vida de las personas está en riesgo. En situaciones como estas, necesitamos un código que pueda demostrarse que funciona con un alto grado de certeza matemática.

Esta es precisamente la razón por la que el enfoque funcional es tan deseable. Es por eso que Tezos usa OCaml y sus contratos inteligentes usan Michelson.

Entonces, veamos las ventajas del enfoque funcional:

• Ayuda a crear código de alta seguridad porque es más fácil probar cómo se comportará el código matemáticamente.
• Aumenta la legibilidad y la facilidad de mantenimiento porque cada función está diseñada para realizar una tarea específica. Las funciones también son independientes del estado.
• El código es más fácil de refractar y cualquier cambio en el código es más simple de implementar. Esto facilita el desarrollo reiterativo.
• Las funciones individuales se pueden aislar fácilmente, lo que las hace más fáciles de probar y depurar.

Más sobre Michelson

Michelson es un lenguaje basado en pilas fuertemente tipado.

En Ethereum, los contratos inteligentes se escriben en Solidity o Viper y se compilan en un código de bytes EVM, que luego se ejecuta en la máquina virtual Ethereum (EVM). En Tezos, no hay ningún paso adicional innecesario y el código de Michelson se ejecuta en la VM de Tezos.

¿Cuál es la ventaja de este enfoque? Puede ser leído fácilmente por humanos, lo que ayudará a construir las pruebas de corrección y ayudará a evitar errores.

A continuación se muestra un ejemplo de un contrato de Michelson

parameter (pair (lambda int int) (list int));

return (list int);

storage unit;

code { DIP{NIL int};

   CAR;

   DUP;

   DIP{CAR; PAIR};     # Unpack data and setup accumulator

   CDR;

   LAMBDA (pair int (pair (lambda int int) (list int)))

      (pair (lambda int int) (list int))

      # Apply the lambda and add the new element to the list

      { DUP; CDAR;

       DIP{ DUP; DIP{CDAR}; DUP;

          CAR; DIP{CDDR; SWAP}; EXEC; CONS};

       PAIR};

   REDUCE; CDR; DIP{NIL int}; # First reduce

   LAMBDA (pair int (list int))

      (list int)

      {DUP; CAR; DIP{CDR}; CONS};

   REDUCE;         # Correct list order

   UNIT; SWAP; PAIR}    # Calling convention

Conclusión sobre Tezos

Así que ahí lo tienes los aspectos mas básicos para introducirnos en el proyecto. Tezos es un proyecto extremadamente intrigante que desafortunadamente se vio ensombrecido por todo el drama detrás de escena. Este proyecto merece un análisis más detenido porque está aportando una utilidad interesante al espacio blockchain. Ahora tenemos que esperar y descubrir si pueden justificar las expectativas que generaron durante y después de su ICO.