Vamos a hablar de ZK, de Optimistic rollups, de escalabilidad de Ethereum, de blockchains modulares y de lo que sea que se le ocurra a mi cerebro mientras escucho un set de música que se llama “summer nostalgia” y resisto las ganas de irme a la playa.

Pero también vamos a entrar más en detalle. ¿Qué es una proof?¿Qué es un SNARK?¿Qué es un prover?¿Qué es el optimismo?¿Cuál es el sentido de la vida?¿Por qué Descartes no dudaba de su existencia?¿Acaso pensar realmente significa algo? Ay… el pensar. En fin, tenemos varios temas para hoy.

Arranco con la diferencia entre Optimistic rollups y ZK rollups por una mera formalidad linguística, pero estoy seguro que ya tienen la idea general así que rápido pasaremos a una explicación un poco más profunda.

Diferencia entre Optimistic Rollup y ZK Rollup

Los rollups son transacciones de Ethereum que se ejecutan fuera de Ethereum. Luego mandan a Ethereum el detalle de las transacciones ejecutadas. Como cuando tu novia se queda dormida viendo una serie y luego vos le resumís los 3 capítulos que te fumaste en 5 minutos.

La metáfora aplica tanto para Optimistic Rollups, como para los ZK Rollups. La diferencia está en que los ZK Rollups, además del resumen de las transacciones, envían una prueba matemática que eso pasó. Es decir, no sólo le contás la historia, sino que le demostrás que la historia que estás contando es real y no te la inventaste vos. Sería como ir a Netflix y ver el “resumen del capítulo anterior”. Tu novia tiene una prueba fehaciente de que su vikingo favorito murió de verdad, y no lo estas inventando vos.

Esa es toda la diferencia. Los ZK Knowledge, además del resumen de las transacciones que ejecutaron off-chain, presentan una “validity proof”, o prueba de verdad que certifica que eso pasó.

En nuestro ejemplo, la “prueba de la verdad” es simplemente un recorte de 40 segundos que arma Netflix para garantizar la supervivencia de las parejas en las que una persona tiene el sueño fácil y otra no. En cripto, es una prueba matemática que demuestra que algo pasó sin tener que mostrar ese algo.

ZK: decime que sabés sin decirme lo que sabés

Otra metáfora… imaginate que sos un rey vikingo. Tenés un prisionero y no te faltan ganas de cortarle la cabeza. Pero el prisionero te dice: “pará loco, no me mates, tengo información que te puede ayudar.” Vos no sabes si la información es real, no sabes si la información es útil, no sabes nada. De hecho tenés… “zero-knowledge”. Si lo liquidás te vas a quedar sin esa información. Ahora, si haces un trato, tenés que darle tu palabra de que va a sobrevivir antes de que te cuente lo que sabe.

En la época medieval no quedaba otra que jugársela. Pero hoy el prisionero podría emitir una “validity proof”, que demuestre que tiene información y que esa información es valiosa, sin tener que contar su secreto. Estimo que ya te diste cuenta, pero por eso se llama “zero-knowledge proof”.

Los ZK rollups ejecutan transacciones y luego pueden probar que esas transacciones se ejecutaron sin tener que postear toda la información a la blockchain. Es mucho más corto decir “murió Ragnar y mostrar una foto de su cabeza colgada” que relatar con lujo de detalles el capítulo en que Ragnar es decapitado por el hermano. Espero que no estén viendo Vikings porque eso fue un alto spoiler. O quizá no…

Validity proof vs Fraud proof

Ja, nada de metáforas esta vez flaco. Estamos aprendiendo de cripto acá, cosas serias. Ya sabés lo que es una validity proof. Para terminar de entender las diferencias entre Optimistic Rollups y ZK rollups tenemos que hablar de las Fraud Proof, que son el mecanismo de seguridad de los optimistic rollups.

REGLA MEMOTÉCNICA PARA QUE TE ACUERDES:

Los optimistic rollups, se llaman optimistic, porque son… optimistas. Con esto debería quedar grabado en tu memoria. ¿Qué quiere decir que son optimistas? Que creen en lo mejor de las personas, y no necesitan una prueba matemática re zarpada para confiar en que las transacciones que se ejecutaron off-chain son correctas. Pero ojo, porque como dijo Marquito Palma “como vidrio pero escupo”. Los Optimistic rollups tampoco son boludos. Tienen un mecanismo para asegurarse que las transacciones sean correctas: las fraud proof.

Secuenciadores, criptoeconomics y Fraud proofs

Para funcionar, los rollups necesitan que alguien ejecute las transacciones off-chain y luego publique el resumen en Ethereum. Ese es el rol de los secuenciadores / agregadores / validadores. Tienen distintos nombres en cada rollup. Pero básicamente son los nodos que controlan lo que pasa adentro del rollup. También son quienes “podrían” hacer trampa. ¿Cómo hacemos para controlarlos? Es muy simple, les pedimos que hagan un stake. Los detalles dependen de cada rollup, pero los secuenciadores tienen que depositar fondos en un smart contract en la red principal. Eso los obliga a portarse bien, o 🎶 serán castigados 🎶.

Sucede que, como los rollups publican el resumen de las transacciones on-chain, cualquiera podría tomar esa información, ejecutar las transacciones en su compu y ver si son correctas. Si descubre algo raro, puede ejecutar esas transacciones en Ethereum y generar una “fraud-proof”…. una prueba de fraude, una prueba de que el validador está haciendo trampa. Ya se imaginarán como sigue… una vez que alguien publica una prueba de fraude, el secuenciador pierde los fondos que tenía en stake y la persona que generó la prueba se lleva un premio.

Volvamos a Netflix por favor

Cerremos la charla de hoy recuperando nuestra metáfora original:

  • en un ZK vos le mostrás a tu novia el resumen que hace Netflix para que vea que lo que le estás contando es cierto.
  • en un optimistic rollup vos dejás guita guardada en un frasquito. No le das a tu novia ninguna prueba de que murió quien vos dijiste, pero sabés que cualquiera puede ir a ver el capítulo, y si descubre que vos te inventaste algo, le cuenta a tu novia y se lleva la plata del frasquito. Y posiblemente te termines peleando con tu novia. Lo cual casi siempre es peor que perder un frasquito con un poco de papel pintado. Aunque supongo que eso depende del tamaño el frasco y de la cantidad de billetes que tenga adentro.

Esto fue todo por hoy, para más recomendaciones musicales, de series o financieras no te olvides de pasar por Youtube. Te dejamos la grabación de la copinha con Optimism, Metis y Arbitrum donde re