Starknet es una solución de escalado de capa 2 de Ethereum que utiliza un rollup de conocimiento cero basado en la prueba sin confianza 'STARK' de StarkWare Industry.
Starknet es una solución de escalado de capa 2 de Ethereum que utiliza un rollup de conocimiento cero basado en la prueba sin confianza 'STARK' de StarkWare Industry.
Starknet es una de las muchas soluciones de escalado de capa 2 (L2) para Ethereum. Existen múltiples enfoques para aumentar la velocidad de las transacciones y disminuir los costos, pero uno de los más populares se ha convertido en los zk-rollups. Ambos tipos comunes de rollups (el otro se llama 'optimista') realizan cierta cantidad de cálculos fuera de la cadena, de modo que se pueda hacer algún trabajo sin utilizar la red principal de Ethereum, que consume muchos recursos. Luego agrupan muchas transacciones para documentarlas en la red. Esto descongestiona Ethereum mientras los usuarios experimentan tarifas con descuento.
Los zk-rollups anteriores han utilizado una tecnología llamada zk-SNARKS. Sin embargo, la innovación de Starknet se llama Argumento de Conocimiento Escalable y Transparente (STARK). Un zk-STARK utiliza dos componentes (secuenciadores y probadores) para validar matemáticamente las transacciones, crear una prueba STARK y luego comunicarse con contratos inteligentes en la red principal de Ethereum para registrar formalmente las transacciones. Starknet también utiliza su propio lenguaje de programación llamado Cairo, que tiene como objetivo hacer que el desarrollo sea más accesible para los programadores.
Aunque inicialmente Starknet permitía el pago de las tarifas de red en forma del token ETH de Ethereum, desde entonces ha añadido un medio de intercambio alternativo: un token nativo STRK. STRK no solo se utiliza para pagar las tarifas de transacción, sino que también se usa para fines de staking y gobernanza, manteniendo la red y ayudando a impulsar su desarrollo.
¿Cómo se desarrolló Starknet?
Starknet fue desarrollado por StarkWare Industries, una empresa tecnológica israelí fundada en 2018 por Eli Ben-Sasson, Uri Kolodny, Michael Riabzev y Alessandro Chiesa. Ben-Sasson también fue fundador de la criptomoneda centrada en la privacidad Zcash, que se basaba en Bitcoin. En el momento de la fundación de Starknet, era profesor en el Technion – Instituto de Tecnología de Israel, y en 2019, Technion lo demandó por alegaciones de propiedad intelectual (PI). Esto eventualmente resultó en un acuerdo y la salida de Ben-Sasson de la institución.
El primer producto de StarkWare fue StarkEx, una solución de escalado con permisos introducida en 2020 que utiliza la misma tecnología zk-STARK detrás de Starknet. Es utilizado por el intercambio descentralizado de derivados dYdX y la L2 Immutable X. Sin embargo, StarkWare finalmente apuntó a construir su propia L2 sin permisos, y ese esfuerzo culminó en la publicación del bloque génesis de Starknet en noviembre de 2021. Exactamente un año después, el token Starknet (STRK) se implementó en la red principal de Ethereum, aunque los tokens no se ofrecieron inmediatamente a la venta. Se pusieron a disposición del público en febrero de 2024.
Dentro de sus primeros cinco años, StarkWare fue uno de los proyectos mejor financiados de la industria. Su ronda de financiación inicial de inversores privados fue rápidamente seguida por una subvención de 12 millones de dólares de la Fundación Ethereum. Continuó recibiendo cientos de millones de dólares en financiación de participantes notables, incluyendo la ahora desaparecida Alameda Research, Paradigm, Sequoia Capital y otras firmas de capital de riesgo.
¿Cómo funciona Starknet?
Debido a que el propósito de la cadena de bloques es hacer que todas las interacciones sean descentralizadas y sin confianza, el procesamiento fuera de la cadena (que se encuentra en múltiples tipos de soluciones de escalado) debe ser validado de una manera igualmente sin confianza. Starknet logra esto utilizando una prueba de Argumento de Conocimiento Escalable y Transparente (STARK), que se introdujo por primera vez en 2018. A diferencia de su primo mayor, zk-SNARK, los zk-STARKs no requieren confianza en una parte centralizada durante su configuración.
Secuenciadores y probadores
Hay dos componentes principales de la L2 basada en STARK de Starknet: los secuenciadores y los probadores.
Las transacciones se envían a Starknet tal como lo harían en la red principal. Estas son procesadas y validadas primero por secuenciadores, que actúan como nodos de Ethereum con más capacidades. Estas computadoras ponen las transacciones en una cola llamada mempool, y proponen bloques y luego colocan estas transacciones en esos bloques. Las transacciones fallidas no avanzan. Una vez que un grupo de transacciones se ejecuta y finaliza en un bloque, el secuenciador se comunica con otros secuenciadores para su aprobación, y luego el bloque se envía a los probadores.
Los probadores son responsables de garantizar aún más que las transacciones en un bloque sean válidas. Organizan bloques en grupos (como los secuenciadores procesan transacciones) y los procesan en paralelo, lo que hace que el proceso sea más rápido. Al hacerlo, crean un Rastro de Ejecución y una Diferencia de Estado, que registran los pasos de la ejecución de la transacción y cómo cambia el estado de Starknet, respectivamente. El Rastro de Ejecución luego se alimenta a través de un algoritmo que mezcla sus datos e identifica cualquier dato malo (como una sola transacción mala). Luego se utiliza una pequeña muestra aleatoria de transacciones como verificación para la prueba STARK que contiene miles.
Publicación en la red principal de Ethereum
La prueba STARK y la Diferencia de Estado luego se comunican de vuelta a la red principal como una sola transacción de Ethereum. Así es como Starknet escala de manera tan efectiva: agrupa miles de transacciones en esta única transacción.
En Ethereum, un nodo acepta la transacción y la desempaqueta para encontrar la prueba y la Diferencia de Estado, que luego son procesadas por el contrato inteligente Verificador. El Verificador examina las muestras en la prueba para asegurar su validez y luego pasa el siguiente paso al contrato inteligente Starknet Core. En este paso, hay confirmación de que la prueba es válida (según el Verificador) y que la Diferencia de Estado está presente, y el estado de Starknet se actualiza en Ethereum. El resto del proceso es el procedimiento operativo habitual de Ethereum: agregar la transacción de Starknet a un bloque y luego enviarla a la red para ser validada y finalizada.
¿Cómo se utiliza el token STRK?
El token STRK tiene tres usos principales: 1) pago de tarifas, 2) gobernanza y 3) staking.
Como otras redes basadas en blockchain, los usuarios de Starknet deben pagar tarifas para enviar y procesar transacciones. El flujo de tarifas de transacción ayuda a proporcionar los incentivos económicos que impulsan el uso de la red. STRK también se puede utilizar para participar en la gobernanza comunitaria del protocolo. Esto se realiza 'envolviendo' STRK para convertirlo en vSTRK (STRK de votación) en una proporción de 1:1, lo que permite a un usuario votar o designar a otro usuario (un delegado) para que vote por ellos. vSTRK luego puede ser desenvuelto a STRK para ser utilizado para otros propósitos.
Finalmente, cuando el token STRK se introdujo por primera vez en febrero de 2024, había planes para usarlo como parte de una futura red de Prueba de Participación (PoS). Sin embargo, Starknet aún no había hecho la transición de un protocolo de 'secuenciador + probador' a uno de PoS, por lo que este uso para STRK aún era teórico.
Suministro y distribución de tokens
En su inicio, StarkWare creó diez mil millones de tokens STRK. Aunque este era el suministro total en el lanzamiento, no se considera el suministro máximo. El equipo de desarrollo planeó futuras emisiones de tokens a través del protocolo mediante staking y recompensas de bloque, pero no se implementó inmediatamente un proceso para esto, en anticipación de la orientación a través de la gobernanza comunitaria.
De los diez mil millones de tokens originales, el 20,04% se asignó al equipo de desarrollo y los primeros contribuyentes, el 18,17% a los inversores, el 10,76% a StarkWare, el 12,93% a subvenciones para desarrollar el protocolo, el 10% a la reserva estratégica de la Fundación Starknet, el 9% cada uno a provisiones y reembolsos, el 8,1% al tesoro de la Fundación Starknet para otros fines, y el 2% para donaciones a instituciones y organizaciones.
Los tokens relevantes estaban sujetos a un período de bloqueo para que partes como el equipo y los inversores no pudieran volcar sus tokens en el mercado. Sin embargo, StarkWare enfrentó críticas tempranas sobre un período de bloqueo particularmente corto de esos tokens: el 13% de los tokens se desbloquearían aproximadamente 2 meses después del lanzamiento público. Debido a esto, el calendario de desbloqueo se revisó rápidamente.
Conclusión
- Starknet es una solución de escalado de capa 2 de Ethereum que utiliza un zk-rollup para transferir el procesamiento de transacciones fuera de la cadena en un esfuerzo por aumentar su velocidad y disminuir su costo.
- El mecanismo zk-STARK involucra secuenciadores y probadores que son responsables de asegurar que la computación fuera de la cadena sea verificablemente precisa, y que los datos 'malos' no lleguen a la red principal de Ethereum.
- El token STRK facilita las transacciones al proporcionar un medio para pagar tarifas en la red, y también se puede utilizar en la gobernanza y en el staking.