Puntos clave
- Tezos incorpora mecanismos de gobernanza y actualización del protocolo.
- Los contratos requieren herramientas y lenguajes adaptados a su entorno.
- La verificabilidad del código complementa la revisión de permisos y reglas del producto.
¿Qué es Tezos?
Tezos es una red de capa 1 que incorpora un proceso de gobernanza para adoptar cambios de protocolo. Sus contratos nativos se ejecutan en Michelson, un lenguaje al que compilan herramientas como LIGO y SmartPy. XTZ es el activo utilizado en la operación de la red.
La posibilidad de actualizar el protocolo mediante gobernanza no significa que cualquier cambio carezca de riesgos o que no requiera mantenimiento. Un equipo debe seguir las versiones y comprobar cómo afectan a los contratos, las wallets y la infraestructura que utiliza.
Cómo funciona
El consenso Proof of Stake de Tezos incluye la participación de bakers. Los contratos mantienen almacenamiento y ejecutan entradas definidas por su interfaz. Lenguajes de alto nivel facilitan expresar la lógica antes de compilarla a Michelson; LIGO ofrece sintaxis como CameLIGO y JsLIGO, con herramientas y versiones propias.
Etherlink es un entorno EVM sobre la infraestructura de rollups de Tezos. Su ejecución, acceso RPC y recorrido de activos son diferentes de los contratos nativos de la capa base. Decidir entre ambos requiere identificar qué herramientas y activos necesita la aplicación.
Qué aporta Tezos
Tezos puede encajar en registros y activos digitales que aprovechan estándares como FA2. Un sistema de membresías puede definir clases de activos y permisos de transferencia, mientras la aplicación consulta saldos y vigencia. Las autorizaciones de operadores deben explicarse y probarse, porque permiten acciones sobre activos de otras cuentas.
Las propiedades del contrato pueden expresarse y analizarse con herramientas formales cuando el alcance lo justifique. Ese trabajo requiere especificar qué se demuestra y bajo qué supuestos. Compilar a Michelson no equivale a contar con una prueba formal ni valida automáticamente el significado jurídico del activo.
Limitaciones y criterios de elección
La selección incluye disponibilidad de desarrolladores, librerías y soporte de wallets para la interfaz concreta. Una migración desde Solidity hacia contratos nativos implica rediseño; utilizar Etherlink plantea otro conjunto de dependencias. Es necesario probar emisión, transferencia, permisos y actualización, además de consultar el saldo final.
El presupuesto debe considerar ejecución, almacenamiento e infraestructura de datos según los parámetros vigentes. También se ensayan errores de autorización y recuperación tras interrupciones del indexador. La gobernanza del protocolo aporta un mecanismo de evolución, pero el producto sigue necesitando responsables claros de sus contratos y de la continuidad operativa.
También conocido como
- XTZ
- Tezos chain
