A principios de este año, Weikeng Chen y sus socios de la firma de riesgo L2 Iterative decidieron centrar su atención en el burbujeante ecosistema de Bitcoin. Chen, un nativo de China, se había dado cuenta del creciente interés en el desarrollo de Bitcoin por parte de varios actores importantes en el espacio minero que comenzaron a respaldar diferentes proyectos en los ordinales y el espacio de capa 2.
"Nunca me di cuenta de que Bitcoin tenía una comunidad de desarrollo", dice medio en broma.
Un avance rápido hasta la semana pasada, una iniciativa de código abierto liderada por él mismo, con el patrocinio de la empresa de infraestructura Starkware, logró la primera implementación de un verificador de conocimiento cero utilizando un script de Bitcoin.
En una industria donde los avances significativos son pocos y espaciados, quienes participan en el esfuerzo están entusiasmados con la importancia de este hito. Argumentan que las pruebas de conocimiento cero son la clave para desbloquear la programabilidad de Bitcoin y ampliar su uso a nivel mundial.
Detrás de este logro está el notable viaje de un outsider que se dedicó al desarrollo de Bitcoin hace apenas seis meses y ahora ha codificado posiblemente su software más avanzado. Entrevisté a Weikeng Chen para profundizar en sus motivaciones, su colaboración con Starkware en torno a OP_CAT y STARK, y sus perspectivas sobre esta nueva era del desarrollo de Bitcoin.
Comenzando desde cero
Chen, graduado con un doctorado de UC Berkeley con especialización en criptografía, explicó que comenzó a buscar una oportunidad para contribuir con sus habilidades técnicas a la industria para posicionar mejor su empresa ante posibles inversores y empresas. A pesar de su amplia experiencia en ingeniería, rápidamente se dio cuenta de que los recursos eran escasos y que la curva de aprendizaje era pronunciada. "Mucho del material que existe está desactualizado y no refleja el estado actual de desarrollo", comentó. Su afinidad por la tecnología de conocimiento cero finalmente lo llevó a centrar su investigación en la capacidad de Bitcoin para realizar los cálculos necesarios para verificar las pruebas de conocimiento cero.
A medida que una madriguera conducía a otra, el trabajo de Robin Linus sobre el novedoso paradigma informático de BitVM entró en su radar. Interesado en el potencial de utilizar pruebas de fraude para implementar sistemas de conocimiento cero compatibles con Bitcoin, comenzó a husmear en el documento técnico y notó algunos problemas con algunos de los conceptos involucrados en el sistema. “Le envié un mensaje a Robin haciéndole algunas preguntas sobre BitVM. Mi comprensión de BitVM a partir de ese documento técnico estaba completamente equivocada. Recuerdo que la primera reacción de Robin fue preguntarme quién me había dicho esto”, recuerda entre risas. Esta interacción provocó una colaboración breve pero productiva entre Chen, Linus y otros investigadores mientras repetían la idea original y buscaban formas de optimizarla.
"Para mí era obvio que este método podría usarse para verificar la prueba de conocimiento cero, por lo que mi trabajo rápidamente se dirigió hacia la implementación de un verificador SNARK".
Un verificador es una herramienta criptográfica que permite la verificación de pruebas de conocimiento cero en la red Bitcoin.
La oportunidad OP_CAT
Casi al mismo tiempo, un equipo del gigante de la industria del conocimiento cero, Starkware, estaba prestando mucha atención a la actividad emergente que surgía de la comunidad Bitcoin. Para algunos, tardó mucho en llegar. El fundador de Starkware, Eli Ben-Sasson, fue posiblemente la primera persona en discutir la tecnología de conocimiento cero en el contexto de las criptomonedas en una de las primeras conferencias de Bitcoin. Casi una década después, la investigación de Starkware y la tecnología ZK-STARK sirven como base para un número creciente de aplicaciones en el espacio.
“En 2013, cuando sugerí usar pruebas de validez para escalar Bitcoin, esperaba que Satoshi todavía estuviera presente y hiciera que esto sucediera más rápido. Gracias a visionarios de la criptografía como Weikeng Chen y a investigadores de Bitcoin OP_CAT como Andrew Poelstra y Ethan Heilman, mi sueño de 11 años ahora parece estar a mi alcance”, comentó Ben-Sasson.
El mes pasado, la compañía anunció que estaba comenzando a implementar numerosas iniciativas centradas en cerrar la brecha tecnológica entre Bitcoin y las pruebas de conocimiento cero. Se ofreció una subvención de solicitud de $1,000,000 para la investigación y exploración del potencial de la propuesta de bifurcación suave OP_CAT.
El anuncio estuvo marcado por un notable entusiasmo, lo que hizo que algunos se preguntaran qué impulsaba este optimismo. Hasta hace poco, las perspectivas de una tecnología de conocimiento cero en Bitcoin habían sido en su mayoría una ocurrencia tardía: otro código OP que tal vez nunca vea la luz del día. De hecho, la dificultad de lograr consenso sobre cambios más pequeños en el código base de Bitcoin hacía que pareciera poco probable que alguna vez sucediera algo más complejo.
Según conversaciones con colaboradores de Starkware, fue alrededor de mayo cuando se enteraron del progreso de Weikeng en BitVM y el estado de ánimo cambió dramáticamente. Al final resultó que, el desarrollador ya había puesto su mirada en la tecnología Circle STARKs de la compañía. En un documento publicado hace un par de meses, Chen ya había identificado este último como un "sistema de prueba compatible con Bitcoin".
Después de algunos intercambios, ambas partes acordaron unirse y realizar un esfuerzo conjunto dedicado a una implementación de código abierto de un verificador STARK utilizando la primitiva OP_CAT. “Sabía que se podía hacer. Sólo necesitábamos juntar todas las piezas”, sugiere Chen. Nació el “Santuario de Vida Silvestre Bitcoin”.
Dos meses después, el proyecto parece haber alcanzado su objetivo gracias a la colaboración de otros desarrolladores como Pingzhou Yuan, otro de los primeros contribuyentes de BitVM. A última hora de la mañana del viernes pasado, Chen saltó al grupo de Telegram del proyecto para dar la noticia a los demás participantes: “¡Creo que terminé el trabajo!”
Luego de pruebas locales exitosas, el desarrollador transmitió una serie de transacciones a la red de prueba Signet de Bitcoin que ejecutaría el script completo. Para optimizar el uso en cadena, la prueba STARK, basada en la implementación Stwo de código abierto de Starkware, se divide en transacciones concurrentes encadenadas mediante un convenio basado en OP_CAT.
A las 6:29 a.m. del 12 de julio de 2024, se confirmó la transacción final en la red Signet, lo que indica lo que los proponentes creen que podría ser el comienzo de una nueva era de desarrollo en Bitcoin.
"Este fue un esfuerzo tremendo y tomó una cantidad significativa de tiempo", dijo Chen. “Empezamos sin nada. No hay información sobre las pruebas ZK en Bitcoin. No hay información sobre las operaciones matemáticas a seguir. Tuvimos que construir la pila completa, lo que finalmente condujo a la implementación del verificador STARK”.
Inspirando un nuevo camino de desarrollo
Si bien los resultados merecen ser celebrados, Chen insiste en que el trabajo no está terminado. Cuando se le preguntó si era optimista acerca de su trabajo creando las bases para nuevos protocolos de escalamiento como los rollups en Bitcoin, el desarrollador se apresuró a alterar las expectativas.
“La idea funciona a grandes rasgos, pero la prueba de concepto no está lista para la producción. Las pruebas de validez también ocupan mucho espacio en bloque, lo que podría resultar costoso en el futuro”.
Los colaboradores de Starkware reconocen los desafíos que se avecinan, pero confían en que el éxito del proyecto representa "un salto monumental" hacia soluciones de escalamiento de Bitcoin que puedan aprovechar su tecnología acumulada ZK.
Una cosa es segura: es probable que la colaboración fortalezca aún más los argumentos a favor de una posible bifurcación suave OP_CAT. Para poder implementar la implementación del verificador, Chen dice que tuvo que desarrollar un marco confiable para los convenios usando CAT que pueda servir para resaltar la versatilidad de la propuesta de mejora del script. Él cree que otros desarrolladores en el ecosistema pueden jugar con su código y llegar a la misma conclusión que él con respecto a sus beneficios.
“No creo que haya mucho riesgo una vez que hayamos desarrollado las mejores prácticas. No hay muchos lugares donde esto vaya a salir mal. Ahora tenemos una demostración clara de que OP_CAT se puede adaptar a varios proyectos de covenant de forma segura”.
Cuando se le preguntó sobre su intención de contribuir a un futuro proceso de activación, el desarrollador admite que aún no está lo suficientemente familiarizado con toda la dinámica en torno al desarrollo de código abierto de Bitcoin. A continuación, tiene la intención de compartir su progreso con los miembros de la lista de correo de desarrollo y espera que otros puedan contribuir con revisiones y comentarios sobre su trabajo.
Al reflexionar sobre su experiencia hasta el momento, Chen inmediatamente señala la importancia de crear un entorno fértil para que los nuevos desarrolladores ingresen al ecosistema. Él cree que muchos desarrolladores talentosos están dejando pasar la oportunidad de desarrollar Bitcoin debido a la falta de una visión cohesiva.
“No hay un sentido claro de dirección en este momento, lo que deja a los contribuyentes perplejos sobre su capacidad para impactar el futuro. Con suerte, la aparición de nuevas herramientas y primitivos puede mejorar esta situación para que los Bitcoiners puedan volver a soñar”.
Fuente: Revista Bitcoin
La publicación Se verifica una prueba de conocimiento cero en Bitcoin por primera vez en la historia apareció por primera vez en Crypto Breaking News.