En caso de que te lo hayas perdido, Starkware, una empresa históricamente activa en el ecosistema Ethereum, anunció ayer planes para comenzar a destinar importantes recursos a nuevas oportunidades de escalamiento de Bitcoin que han surgido en los últimos meses.

Pioneros de los sistemas de conocimiento cero, el grupo ha revelado planes para aprovechar OP_CAT para llevar su tecnología STARK a Bitcoin. La propuesta de bifurcación suave podría permitir que las pruebas de conocimiento cero se verifiquen de forma nativa, abriendo un espacio de diseño completamente nuevo para los desarrolladores.

Muchos consideran que el anuncio es un hito técnico importante para el protocolo Bitcoin. Aquí están mis 2 centavos no solicitados sobre el asunto.

mucho tiempo por llegar

Como señala el director ejecutivo de Starkware, Eli Ben-Sasson, en su publicación de anuncio, la idea de utilizar conocimiento cero para mejorar Bitcoin no es nada nuevo. Los desarrolladores llevan más de una década debatiendo las aplicaciones de esta tecnología. El propio Ben-Sasson presentó los primeros conceptos de la idea en una conferencia de Bitcoin en 2013 en San José. En 2017, los desarrolladores de Blockstream Gregory Maxwell, Pieter Wuille y Andrew Poelstra publicaron conjuntamente un artículo de investigación sobre el uso de Bulletproof, un protocolo de conocimiento cero para respaldar transacciones confidenciales en Bitcoin.

En años más recientes, el creador de BitVM, Robin Linus, impulsó el trabajo en ZeroSync, una técnica de compresión utilizada para crear pruebas sin conocimiento de la cadena de bloques de Bitcoin. Una vez implementado por completo, reduciría significativamente los requisitos de recursos necesarios para ejecutar un nodo Bitcoin. En 2022, la Fundación de Derechos Humanos encargó al investigador actual de Alpen Labs, John Light, que elaborara un informe completo sobre el potencial de los acumuladores de validez de Bitcoin, utilizando pruebas de conocimiento cero.

Las pruebas de conocimiento cero tienen una amplia gama de aplicaciones y aún no hemos terminado de escuchar sobre ellas. Muchos esperan que la tecnología defina esta próxima era de la computación y sería difícil apostar en su contra. Está casi garantizado que las aplicaciones de Bitcoin de nivel superior comenzarán a aprovecharlas pronto y sólo podemos esperar que esta tendencia crezca a partir de ahora.

Todavía es temprano

La mayoría de los avances tecnológicos en torno a la criptografía de conocimiento cero se han logrado en los últimos diez años. El campo está evolucionando rápidamente a medida que más criptógrafos se interesan en las aplicaciones de esta tecnología. Los investigadores han estado en una especie de carrera armamentista para descubrir quién podría ahorrar la mayor cantidad de tiempo y recursos necesarios para producir y verificar esas pruebas. A día de hoy, la mayoría de los sistemas de prueba siguen siendo costosos desde el punto de vista computacional. Los diferentes protocolos implican diferentes compensaciones, pero las mejoras se han centrado en la verificación para que el usuario promedio pueda verificar las pruebas de manera rápida y eficiente. Si bien el ritmo de la innovación ha sido implacable, generar esas pruebas a escala probablemente requiera hardware especializado y grandes operaciones.

A pesar de los desbloqueos masivos y los logros significativos en el campo, vale la pena señalar que una década no es excepcionalmente larga en los círculos criptográficos. Muchas de las propuestas más recientes aprovechan técnicas que se consideran técnicamente sólidas, pero no tan probadas y probadas como las de Bitcoin. En 2018, se descubrió un error de inflación oculto en la implementación ZK-SNARK de Zcash que podría haber permitido a un atacante falsificar la moneda. Para ser justos, la construcción STARK propuesta por Starkware se considera significativamente más segura debido a su naturaleza más transparente.
Es difícil entusiasmarse con los resúmenes

Es difícil entusiasmarse con los resúmenes

Una de las motivaciones de este proyecto es habilitar zk-rollups en Bitcoin. Para aquellos que no están familiarizados, los rollups son productos muy promocionados que utilizan secuenciación fuera de la cadena para escalar aplicaciones y rendimiento. Los Zk-rollups, o acumulaciones de validez, proponen crear pruebas del registro de transacciones del sistema que luego los usuarios pueden verificar de forma independiente, lo que permite sistemas fuera de la cadena que no requieren suposiciones de confianza adicionales.

Hoy en día, ninguna de las principales implementaciones acumulativas en Ethereum ha implementado completamente este sistema. Cada uno cuenta con un operador central responsable tanto de probar como de ordenar las transacciones. En los raros casos en los que realmente se generan pruebas, solo los actores autorizados pueden enviarlas para evitar el fraude. Starknet de Starkware actualmente no ofrece ningún mecanismo para que los usuarios fuercen sus transacciones fuera del sistema si el operador deja de colaborar o su infraestructura deja de funcionar.

Prácticamente todos los proyectos tienen miles de millones de dólares depositados que están efectivamente asegurados por un conjunto de claves de firmas múltiples. El mismo grupo de personas responsables de manejar esas claves también puede actualizar el contrato acumulativo y controlar los fondos asociados. Hace un par de días, el operador detuvo unilateralmente el sexto mayor rollup de Ethereum, Linea, y todos los fondos de los usuarios se congelaron tras un hack. 

Hay un caso alternativo, más optimista, que probablemente no estoy capacitado para escribir, pero se están invirtiendo mucho trabajo y recursos para resolver los problemas descritos anteriormente. Se necesitará una cantidad importante de investigación para que se manifieste la visión completa y sin confianza.

También es posible que los rollups evolucionen, como lo ha hecho Ethereum, hasta convertirse en curiosas bestias de complejidad que sólo un puñado de personas pueden domar.

La misión secundaria de BitVM

La introducción de BitVM por parte de Robin Linus el año pasado es lo que realmente impulsó la carrera del conocimiento cero en Bitcoin a toda velocidad. Starkware está en los titulares debido a su currículum, pero varios equipos como Alpen Labs, Citrea y Bitlayer están investigando activamente cómo optimizar las pruebas de conocimiento cero para sus implementaciones.

Será interesante ver qué decisiones toman en el futuro y si se mantienen firmes o no. Se puede argumentar con fuerza que OP_CAT introduce muchas eficiencias, pero aún no está claro exactamente cuáles son las ventajas y desventajas. Espero que muchas empresas continúen explorando el camino de BitVM y simplemente emulen la computación de conocimiento cero. Es importante señalar que en ambos casos, puentear fondos de la cadena de Bitcoin a cualquier otro sistema implica una seguridad ligera del cliente que es susceptible de ataques de reorganización.

En el último mes se ha dedicado mucho tiempo a los problemas de liquidez en torno a BitVM. Si consideramos el perfil de usuario actual para ese tipo de soluciones, me parece un poco dudosa la idea de que esto impida que alguien participe. Puede que no sea práctico ni sostenible, pero, sinceramente, no estoy seguro de que al mercado que exista para esto le importe mucho. Una vez más, los usuarios están depositando actualmente miles de millones de dólares en firmas múltiples, por lo que cualquier otra cosa parecerá casi poco confiable en comparación.

Más financiación para desarrolladores

Un millón de dólares destinados a financiar la investigación es un beneficio neto para el ecosistema. Este es un avance alentador para la creciente mentalidad en torno a OP_CAT. Es poco probable que una recompensa por errores conduzca a alguna parte, pero me interesa ver qué resulta de un trabajo más centrado en pruebas de conceptos y aplicaciones. Es fácil desaprobar el origen de esos fondos, pero en última instancia el resultado de esos esfuerzos se juzgará por sus méritos técnicos. El proceso de desarrollo de Bitcoin no es tan fácilmente influenciable como algunos comentaristas quieren hacernos creer.

También es importante recordar que OP_CAT es sólo una pieza del rompecabezas del guión. Los avances en casos de uso específicos son interesantes, pero rara vez son suficientes para justificar perder de vista el panorama general. Ninguna de estas tecnologías está lo suficientemente madura como para generar dividendos significativos en el corto plazo. Precipitar una actualización hoy, cuando todavía tomaría años implementar de manera confiable estos sistemas, parece un poco imprudente. Si la gente quiere máquinas virtuales centralizadas, hay muchas cadenas laterales para elegir.

Estamos abriendo nuevos caminos todos los días en este momento y es difícil incluso predecir dónde estaremos dentro de un mes. Soy cautelosamente optimista sobre el progreso que se está logrando en torno a las mejoras en el script de Bitcoin, pero no parece justificado comprometerme con nada en este momento. Tendremos que dejar que el polvo se calme por un rato. 

Fuente: Revista Bitcoin

La publicación Reacciones: Comienza la carrera armamentista de conocimiento cero de Bitcoin apareció por primera vez en Crypto Breaking News.