Tezos (XTZ) es una red blockchain de gran velocidad pensada en ofrecer una infraestructura singularmente amoldada para la ejecución de smart contracts y DApps con bajas comisiones, aparte de marcha sobre una blockchain capaz de evolucionar en el tiempo sin la necesidad de hard fork que puedan poner bajo riesgo la integridad de la red. 

La blockchain Tezos (XTZ) es una red blockchain desarrollada con la meta de ofrecer smart contracts con una alta escalabilidad y con opciones de programación avanzadas en comparación con las que podemos hallar en Ethereum (ETH).

Algo que este proyecto puede conseguir merced a su infraestructura modular, de manera fácil actualizable y el empleo de Prueba de Participación Líquida (Liquid Proof of Stake – LPoS) como su algoritmo de consenso para conseguir un alto desempeño. Auxiliar, sus smart contracts pueden ser programados tanto en su lenguaje nativo, como en otros lenguajes, lo que le ofrece una flexibilidad enorme en este sentido.

Historia y orígenes de Tezos

Los orígenes de Tezos empiezan el tres agosto de dos mil catorce, con la publicación del conocido “Position Paper” o bien “Papel de Posición”, del proyecto Tezos. El documento cuyo nombre es “Tezos: un libro mayor criptográfico auto-modificable” fue presentado por LM Goodman, el que era el pseudónimo de Arthur Breitman. En tal documento quedaban asentados los objetivos del proyecto, los que eran cuatro:

  1. Primero, procuraba solucionar el inconveniente de los hard fork, el que evita a la actualización activa de las blockchain, retrasando y complicando la innovación.
  2. Problemas de costo y centralización planteados por el sistema de Prueba de Trabajo (Proof of Work – PoW) de Bitcoin (BTC).
  3. La expresividad limitada del lenguaje de transacciones de Bitcoin (Bitcoin Script), lo que ha llevado a los smart contracts cara otras blockchains.
  4. Problemas de seguridad respecto a la implementación de una criptomoneda.

Con la publicación de este documento, Breitman examinó a profundidad cada uno de ellos de estos inconvenientes, y planteaba soluciones para exactamente los mismos en su proyecto Tezos. No obstante, no fue sino más bien hasta el dos de septiembre de dos mil catorce, cuando se liberaría el whitepaper de Tezos, dando de esta forma base completa a este proyecto.

En el whitepaper quedaba claro la meta de crear a Tezos como un “libro mayor criptográfico auto-modificable”. Algo que se conseguiría bajo las próximas condiciones:

  1. Creando un protocolo de red que produce, comprueba y valida bloques y transmite transacciones.
  2. Diseñando un protocolo de transacción detalla qué hace que una transacción sea válida.
  3. Diseñando un protocolo de acuerdo que forma acuerdo en torno a una cadena única.

Lanzando la ICO de Tezos

En todo caso, edificar esta red apenas era una idea y hacerla realidad deseaba más que un documento técnico detallando en palabras lo que haría. Fue como en dos mil diecisiete, nació la Fundación Tezos, una organización sin fines de lucro con sede en Suiza. La Fundación planeó una ICO con la que consiguió colectar un total de doscientos treinta y dos millones de dólares estadounidenses.

Con el dinero en su poder, se puso en marcha el desarrollo real del proyecto. No obstante, el veintidos de febrero tuvieron su primer revés, cuando el presidente de la Fundación Tezos, Johann Gevers debió abandonar debido a una polémica sobre el empleo de los fondos de la ICO. Pasados estos hechos, el desarrollo de Tezos siguió y fue el treinta de junio de dos mil dieciocho, cuando se dio comienzo a la historia de la blockchain de Tezos, produciendo su bloque génesis.

Seed Protocol, el protocolo que maneja el funcionamiento de Tezos

El Seed Protocol o bien Protocolo Semilla, es el nombre que recibe el protocolo génesis de Tezos. Es por decirlo de una manera fácil, una serie de reglas que rigen el funcionamiento de Tezos desde su origen hasta nuestros días. Las reglas del Seed Protocol reflejan la manera en como Tezos maneja todo lo tocante al la generación de monedas, protocolo de acuerdo, la interactividad de sus validadores, el funcionamiento de sus smart contracts e inclusive su gobernanza.

En ese sentido, el Seed Protocol tiene en su potestad el control de los elementos más relevantes de la blockchain, conque examinemos cada uno de ellos de ellos con mayor detenimiento.

Control de monedas

Tezos es una blockchain que emplea un token para sus operaciones internas, el token Tezos (XTZ). Dicho token tiene una existencia limitada a diez mil millones de monedas. No obstante, en su bloque génesis fueron liberadas al ecosistema cerca de setecientos millones de moneda a un total de treinta y dos mil direcciones Tezos, respetando los pactos de la ICO que dio financiación a esta criptomoneda.

El resto de monedas son liberadas al ecosistema a través de un sistema de ajuste a la emisión que tiene sitio en el protocolo. Hoy día, dicha emisión por bloque está establecida en cuarenta XTZ por bloque. No obstante, en ningún instante esta inflación puede superar el cinco por ciento anual, esto siguiendo lo estipulado en el Seed Protocol de Tezos.

Otro punto relevante en el control de moneda de Tezos es que las monedas de una cuenta que no se movilizan durante más de un año, son quemadas. Esto con el propósito de sostener el sistema activo a nivel económico.

XTZ, el token nativo de Tezos

El token nativo de Tezos es el XTZ, y es un token multipropósito. Puedes adquirir exactamente el mismo y utilizarlo como medio de pago o bien como medio para interaccionar con los servicios que hacen vida en la blockchain de Tezos y sus smart contracts.

Sin embargo, el potencial de este token se centra sobre todo en el control y también interacción con smart contracts, la gobernanza de la blockchain y su proceso de generación de bloques. En verdad, el empleo de este token en la blockchain es muy semejante al que el Ether tiene en Ethereum. Cada interacción en Tezos produce un costo en “Gas”, que entonces es traducido en su respectiva comisión en tokens XTZ.

Pero la comparación entre el Gas de Tezos y Ethereum acaba allá, por el hecho de que en Tezos la fórmula para calcular el costo de una comisión, es absolutamente diferente. Esa fórmula es la siguiente:

fees >= m_fees + (m_nanotez_per_byte * size) + (m_nanotez_per_gas_unit * gas)

Esto es:

  • m_fees: es el fee mínimo en la plataforma que equivale a 0,0001 ꜩ
  • m_nanotez_per_byte: es la cantidad mínima nanotezos que puedes abonar por cada byte el que es de mil nꜩ/B (0,000001ꜩ/b).
  • size: hace referencia al tamaño en bytes que ocupa la operación.
  • m_nanotez_per_gas_unit: es la cantidad mínima nanotezos que puedes abonar por cada unidad de gas la que es de cien nꜩ/gu (0,0000001 ꜩ/gu)
  • gas: la cantidad de gas que usara por completo la operación.

Así, por servirnos de un ejemplo, si debemos una operación va a gastar unos diez Gas, y tiene un peso de ciento veintiocho bytes, la comisión mínima de esa operación sería el siguiente:

Fee = 0,0001 ꜩ + (0,000001ꜩ/b * ciento veinticinco bytes ) + 0,0000001 ꜩ/gu * diez g
Fee = 0,001225 ꜩ (aprox. 0,002 dólares americanos )

Esto nos deja muy en claro que las comisiones en Tezos son realmente económicas, aun más que en Ethereum, y al tiempo el papel esencial de los tokens XTZ en esta red. Naturalmente, este caso es solo el mínimo, y sus tus comisiones son pequeñísimas, los validadores en la mitad de una alta demanda pueden no atender con prioridad tus transacciones haciendo que debas subir tus comisiones a los fines de ver verificada tu transacción.

LPoS, el protocolo de acuerdo de Tezos

Liquid Proof of Stake o bien Prueba de Participación Líquida (LPoS) es un algoritmo derivado de la Prueba de Participación (Proof of Stake – PoS). Este protocolo está concebido en dejar que los validadores extraigan un bloque, y después precisen un conjunto de firmas para ofrecer valía a dicho bloque, todo ello de forma azarosa.

Es decir, un conjunto de validadores producen un bloque, mas solo aquel bloque que consiga lograr el conjunto de firmas precisas primeramente, va a ser el escogido para formar parte de la blockchain. El resto de bloques generados son rechazados, y se reinicia el proceso. Este proceso de generación de bloques es el que gana la recompensa de cuarenta XTZ, y quienes firman asimismo ganan una pequeña recompensa.

Adicionalmente, LPoS incluye ciertas protecciones contra la llamada doble firma, que es un acontecimiento en el que un validador procura firmar y acreditar 2 bloques diferentes al tiempo, en una carrera por ganar comisiones a como dé sitio. En un caso así, LPoS penaliza estas acciones con la pérdida de las ganancias de tal bloque.

Baking, enhornando el próximo bloque

El proceso de creación de un bloque en Tezos lleva por nombre Baking. Esto es de este modo por el hecho de que a los validadores se les da el nombre de “Bakers” o bien Panaderos. El trabajo de los Bakers, es contar con de poder computacional y un staking de tokens XTZ, que les da el derecho a generar bloques conforme a su participación en el sistema. Este proceso se efectúa bajo las reglas del protocolo de acuerdo LPoS descrito previamente.

Para transformarte en un Baker en Tezos debes contar con mínimo un staking de ocho mil XTZ, mas mientras que mayor sea tu participación, mayor va a ser tu probabilidad de producir un bloque. Auxiliar a esto, para producir un bloque, el Baker debe hacer un depósito de seguridad (su “Prueba de participación”) de quinientos doce XTZ por bloque.

Este depósito está bloqueado a lo largo de unos catorce días y es una protección contra trampas. Si el Baker efectúa un doble firmado o bien doble generación de bloques, o bien rompe alguna otra regla en LPoS, este Baker va a perder su depósito de seguridad (quinientos doce XTZ). Indudablemente una protección bastante fuerte contra esta clase de trampas, mas que no te sorprenda, pasa muy frecuentemente la verdad, como puedes ver esta imagen.

Delegación para el baking

Si alguien no tiene ocho.000 XTZ o bien no desea configurar una infraestructura informática para hacer baking, puede delegar sus monedas en un baker. Delegar deja que los poseedores de monedas “presten” sus monedas a un panadero. Como resultado, el panadero tiene una mayor probabilidad de ser elegido y, por su parte, el panadero comparte los ingresos auxiliares con el poseedor de la moneda. Es esencial resaltar que este proceso realmente no trasfiere la propiedad de las monedas. El panadero no puede gastar el XTZ que le ha sido encargadoy los bakers no pueden huir con el dinero de otras personas.

Han surgido conjuntos que ofrecen tarifas competitivas por sus servicios de pastelería, y la mayor parte cobra entre un diez por ciento y un veinte por ciento de las recompensas que las personas consiguen al delegar en ellas.

Regla de elección de la bifurcación

La última clave que hay que comprender sobre el algoritmo de acuerdo de Tezos es de qué manera el protocolo decide qué bifurcación de cadena es la “correcta”. La regla de elección de la bifurcación de Bitcoin es simple: la cadena más larga es la adecuada o bien canónica. Tezos escoge la cadena preceptiva basándose en la cantidad de bakers que apoyaron el bloque. Se ha citado previamente que los bakers tienen derechos de horneado para crear bloques, mas que los bakers asimismo tienen la segunda responsabilidad de apoyar los bloques. En todos y cada altura de bloque, se escogen treinta y dos tiradas al azar para apoyar un bloque, y el bloque con más respaldos se trata como el preceptivo.

Cuando un panadero respalda un bloque que ocasionalmente se transforma en el bloque preceptivo, consigue una recompensa de XTZ. Por ende, se estimula a los bakers a apoyar el bloque que piensan que otros bakers asimismo respaldarán, asimismo conocido como bloques de alta prioridad. Del mismo modo que para enhornar, los bloques de endoso requieren que los bakers apuesten cuarenta XTZ por endoso. Esto evita el inconveniente de nada en juego.

Stellar Network

Smart Contracts en Tezos

Otra parte esencial del funcionamiento de Tezos son sus smarts contracts. En verdad, en este sentido los smart contracts son controlados de una manera muy semejante a los smart contracts de Ethereum. O sea, las acciones y programación de exactamente los mismos tienen un determinado costo en Gas, que debe pagarse en tokens XTZ, a los fines de que puedan ejecutarse.

Pero lejos de este semejante, los smart contracts de Tezos son programados en el lenguaje Michelson, en vez de Solidity como pasa en Ethereum. Michelson es el lenguaje concreto del dominio que se emplea para redactar contratos inteligentes en la cadena de bloques de Tezos. Dicho lenguaje está basado en pilas y no tiene variables. Los lenguajes orientados a pilas operan en una o bien más pilas, cada una de las que puede tener un objetivo diferente. Esto le deja una gran utilidad a costa de ser considerablemente más complejo de manejar.

Pero auxiliar a esto, se pueden programar smart contracts en otros lenguajes utilizando una capa de abstracción. La primera capa es SmartPy el que deja programar smart contracts para Tezos utilizando Python. Y la segunda es LIGO, que deja programar en lenguajes como Pascal, Camel y Reason. En verdad, el lenguaje de programación OCaml es el lenguaje nativo bajo el que está programado el core de Tezos.

En este punto te vas a preguntar ¿Por qué razón otro lenguaje de programación? Puesto que bien, en el caso de Tezos, el lenguaje Michelson es considerablemente más práctico. Con más potencia que Solidity, velocidad, estructuras de datos estándares built-in, una mayor precisión decimal, y una sintaxis considerablemente más limpia, Michelson es por mucho un lenguaje mejor estructurado. De manera adicional, la capacidad de utilizar framework para programar smart contracts utilizando otros lenguajes, como el muy conocido Python o bien Pascal, le ofrece a Tezos una potencia que Solidity en Ethereum no ha alcanzado.

Adicional la existencia de smart contracts habilita a esta plataforma para la creación de tokens fungibles y no fungibles (NFT). En este punto, los tokens fungibles de Tezos son compatibles con el estándar ERC-20 de Ethereum, y están detallados en el TZIP-siete. Lo mismo pasa con los tokens no fungibles (NFT), los que prosiguen a los estándares ERC-721 y ERC-mil ciento cincuenta y cinco de Ethereum, y están concretados en el TZIP-doce de Tezos. De esta forma, Tezos puede crear puentes de comunicación entre los tokens de Ethereum y su blockchain de forma sencillísima.

Gobernanza del proyecto

La gobernanza de Tezos recae sobre una estructura on-chain que deja a sus participantes plantear, escoger, probar y activar actualizaciones de protocolo sin la necesidad de un hard fork.

En términos simples, esto quiere decir que Tezos es una cadena de bloques que puede mejorarse a sí con el tiempo al tener un proceso formalizado para actualizaciones de protocolo. En la práctica, esto es afín a la estructura de una empresa, donde los accionistas pueden votar sobre la dirección de la compañía.
Otras muchas cadenas de bloques no tienen esta clase de estructura de gobierno formal, con lo que la dirección de estos proyectos frecuentemente la decide un pequeño conjunto de desarrolladores o bien una fundación, que puede o bien no representar a todas y cada una de las partes interesadas de forma justa.

Este proceso es posible merced al proceso de auto enmienda, que está dividido en 4 periodos. El primer periodo, es el de propuesta donde se elevan las propuestas de cambios a la comunidad. Seguidamente, pasa el periodo de exploración de votación, instante en el que, los bakers pueden votar sobre la propuesta mejor clasificada del periodo de propuesta precedente. Los bakers pueden votar “Sí”, “No” o bien “Abstenerse” en una propuesta concreta.

El tercer periodo es el periodo de prueba, instante en el que se empiezan las pruebas en testnet de la propuesta. Si la propuesta pasa esta etapa de pruebas, entonces pasa al último periodo. Este último periodo es el periodo de votación de la promoción, en el que se vuelve a votar para decidir claramente si la propuesta entra o bien no al protocolo Tezos. Esto solo va a ser posible si la propuesta alcanza una votación con una participación con un quorum mínimo (cincuenta y uno por ciento de todos y cada uno de los participantes) y una mayoría de bakers en su favor (ochenta por ciento de los bakers).

El hecho de que las mejoras se manejan de este modo asimismo nos señala que hay un repositorio de propuestas al estilo de los Bitcoin Improvements Proposals (BIP). Ese repositorio de propuestas o bien Tezos Improvements Proposals (TZIP) puede verse en este enlace.

Pros y Contras del proyecto

Tezos es un proyecto centrado en ofrecer un sistema considerablemente más afable para el manejo de smart contracts, en vez de ser un proyecto de para pagos Peer to Peer. Esto limita un tanto el alcance de tal proyecto, mas asimismo brinda mejores condiciones para aquellos que desean crear aplicaciones descentralizadas en esta plataforma.

De hecho, son sus smart contracts y su potencial lo que hace relucir a Tezos. Aunque Michelson es un lenguaje bastante difícil y abstracto por su manejo en pilas, esto le ofrece una velocidad de procesamiento sin parangón. Ello se debe a que un smart contract en Michelson, habla prácticamente lenguaje nativo con los nodos de Tezos, y por lo tanto la ejecución de estas acciones es considerablemente más veloz, precisa de menor potencia computacional y es inteligible.

Esto es lo opuesto a lo que ocurre en Solidity, cuyo lenguaje es interpretado y si bien puede ser compilado en pro de la velocidad, una vez compilado, es humanamente ininteligible. Auxiliar, el hecho de poder emplear otros lenguajes para programar smart contracts a través de framework fortalece su capacidad en la creación de smart contacts de formas considerablemente más fácil.

Otro punto en favor de Tezos es su modularidad, y el hecho de que su blockchain puede actualizarse sin recurrir a hard forks, lo que sostiene la continuidad de la historia de esta blockchain. No obstante, esto asimismo se ve como un inconveniente debido a la concentración de poder de ciertos grandes bakers y su peso en el proyecto, dejando entrever un atisbo de centralización en la comunidad.

Conclusiones

Tezos es una blockchain pensada de principio a fin en ofrecer una infraestructura escalable, segura y potente para smart contracts de grado industrial y empresarial. Este es un propósito que alcanza sin inconveniente, merced a su lenguaje Michelson, la manera en de qué forma se estructura su funcionamiento y la seguridad de protocolo LPoS.

Con infraestructuras y tokens similares a ERC-20, DApps y también integraciones con tecnología como IPFS, Tezos ofrece todo lo preciso para el despliegue de estas herramientas de forma muy simple. Un buen ejemplo de esto puede ser el proyecto Kalamint, donde puede manejar tokens NFT en esta plataforma. No obstante, quizá su mayor debilidad en un caso así, es que mucha de esta tecnología ha llegado después de éxito y presentación de equivalentes en otras redes, todo ello debido al reciente nacimiento de esta red.

Pese a esto, Tezos se ha hecho un fuerte sitio en la criptocomunidad resaltando como uno de los veinte mejores proyectos blockchain, y con el potencial de continuar mejorando merced a su visión y fuerte comunidad.

Enlaces de interés