Escalar Ethereum ha sido sin duda uno de los temas más candentes de los últimos meses. La transición de la red a un algoritmo de consenso de prueba de participación en septiembre de 2022 fue un gran hito en este sentido, ya que abrió la puerta a la implementación de muchas soluciones de escala diferentes.

Mientras los desarrolladores de Ethereum están trabajando en formas de escalar la red de forma nativa, el poder de las soluciones de capa dos apenas comienza a manifestarse.

Conceptos como las pruebas de conocimiento cero se están convirtiendo ahora en una realidad práctica, pero para muchos siguen siendo ideas muy extrañas. Para ayudarnos a comprender más sobre el futuro del escalamiento de Ethereum está Gal Ron, gerente de producto e investigador de blockchain en StarkWare, una compañía que se enfoca principalmente exactamente en esto.

El problema con Ethereum

Antes de profundizar en algunos de los detalles, es importante comprender qué significa realmente escalar Ethereum. En términos simples, este es el proceso de expandir las capacidades de procesamiento de la red para que cada uno de sus nodos pueda manejar un mayor rendimiento transaccional.

Hay un dicho que estipula que una cadena es tan fuerte y poderosa como su eslabón más débil. Esto se debe a que sólo es necesario romper uno de los eslabones para que falle toda la cadena. Esto también limita la resistencia de la cadena porque sólo puede soportar una carga que su eslabón más débil es capaz de soportar, independientemente de cuán fuertes sean los demás eslabones.

Lo mismo ocurre con Ethereum en su estado actual. La necesidad de esto proviene del hecho de que Ethereum tiene que cumplir con el requisito de "confianza".

Hablando sobre el tema, Ron explica:

Para satisfacer todos los supuestos y requisitos de confianza, todos los nodos (en Ethereum) deben hacer lo mismo. Por definición, esto impone una limitación al rendimiento del sistema porque si aumentamos el TPS o el tamaño del bloque por encima de un cierto umbral, comenzaríamos a impedir que participen los nodos más pequeños (léase: con menos potencia computacional).

En esencia, esto hace que Ethereum, por definición, tenga una capacidad restringida.

El enfoque de StarkWare: ¿Qué es ZK-Proof?

Ron explica que hay un par de opciones para manejar los problemas de limitación de Ethereum. Una de ellas es inventar algo más.

StarkWare, sin embargo, ha adoptado un enfoque diferente de "escalar Ethereum a partir de Ethereum y no crear otra cadena". Lo hacen a través de StarkNet y StarkEx, así que echemos un vistazo.

StarkNet se describe como un "rollup de validez descentralizado sin permiso, también conocido como ZK-Rollup". Funciona como una red L2 (capa dos) sobre Ethereum y su objetivo es permitir que cualquier aplicación descentralizada (dApp) alcance una escala ilimitada para su cálculo. Esto se hace sin sacrificar la seguridad y la componibilidad de la capa principal, Ethereum, porque StarkNet se basa en el sistema de prueba criptográfica conocido como STARK.

Hay mucho que analizar aquí, así que comencemos con el concepto de pruebas de conocimiento cero.

“Con Ethereum, todos los nodos tienen que volver a ejecutar todas las transacciones. Antes de ZK (conocimiento cero), no había otra forma de confiar en que alguien más ejecutara los cálculos con integridad. Si soy un nodo en Ethereum, veo qué otros nodos me informan en términos de cuál debería ser el estado del sistema. No tengo otra manera de confiar en ellos que simplemente volver a ejecutar los mismos cálculos que ellos acaban de ejecutar.

La magia de ZK es que crea un nuevo paradigma de confianza en otras entidades sin tener que volver a ejecutar los cálculos que acaban de hacer”. – dijo Ron.

En esencia, los paquetes acumulativos de ZK como StarkNet reducen considerablemente la cantidad de trabajo computacional que los nodos en Ethereum tienen que realizar, aumentando así el rendimiento de la red.

Todo esto se hace sin sacrificar la seguridad de la capa principal. Para hacerlo, StarkWare inventó los ZK-STARK, que permiten que las cadenas de bloques muevan los cálculos a un único probador STARK fuera de la cadena y luego verifiquen la integridad de esos cálculos utilizando un verificador STARK en la cadena.

Gal Ron explicó cómo funcionan tanto el Prover como el Sequencer, así que para obtener más detalles sobre esto, mire el video de arriba.

También analizamos más de cerca qué son exactamente los paquetes acumulativos, qué es StarkEx y cuáles son los planes de StarkWare para el futuro.

La publicación Por qué los ZK-Rollups son el futuro del escalamiento de Ethereum: entrevista con el primer ministro de StarkWare, Gal Ron, apareció por primera vez en CryptoPotato.