¿Qué es Starknet?

Starknet es una solución de escalabilidad Layer2 que ha nacido dentro del ecosistema blockchain de Ethereum. Este proyecto, conocida como un «zk-Rollup» o «Validity Rollup», tiene como objetivo mejorar la velocidad y la asequibilidad de las transacciones en la red Ethereum al procesar la mayoría de las operaciones de transacción fuera de Ethereum y proporcionar pruebas de esas transacciones a la red principal. Desarrollado por StarkWare Industries, es una empresa con amplia experiencia en el sector de la criptografía blockchain y que ha sido respaldada por importantes inversores como Sequoia Capital, Paradigm y Coatue.

Starknet, zk-Rollups para Ethereum

Hace un momento mencionamos que Starknet es una «Validity Rollup» o «zk-Rollup» que opera en la red Ethereum. Esto con el objetivo de procesar la mayoría de las operaciones de transacción fuera de Ethereum y luego proporcionar pruebas de esas transacciones a la red principal. Así, Starknet logra reducir de forma significativa la carga en la Layer1 (Ethereum on-chain) y habilita la capacidad de tener transacciones más rápidas y económicas.

Esto es posible gracias a que Starknet funciona como una «Layer2 de commits». Es decir, todo lo que se realiza en Starknet (Layer2), es enviado como un commit criptográfico a la Layer1 (en este caso Ethereum), donde luego es escrito en la información de los bloques y queda grabado de forma perenne como si se tratase de una transacción Ethereum más. Una vez que el commit llega a la Layer1, cualquier persona que tenga acceso puede tomar la prueba y verificarla haciendo uso de pruebas de conocimiento cero, más precisamente, haciendo uso de zk-STARKs, un desarrollo ideado por Starknet y su mayor contribución al sector de la criptografía ZKP (Pruebas de Conocimiento Cero).

Lo mejor de todo es que esta prueba no desvela ninguna información sobre las operaciones ejecutadas en Starknet. Solo da la información «necesaria y suficiente» para comprobar que las operaciones en el commit son correctas. El resto de la información es totalmente privada, lo que convierte a Starknet es una potente Layer2 de privacidad. Además de brindarle una enorme seguridad, todo ello gracias a su uso de ZKP. Todo ello a la vez que sigue ofreciendo compatibilidad con Ethereum, una capacidad de generación de smarts contracts seguros y privados gracias a Cairo y su Cairo Virtual Machine (CMV), entre otros grandes avances.

Gracias a esto Starknet se ha convertido en una de las grandes Layer2 de Ethereum. Con un Valor Total Bloqueado (TVL) de más de 700 millones de dólares, un volumen de trading que supera el billón de dólares, y un fuerte ecosistema DeFi y dApps desarrollándose dentro de la misma. Todo ello es una muestra del enorme potencial que Starknet es capaz de lograr y ofrecer a sus usuarios y desarrolladores.

Características principales de Starknet

Como puedes ver Starknet cuenta con enormes avances para hacer todo esto posible. Avances entre los que destacaremos:

• Bajos costos: una de las principales características de Starknet es que las operaciones que realizas en esta red son más económicas que en Ethereum. Además, actualizaciones futuras como Volition y EIP 4844 permitirán reducir aún más los costos de dichas operaciones en el futuro.
• Velocidad y eficiencia: al ser una Layer2, Starknet asegura a sus usuarios y desarrolladores una velocidad y eficiencia superiores a los que podrías ver en redes como Ethereum.
• Fácil de usar para desarrolladores: otro gran punto a favor de Starknet es que las herramientas de desarrollo de la red facilitan en gran medida el desarrollo de aplicaciones descentralizadas que utilicen ZKP. Esto es posible gracias a Cairo, un lenguaje de programación nativo de StarkNet que hace mucho más fácil y seguro desarrollar usando criptografía ZKP.
• CVM (Cairo Virtual Machine): junto a Starknet se ejecuta en su propia máquina virtual (Virtual Machine – VM) llamada Cairo VM (CVM), lo que permite innovar más allá de la Máquina Virtual Ethereum (EVM). Sobre esta VM recaen todas las nuevas capacidades únicas que Starknet puede ofrecer a sus usuarios y desarrolladores.
• Paymaster: permite a los usuarios elegir cómo pagar tarifas de transacción, siguiendo las pautas establecidas en EIP 4337 y admitiendo transacciones sin gas, mejorando la accesibilidad del usuario.
• Gobernanza: la Fundación Starknet supervisa la gobernanza de Starknet, permitiendo a los miembros influir en el protocolo votando sobre los cambios a través de Starknet Improvement Proposals (SNIP).
• zk-STARK: utiliza pruebas zk-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge) para proporcionar bajas tarifas de gas sin comprometer la seguridad de Ethereum, y ha demostrado un historial de pruebas exitoso.
• Token nativo STRK: Starknet está programado para lanzar su propio token nativo llamado STRK y se empleará para cubrir las tarifas de transacción, gobernanza y participación dentro de la red Starknet.

Funcionamiento de Starknet: navegando por sus capacidades

Ahora que conocemos un poco más sobre Starknet y sus principales características, es tiempo de que conozcamos con mayor profundidades las mismas y como su conjunto permiten que Starknet funcione.

zk-STARK, el núcleo criptográfico

zk-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge) es un sistema de prueba de conocimiento cero que permite a una parte demostrar la veracidad de una declaración sin revelar ninguna información adicional más allá de la veracidad de la declaración misma. Es altamente escalable y transparente, lo que significa que puede manejar un gran volumen de transacciones y proporcionar pruebas de manera eficiente.

Al utilizar zk-STARK, Starknet puede hacerse con una serie de beneficios, que incluyen:

• Mejor escalabilidad: zk-STARK permite el procesamiento eficiente de un gran volumen de transacciones, contribuyendo a la escalabilidad de redes blockchain como Starknet.
• Mejor privacidad: al proporcionar pruebas de conocimiento cero, Starknet permite la verificación de cálculos sin revelar información confidencial, lo que mejora la privacidad de las transacciones.
• Seguridad ampliada: zk-STARK mejora la seguridad de las transacciones al garantizar la integridad y validez de las operaciones manteniendo la privacidad.
• Eficiencia: al mover los cálculos fuera de la cadena y utilizar zk-STARK, se mejora la eficiencia de las redes blockchain al procesar un mayor volumen de transacciones fuera de la cadena principal.

Probadores y Validadores

Dentro de Starknet, los «probadores» y «validadores» desempeñan roles cruciales en el procesamiento y verificación de transacciones. Aquí está la información detallada sobre estos roles:

• Probadores (Operators ZK): estos son los encargados en la elaboración de pruebas zk-STARK para transacciones en Starknet, orquestando la estructura de datos del árbol Merkle para crear pruebas precisas y confiables. Su función principal es elaborar pruebas criptográficas que garanticen la precisión y confiabilidad de las transacciones, lo que contribuye a la integridad y seguridad de la red.
• Validadores: actúan como escrutadores de la autenticidad, confirmando la validez de las pruebas ZK, lo que es esencial para la integridad y precisión de la ejecución de los contratos. Garantizan la legitimidad de las transacciones y la ejecución segura de los contratos, desempeñando un papel crucial en la verificación y validación de las pruebas ZK.

Proceso de Validación

El proceso de validación en Starknet implica la verificación de transacciones y pruebas computacionales para garantizar la integridad y precisión de las operaciones dentro de la red. Este proceso es crucial para mantener la seguridad y confiabilidad de las aplicaciones descentralizadas (dApps) que se ejecutan en Starknet. A continuación se ofrece una descripción general del proceso de validación:

• Envío de transacciones: Los usuarios envían transacciones a Starknet para su procesamiento, lo que puede implicar diversas operaciones dentro de aplicaciones descentralizadas o contratos inteligentes.
• Generación de prueba: Los operadores, también conocidos como «probadores», generan pruebas de conocimiento cero (pruebas ZK) para las transacciones. Estas pruebas son evidencia criptográfica de que los cálculos realizados son válidos sin revelar información sensible.
• Verificación de prueba: Los validadores desempeñan un papel clave en el proceso de validación al verificar la autenticidad y exactitud de las pruebas ZK presentadas por los operadores. Garantizan que los cálculos y las transacciones cumplan con las reglas predefinidas y sean válidos dentro de la red.
• Consenso y finalidad: Una vez que se validan las pruebas ZK, un mecanismo de consenso dentro de Starknet finaliza las transacciones, garantizando que se agreguen a la cadena de bloques de manera segura y a prueba de manipulaciones.
• Ejecución y liquidación: Luego se ejecutan las transacciones validadas y los cambios de estado resultantes se liquidan dentro de la red, actualizando el libro mayor y los contratos inteligentes relevantes en consecuencia.

Cairo y Cairo VM

Otra parte importante en el funcionamiento de StakNet es Cairo y su VM, Cairo VM (CVM). A continuación, se proporciona una explicación detallada de Cairo y Cairo VM dentro de Starknet:

Cairo

Cairo es un lenguaje de alto nivel que ha sido desarrollado para ofrecer un entorno seguro y eficiente para la creación de contratos inteligentes en Starknet. Sus características principales incluyen:

• Seguridad y verificación. Cairo está diseñado con un enfoque en la seguridad y la verificación. Su diseño se centra en reducir la posibilidad de errores y vulnerabilidades en los contratos inteligentes.
• Eficiencia. Cairo está optimizado para la ejecución eficiente en la Cairo VM, lo que significa que los contratos escritos en Cairo pueden ejecutarse de manera eficiente, reduciendo los costos de gas y mejorando el rendimiento.
• Facilidad de uso. Aunque es un lenguaje potente, Cairo está diseñado para ser accesible, con una sintaxis clara y herramientas de desarrollo que facilitan la creación y el mantenimiento de contratos inteligentes.

Cairo VM

Por su parte, Cairo VM es la máquina virtual que ejecuta los contratos inteligentes escritos en Cairo. Algunos aspectos importantes de la Cairo VM son:

• Ejecución eficiente. Cairo VM está optimizada para la ejecución eficiente de los contratos escritos en Cairo, lo que contribuye a la escalabilidad y la eficiencia de Starknet.
• Seguridad. Al igual que el lenguaje Cairo, la Cairo VM se centra en la seguridad y la integridad de la ejecución de los contratos inteligentes, lo que es fundamental para la fiabilidad de las aplicaciones descentralizadas en Starknet.
• Interoperabilidad. Cairo VM está diseñada para ser interoperable con la red Ethereum, lo que permite la ejecución de contratos inteligentes en una Layer2 con la seguridad y la confiabilidad de la red principal.

En resumen, Cairo y Cairo VM son componentes cruciales de Starknet, proporcionando un entorno seguro, eficiente y escalable para la creación y ejecución de contratos inteligentes en la red Ethereum.

Token STRK

El token STRK es el token nativo de Starknet. El lanzamiento de este token, programado para el 20 de febrero de 2024, implica una distribución que abarca alrededor de 1,3 millones de monederos elegibles, con un suministro total de 10 mil millones de tokens.

La función principal del token STRK es impulsar la participación de la comunidad y la gobernanza del proyecto en Starknet, permitiendo a los usuarios, desarrolladores y contribuyentes del ecosistema de Starknet, así como a los constructores y partes interesadas de Ethereum y desarrolladores de código abierto, participar en la red. Además, la distribución de tokens STRK tiene como objetivo priorizar a los usuarios, contribuyentes y desarrolladores de StarkNet en primer lugar, promoviendo una cultura de inclusión en el espacio de desarrollo en general.

Los tokens se asignarán en nueve categorías, y los participantes del ecosistema utilizarán los tokens para la gobernanza, pagando tasas, con el uso para el staking previsto en el futuro. En resumen, el token STRK desempeña un papel fundamental en la descentralización y gobernanza de Starknet, permitiendo la participación activa de una amplia gama de partes interesadas en el ecosistema.

Distribución del token STRK

La distribución del token STRK está diseñada para promover la participación diversa y recompensar a una amplia gama de contribuyentes dentro de la red Starknet. Algunos aspectos clave de la distribución del token STRK incluyen:

• Alcance y duración. La distribución se llevará a cabo del 20 de febrero al 20 de junio, abarcando a casi 1.3 millones de monederos elegibles, lo que permite a los usuarios reclamar sus tokens durante un período de cuatro meses.
• Cantidad y propósito. Más de 700 millones de tokens STRK, que representan el 7% del suministro total de 10 mil millones, serán distribuidos, destacando el compromiso de la fundación con la descentralización y la gobernanza comunitaria en el ecosistema de Starknet.
• Elegibilidad. La elegibilidad para reclamar los tokens STRK se extiende a varios segmentos de la comunidad, incluyendo a usuarios tempranos de Starknet, contribuyentes de Ethereum y desarrolladores de código abierto, quienes han desempeñado roles integrales en el avance y prueba de la tecnología basada en Stark.
• Iniciativas comunitarias. La Starknet Foundation ha encabezado diversas iniciativas comunitarias para fomentar la participación y descentralización en el ecosistema, incluyendo el programa «devonomics» y futuros esfuerzos como reembolsos y subsidios para incentivar la actividad del ecosistema.

En resumen, la distribución del token STRK se enfoca en la inclusión amplia y recompensa a diversos contribuyentes, y está respaldada por iniciativas para fortalecer la participación comunitaria y la descentralización en el ecosistema de Starknet.

Conclusión

Starknet representa un avance significativo en el ecosistema de Ethereum, al ofrecer una solución de Layer2 que aprovecha la criptografía de conocimiento cero para mejorar la escalabilidad, privacidad y eficiencia de las aplicaciones descentralizadas.

Con su enfoque en la seguridad, descentralización y gobernanza comunitaria, Starknet está bien posicionado para desempeñar un papel fundamental en el futuro de Ethereum como una red de capa 2. Además, su token nativo, STRK, y la distribución inclusiva demuestran un compromiso con la participación comunitaria y la descentralización, sentando las bases para un ecosistema sólido y diverso.

De esta forma, el continuo desarrollo y adopción, Starknet tiene el potencial de contribuir de manera significativa a la expansión y utilidad de Ethereum, estableciéndose como una red de Layer2 líder en el ecosistema blockchain.