Thread by @HenriLieutaud

Un modesto ECSF5 (Explica como si fuera 5?) sobre los ZK rollups (te sirve @das_grasshopper ?)
Los ZK rollups son una solución de aumento de carga para #Ethereum. Esto significa que permiten hacer más con menos.

Más cálculo, por menos gas en Ethereum. Esto puede significar más volumen (piense en @dydxprotocol, donde las transacciones son muy baratas) o más complejidad (puedes codificar cosas que el EVM no puede manejar y explorar cosas nuevas)

La forma en que funcionan es la siguiente. En Ethereum, todos los participantes de la red (nodos) acuerdan un cierto "estado". Piense en una hoja de cálculo grande que contenga todos los saldos, para todos los usuarios, en cada token, etc.

Los nodos comparten las instrucciones para mover el estado del bloque N al estado N + 1. Volviendo a la imagen de la hoja de cálculo, comparten algo como "Tome la celda A3, multiplíquelo por 4, agregue B5 y colóque en la celda D5".

Esto significa que cada nodo calcula el valor N + 1 para cada celda. Gran parte del trabajo es redundante; pero es necesario que todos se pongan de acuerdo en un estado común.

Con las ZK rollups, en vez de compartir instrucciones informáticas, los nodos comparten una diferencia de estado. Piense en "actualizar celda D5". También comparten una prueba, que es un valor criptográfico con propiedades.

La prueba permite que cada nodo verifique que el estado proporcionado (con D5 actualizado) es válido, en el sentido de que siguió las instrucciones predefinidas.
Asi los nodos convergen en un estado común, sin tener que rehacer el cálculo.

Lo bueno es que es mucho más barato hacer la verificación que el cálculo; y que ambos no crecen al mismo ritmo. Si realiza un cálculo 10x más difícil, su prueba NO será 10x más difícil de verificar, será mucho más fácil.

Esto coloca la carga de ejecución en un solo nodo en lugar de en toda la red. ¡Bacan!
Crear software para hacer todo esto no es fácil y demora.
@Starkwareltd está construyendo un software stack de ZK rollups. Tenemos dos productos:

#Starkex, que es un zk rollups que permite comportamientos ERC20 o ERC721 "simples" (principalmente trading). Fue lanzado hace más de un año y tiene proyectos de alto perfil que lo utilizan (DyDx, Deversifi, ImmutableX, Sorare)

#Starknet, que es una red rollup ZK de propósito general, que permite la ejecución de cualquier tipo de programas y su verificación por Ethereum. Starknet ha estado en testnet desde junio, y Alpha llegará a mainnet en noviembre

Y es mas o menos eso.
Eres un dev y te interesa este negocio?
Venga, hay mucho pa hacer, y la fiesta apenas empieza