El avance de Halo de Zcash es un gran logro, no solo para las criptomonedas

Michael J. Casey es el presidente del consejo asesor de CoinDesk y asesor principal de investigación de blockchain en la Iniciativa de Moneda Digital del MIT.

El siguiente artículo apareció originalmente en CoinDesk Weekly, un boletín personalizado que se envía todos los domingos exclusivamente a nuestros suscriptores.

Una ventaja secundaria y subestimada de la investigación y el desarrollo en Criptomonedas es que también genera avances dentro de las tecnologías que componen el sector.

Los más importantes se producen en el campo del que deriva el término "Criptomonedas". La criptografía —en esencia, el estudio de secretos matemáticos— es tan antigua como la exploración de cifrados en la antigüedad. Pero en los últimos 10 años, gracias en gran medida a la invención del Bitcoin y al dinero resistente a la censura, ha experimentado un auge de actividad.

Esto se aplica especialmente al subcampo de las pruebas de conocimiento cero, que permiten la verificación de hechos derivados de un Secret al que el verificador no puede acceder. Estos avances son importantes porque las pruebas de conocimiento cero ofrecen la atractiva posibilidad de que las personas realicen transacciones con confidencialidad sin acceder a información potencialmente comprometedora sobre los demás. Su potencial trasciende el ámbito de las criptomonedas para afrontar el desafío definitivo de la era de internet: lograr la seguridad.conPrivacidad.

Por eso, el avance de Electric Coin Company, la startup detrás de Zcash, tiene un gran potencial. ECC ya había impulsado el progreso de la criptografía al impulsar el uso de zk-SNARKS, otra herramienta de prueba de conocimiento cero inspirada en las criptomonedas, con la que Zcash produce una cadena de bloques auditable sin revelar las direcciones de los usuarios (nota Aviso legal : Digital Currency Group, la empresa matriz de CoinDesk, es inversora de ECC).

Pero elreciente anuncio de la empresaEl desarrollo de Halo, una versión recursiva sin confianza de las pruebas de conocimiento cero que ofrece una solución enormemente escalable a la inmanejable dependencia del campo de las configuraciones de confianza, es posiblemente mayor. Si el Explora del investigador de ECC, Sean Bowe, supera el escrutinio científico, podría ONE día dar lugar a una serie de potentes aplicaciones prácticas para la era digital que van mucho más allá de las Criptomonedas.

¿Podría incluso lograr lo imposible: reducirel calor que el CEO de Zcash, Zooko Wilcox, y sus cofundadores reciben sin cesar¿Por la comisión del 20% para los fundadores, integrada en el protocolo de la criptomoneda, un acuerdo que les ha proporcionado millones de dólares en tokens desde su lanzamiento en 2016? Los fundadores justifican la comisión argumentando que esta cubre tanto el mantenimiento como la investigación y el desarrollo para fortalecer el protocolo. Al menos por ahora, este LOOKS un Explora que ECC puede considerar una inversión rentable, no solo para Zcash, sino para todo el ecosistema de las Cripto .

Una prueba de pruebas

Halo permite al usuario demostrar que ONE involucrado en el establecimiento inicial de un sistema a gran escala de prueba de conocimiento cero ha creado una puerta trasera Secret para modificar posteriormente el código, y que ese estado seguro ha existido durante las actualizaciones y cambios continuos del sistema. Hasta ahora, el riesgo de fraude durante la configuración implicaba que las pruebas de conocimiento cero a menudo requerían procedimientos complejos y costosos desde el principio para infundir confianza en los usuarios. (Un ejemplo PRIME fue la "ceremonia" de génesis de Zcash ). grabado en vivo en YouTube y documentado en un entretenido episodio para Radiolab de NPR– cuando varios fundadores y participantes externos basados en múltiples ubicaciones hicieron esfuerzos extraordinarios para crear de manera conjunta y segura el par de claves inicial y luego demostrar que ninguno de ellos tendría jamás acceso a la clave privada).

Por lo tanto, las pruebas de conocimiento cero eran demasiado engorrosas para cualquier cosa que no fuera la comprobación privada de pequeños hechos puntuales. Repetir una y otra vez la configuración de confianza, ineficiente y laboriosa, resultaba costoso. Si bien las soluciones puntuales sin confianza, conocidas como "pruebas de bala", existen desde 2017, carecen de la recursividad necesaria para verificar la información en constante acumulación dentro de una base de datos extensa, en constante evolución.

Halo soluciona este problema estableciendo una "prueba de pruebas" acumulada, de modo que el resultado matemático más reciente contenga una prueba de que todas las afirmaciones previas sobre el conocimiento Secret relevante han sido suficientemente probadas mediante un proceso similar. Con una drástica reducción de los requisitos computacionales, solo se necesita una única prueba matemática para verificar la veracidad del estado actual de toda la base de datos. (Según me lo explicó Wilcox, el proceso parecía similar a las mejoras de eficiencia de las estructuras de árbol de Merkle, que agregan información previamente hash en una única salida hash raíz).

Nodos completos baratos

Los beneficios de escalabilidad de este sistema de pruebas liviano quedaron ilustrados con una demostración a mediados de septiembre realizada por el equipo de EEC utilizando la cadena de bloques de Bitcoin . Generaron una prueba de la integridad de la prueba de trabajo del bloque actual. que también contenía pruebas de la integridad de cada bloque anterior, hasta llegar al bloque génesis de Satoshi Nakamoto del 3 de enero de 2009.

A la luz de ladebates tensosEn la comunidad Bitcoin , en cuanto a nodos completos, descentralización y tamaño de bloque, esto parece ser un punto de inflexión. Si bien seguirán siendo necesarios nodos que lean la cadena de bloques completa para identificar transacciones, la verificación de la integridad de una cadena de bloques podría convertirse en un problema mucho menos costoso para la red en su conjunto. Los usuarios comunes podrían lograr la facilidad de uso y la eficiencia que necesitan, pero con sus propios nodos de verificación completa. Esto eliminaría la necesidad de las llamadas billeteras SPV, que dependen de terceros para verificar en nombre del usuario y, por lo tanto, generan un problema de confianza. Para la red, el resultado podría ser una mayor descentralización a un menor costo.

El ECC planea integrar Halo en la blockchain de Zcash como una solución de escalado de Capa 1. Si funciona, la red de Zcash podría gestionar de forma mucho más económica cantidades significativamente mayores de datos en cadena. Este enfoque para el problema del escalado es significativamente diferente del modelo de Capa 2 que prefieren los defensores de Bitcoin de la Red Lightning, donde el escalado se logra extrayendo transacciones de la cadena. Si funciona para Zcash, ONE preguntarse si los desarrolladores de Bitcoin Cash se verán tentados a integrarlo en su protocolo para reducir el coste de mantenimiento de los bloques más grandes que adoptaron en la controvertida bifurcación de Bitcoin CORE en 2017.

Visiones más grandes

Pero es el potencial de soluciones no basadas en criptomonedas lo que convierte a Halo en una perspectiva especialmente emocionante. Wilcox incluso afirma que Halo «podría convertirse en un pilar fundamental para la próxima generación de internet y otras infraestructuras sociales similares».

En una conversación, señaló las vulnerabilidades de las grandes bases de datos centralizadas, en constante cambio, como la de Equifax, la famosa plataforma de calificación crediticia hackeada, así como las de las oficinas del DMV en diferentes estados y las de los custodios de historiales médicos aislados. Todos deben compartir información con otras partes, pero enfrentan los riesgos que esto implica. "Ahora, en lugar de emitir copias de un informe completo de los datos, KEEP una única copia, pero no emiten ninguna prueba de conocimiento", dijo Wilcox.

Lo ideal, sin embargo, sería prescindir por completo del sistema centralizado de gestión de registros. Wilcox cree que las pruebas de conocimiento cero, como las de Halo, allanarán el camino. Llevando el ejemplo anterior un paso más allá, dijo: "¿Qué pasaría si en lugar de decir 'aquí tienes una prueba de que Equifax afirma que no he tenido ningún impago en los últimos 10 años', pudiera decir 'aquí tienes una prueba de las 100 personas que me han prestado en los últimos 10 años y cada una de ellas confirma que no he tenido impagos'?".

Llegar a tal utopía no será fácil. La regulación, la influencia corporativa y la inercia conductual seguirán presentando resistencia. Y, para ser claros, la demostración matemática de Bowe aún debe someterse a una rigurosa revisión por pares.

Pero incluso si se encuentran fallos en la versión actual, se solucionarán. Surgirán versiones mejores.

El proceso de investigación posterior que este Explora desencadenará en todas las áreas de la economía digital es innegable. Y si el mundo no está preparado para una reorganización tan radical de la gestión de la información confidencial, con el tiempo se verá obligado a adoptar dichos cambios debido a la incesante acumulación de bases de datos vulnerables y los continuos ataques contra ellas por parte de hackers cada vez más sofisticados. Esta tendencia llevó a Juniper Research a afirmar recientemente que... El cibercrimen costará a la economía mundial la asombrosa cifra de 5 billones de dólares al año para 2024..

El mundo necesita urgentemente soluciones para estos enormes desafíos. Los desarrolladores de Criptomonedas están haciendo todo lo posible por encontrarlas.

Imagen de Zooko Wilcox vía archivos de CoinDesk