Fundador de Polygon Miden – Cointelegraph Magazine

Los ZK-rollups son la cosa más caliente en Ethereum en este momento, habiendo aparecido aparentemente de la nada a finales de 2018 para remodelar fundamentalmente el plan “Eth2” para escalar solo a través de sharding.

Zero-knowledge, o validity proof rollups, esencialmente realizan los cálculos para muchos miles de transacciones fuera de Ethereum y luego escriben una pequeña prueba criptográfica de vuelta a la blockchain que verifica que esas transacciones se realizaron correctamente. Es mucho más rápido y barato que utilizar la capa base y tiene un potencial de escalado prácticamente ilimitado.

Para un observador externo, parecía que la tecnología había pasado de 0 a 100 en un abrir y cerrar de ojos. par de añospero, desde la perspectiva del fundador de Polygon Miden, Bobbin Threadbare, no parece lo bastante rápido.

“Tu percepción interna es que va despacio”, dice. “La gente dice: ‘Vamos a hacer esto en un año’, y tarda más porque la gente sobreestima…”. [how quickly it can be done].”

“Pero si das un paso atrás y sales de tu propia burbuja, creo que la tecnología avanza a un ritmo asombroso. Muchas de las cosas que estamos haciendo ahora no existían hace diez años -o incluso hace ocho-, eran sólo conceptos teóricos.”

No es frecuente ver que algo pasa de la teoría pura, que probablemente no es práctica o “tal vez podamos hacerlo en un futuro a largo plazo”, a “de acuerdo, lo estamos haciendo ahora, y ahora hay miles de millones de dólares en juego””.

Polygon Miden en las sesiones de StarkWare

Magazine se pone al día con Threadbare en las StarkWare Sessions de Israel. Dado que Polygon Miden es una solución ZK-rollup competidora de la tecnología de StarkWare, es un poco como entrevistar al director general de Pepsi en una convención de Coca-Cola. Pero resulta que las pruebas de conocimiento-cero no son tan despiadadas como los refrescos.

“En el aspecto técnico, hay mucha colaboración”, explica Threadbare. “Si sigues Twitter, puedes tener la impresión de que la gente está todo el rato a la greña, pero ya sabes, es Twitter más que nada”.

Señala que todos los proyectos están construyendo tecnología de código abierto (o planean hacerla de código abierto). “No estamos construyendo jardines amurallados como los de Web2”, dice, y añade que varios proyectos “no perciben necesariamente a otros rollups como sus competidores técnicos; aprendemos más unos de otros”.

Polygon es el octavo proyecto más valioso

MATIC de Polygon se convirtió en la octava criptomoneda más valiosa del mundo gracias a su actual solución de escalado de Ethereum, pero los fundadores de Polygon sabían que ZK-rollups podría potencialmente dejar la red obsoleta y gastaron parte de su enorme cofre de guerra en una adquisición de tecnología ZK y una juerga de contratación.

El enfoque del equipo de Polygon consiste básicamente en lanzar un montón de cosas contra la pared y ver qué se pega. Su proyecto zkEVM acaba de lanzarse en mainnet en versión beta, y permite que cualquier proyecto compatible con Ethereum Virtual Machine escale en su nueva red.

Otros sabores de ZK en Polygon incluyen Zero (escalado recursivo), Hermez 2.0 (una solución compatible con EVM centrada en la descentralización y un consenso de prueba de eficiencia) y Nightfall (Optimistic Rollups cumple con la criptografía de conocimiento cero).

Threadbare, que por aquel entonces trabajaba para Facebook, fue contratado para desarrollar su tecnología ZK de código abierto y convertirla en Miden.

“Esta estrategia tenía sentido para mí; el espacio es muy incipiente”, afirma. “Sinceramente, ni siquiera me exigieron que utilizara STARKs, ni SNARKs, ni nada”. STARKs (Zero-knowledge Scalable Transparent Argument of Knowledge) y SNARKs (Succinct Non-Interactive Argument of Knowledge) son los dos tipos diferentes de sistemas de prueba ZK.

“Estaban muy abiertos a cualquier tecnología porque nadie tenía la respuesta. Afortunadamente, ahora tenemos más respuesta que hace uno o dos años”.

¿Qué es Polygon Miden?

Polygon Miden es esencialmente la versión Polygon de StarkNet. Permite procesar un grupo de transacciones fuera de la cadena de bloques principal y, a continuación, “probar la validez” que demuestra que las transacciones se han calculado correctamente, para volver a escribirlas como una única transacción en Ethereum.

Los STARKs tienen algunas ventajas sobre los SNARKs en que se requiere menos confianza para la configuración, y serán resistentes a los ataques de los ordenadores cuánticos. Sin embargo, los STARKs tienen tamaños de prueba de validez mucho, mucho más grandes, lo que es más caro de escribir de nuevo en Ethereum.

En otra similitud con StarkNet, que utiliza el lenguaje de programación Cairo y la máquina virtual en lugar de Solidity y EVM, Miden utiliza su propia máquina virtual. Para ambos proyectos, esto es una apuesta, ya que hace que sea más difícil para los proyectos Ethereum para portar a la rollup. Por otro lado, significa que Polygon Miden puede escalar más rápido y más lejos al permitirle escapar de las limitaciones de Ethereum.

“Dentro de Polygon, pensamos en ¿Cómo ampliamos Ethereum?y hay múltiples dimensiones”, afirma Threadbare. “Así, el escalado es una dimensión, pero también las características y otras cosas que no son fáciles de hacer en Ethereum, como la privacidad y el procesamiento paralelo, serían otra dimensión, y aquí es donde entra Miden”.

Magazine pregunta más tarde al cofundador de StarkNet, Eli Ben-Sasson, por su valoración de su competidor, al que conoce desde las primeras sesiones de StarkWare, cuatro años antes.

“Creo que Miden es increíble”, dice Ben-Sasson. “Siento un gran respeto por todos los que trabajan en el marco de las pruebas de validez general”.

“Dicho esto, y con el debido respeto, creo que, en lo que se refiere a máquinas virtuales y marcos informáticos cargados de funciones, creo que Cairo es mejor. Y se lo he dicho a Bobbin”.

Threadbare no es un criptógrafo; es un constructor práctico y dice que en el instante en que se enteró de ZK-rollups, supo que sería la respuesta al escalado de blockchain, ya que elimina una de las mayores ineficiencias de la tecnología: requerir que todos en la red procesen cada transacción.

“Una vez que conocí la tecnología ZK, se hizo casi obvio que este iba a ser el final del juego. Porque en la cadena de bloques, básicamente, tienes el mismo cálculo que todo el mundo tiene que volver a ejecutar. Y esto es tan derrochador. Cuando ves esta tecnología en la que sólo tienes que ejecutar una vez y todo el mundo puede verificar tu computación exponencialmente más rápido, es casi como una cosa obvia que hay que hacer”.

Ejecutar contratos inteligentes a nivel local con Polygon Miden

Con Polygon Miden, cualquiera podrá ejecutar un contrato inteligente localmente y simplemente enviar la prueba a la red, lo que permite que las transacciones se ejecuten en paralelo, en lugar de secuencialmente. Si Polygon Miden se hubiera quedado con el EVM, eso sería muy difícil, y eso limita el rendimiento.

Con Ethereum procesando actualmente una docena de transacciones por segundo, eso no es un problema, pero cuando el TPS llegue a los miles, sí lo será. “Tienes que ser capaz de procesar transacciones en paralelo porque, en un solo hilo, no puedes hacer mucho”, dice. “No creo que se pueda ir mucho más allá de unos pocos miles de TPS sin paralelizar las cosas”.

“Ser capaz de ejecutar transacciones localmente significa que puedes ejecutar computación arbitrariamente compleja, y casi no supone una carga para la red”, explica, señalando que ejecutar un motor de física 3D es imposible en Ethereum ahora mismo, pero será posible con Polygon Miden. “El espacio de diseño se abre”, afirma. “Eso permite un montón de nuevos casos de uso, pero también ayuda con la privacidad si no tengo que revelar realmente el cálculo”.

Al igual que zkSync Era y StarkNet, el plan es empezar con un prover centralizado y descentralizarlo gradualmente. Con el tiempo, todas las soluciones ZK de Polygon serán interoperables, y MATIC seguirá siendo el token clave. Sin embargo, la abstracción de cuenta nativa significa que los usuarios también podrían pagar con otros tokens importantes.

¿Quién es el fundador de Polgon Miden, Bobbin Threadbare?

Threadbare (nombre ficticio) nació en la República de Georgia en los últimos días de la URSS, en la década de 1980. A los 17 años se trasladó a Estados Unidos para estudiar informática en San Diego, y más tarde asistió a la escuela de negocios de la Universidad de Chicago. Fue consultor durante cinco años antes de lanzar una startup Web2 que calculaba la fiabilidad de los usuarios y las puntuaciones de reputación para cosas como las transacciones P2P. Comenzó a explorar blockchain en 2018 como una forma de evitar tener que almacenar una gran base de datos de información de usuarios.

“La identidad autosuficiente es una de las cosas que me resultó muy interesante”, dice.

“Luego me metí de lleno en los aspectos técnicos y me topé con las pruebas de conocimiento-cero. Una vez que comprendí lo que podían hacer, el caso de la identidad dejó de interesarme. Pensé que hay cosas mucho más grandes e interesantes que se pueden hacer con ellas.”

Se topó con un blog sobre STARKs del cofundador de Ethereum, Vitalik Buterin, y eso le hizo adentrarse en la madriguera del conejo. “Tenía un código escrito que demostraba una prueba de concepto muy básica de su funcionamiento, y eso me resultó muy, muy útil”.

Threadbare cogió el código y lo reescribió en otro lenguaje para poder entender cómo funcionaba desde dentro. Como manitas nato, empezó a mejorar aspectos para hacerlos más generales. En poco tiempo, había construido un prover básico de propósito general para STARKs y lo publicó en Eth Research.

“Mucha gente estaba interesada en las pruebas de conocimiento-cero en ese momento, pero no había muchas herramientas, especialmente alrededor de STARKs. Y tuve suerte en lo que elegí para aprender y desarrollar porque fascinaba a un montón de gente”.

“Incluso el propio Vitalik básicamente me envió un mensaje en Eth Research, diciendo: ‘Hey, ¿quién eres? ¿Qué estás haciendo?” Fue Buterin quien le presentó StarkWare, y le invitaron a las primeras StarkWare Sessions hace cuatro años.

Threadbare empezó a crear herramientas y bibliotecas ZK. Desarrolló los lenguajes específicos de dominio AirScript y AirAssembly, que a su vez le llevaron a desarrollar la máquina virtual Distaff a principios de 2020 para que la gente pudiera codificar sin tener que aprender esos nuevos lenguajes.

Facebook experimenta con ZK-rollups

Pero cuando empezó la pandemia, aceptó un trabajo como investigador principal de ZK para Facebook, trabajando en el proyecto de criptomoneda Libra. Parte del atractivo consistía en trabajar con criptógrafos “de verdad” y aprender de ellos, y ayudó a crear el comprobador y verificador de código abierto Winterfell STARK.

En realidad, Facebook no necesitaba uno ni pensaba utilizarlo. “No quiero decir que fuera porque sí”, afirma. “La idea era que se iba a utilizar en algún momento. Pero estaba bastante claro que no se iba a utilizar en los próximos dos o tres años, o incluso cinco”.

En última instancia, los reguladores no aprobaron que el gigante de las redes sociales lanzara una moneda privada, y Libra se transformó en Diem y luego desapareció silenciosamente. Alrededor de 2021, el cofundador de Polygon, Mihailo Bjelic, estaba reuniendo a su equipo de desarrolladores de ZK y se acordó del anónimo que había publicado un montón de tecnología ZK útil, como Distaff, en Eth Research. Así que se puso en contacto con él, sin saber que Threadbare trabajaba en Facebook.

Por su parte, Threadbare desconocía por completo la existencia de Polygon, pero empezó a mantener llamadas regulares cada dos semanas con Bjelic para hablar de sus planes de ampliación y esbozar una posible colaboración.

¿Polygon zkEVM? No, Polygon Miden es otra cosa.

Discutieron la construcción de una ZK EVM, pero Threadbare estaba dispuesto a utilizar su propia máquina virtual y combinar STARKs con el poder de la recursividad. Se trata de tomar un montón de pruebas de validez, cada una de las cuales representa un conjunto de transacciones, y producir una prueba de validez que demuestre que todas las demás pruebas de validez se han realizado correctamente. De repente, el hecho de que el tamaño de la prueba STARK sea 50-100 veces mayor que el tamaño de la prueba SNARK era mucho menos importante.

“Esa es una de las razones por las que tomé la ruta de la máquina virtual porque si tienes la máquina virtual, es mucho más fácil tener esta recursividad infinita porque si lo piensas, cuando tienes una máquina virtual que es Turing-completa, básicamente puede ejecutar cualquier programa.”

“Usted acaba de escribir un programa que se verifica a sí mismo, y usted tiene una especie de recursividad infinita en este punto en el tiempo. Y eso fue atractivo para mí”.

Este discurso sobre la recursividad infinita recuerda a Declan Fox, director de producto de rollups en ConsenSys, quien dijo a Magazine el año pasado que ZK-rollups y la recursividad significaban que era “teóricamente posible” que todo el sistema financiero mundial se ejecutara en Ethereum.

Lamentablemente, el escalado infinito sigue estando limitado por la disponibilidad de datos en Ethereum, que se refiere a la cantidad de datos que deben y pueden escribirse en la cadena. La nueva hoja de ruta centrada en el rollup aumentará 160 veces la cantidad de datos que puede transportar cada bloque. Incluso eso probablemente no será suficiente.

“Todavía hay limitaciones como que nada es infinito”, dice. “Suponiendo que la blockchain y el espacio criptográfico tengan éxito… la demanda de TPS será de cientos de miles o quizá millones de TPS con el tiempo, así que no sé si la capa base podrá ofrecer siempre tanta disponibilidad de datos”.

Pero tiene muchas esperanzas de que veamos una enorme adopción en los próximos 10 años.

“Con suerte, si tenemos éxito, Ethereum será la capa base más segura, y habrá un próspero ecosistema de rollups que abastece a diferentes cosas, y con suerte, Polygon será una gran parte de ese ecosistema.”