Estudio sobre la Privacidad en Criptomonedas
Un estudio que ha generado importantes noticias sobre la privacidad en criptomonedas ha encontrado que los sistemas de prueba de conocimiento cero, incluidos Railgun, PrivacyPools, Aleo y Aztec, son matemáticamente inmunes a ataques cuánticos. Esto se debe a que se basan en la seguridad teórica de la información en lugar de en la encriptación, lo que significa que permanecen seguros incluso frente a atacantes infinitamente poderosos, como los futuros ordenadores cuánticos.
Hallazgos Significativos
Las noticias sobre la privacidad en criptomonedas llegaron el martes con un hallazgo significativo: la misma amenaza que representa la computación cuántica, que ha llevado a Ripple, Bitcoin y Ethereum a desarrollar hojas de ruta de emergencia, parece no aplicarse a los sistemas de prueba de conocimiento cero que preservan la privacidad. Un estudio coautorado por investigadores de Coinbase, junto con equipos de Stanford y la Fundación Ethereum, concluyó que redes como Railgun y PrivacyPools se basan en un modelo de seguridad fundamentalmente diferente al que están diseñados para atacar los ordenadores cuánticos.
«Los sistemas de prueba de conocimiento cero se fundamentan en sistemas teóricos de información que son seguros incluso contra atacantes infinitamente poderosos, debido a cómo se estructura y comparte la información, no por la encriptación.»
Esta distinción no es una cuestión de grado; es una diferencia categórica entre la seguridad computacional y la seguridad teórica de la información.
Seguridad en Blockchain
La seguridad estándar de blockchain, que incluye la protección en billeteras de Bitcoin y cuentas de Ethereum, se basa en la dureza computacional: la suposición de que romper el problema matemático subyacente requiere más computación de la que posee cualquier atacante. Sin embargo, los ordenadores cuánticos que utilizan el algoritmo de Shor pueden, en teoría, resolver ciertas categorías de estos problemas matemáticos exponencialmente más rápido que los ordenadores clásicos, lo que hace que las firmas de curva elíptica de Bitcoin se consideren potencialmente vulnerables.
Funcionamiento de las Pruebas de Conocimiento Cero
Las pruebas de conocimiento cero funcionan de manera diferente. Permiten que una parte demuestre el conocimiento de un secreto sin revelar el secreto en sí, y la garantía de seguridad proviene de principios teóricos de la información en lugar de la dificultad computacional. Incluso un ordenador con potencia de procesamiento infinita no puede extraer más información de la que la prueba fue diseñada para revelar. Esta propiedad estructural hace que las herramientas de privacidad basadas en ZK sean inmunes al algoritmo de Shor y a cualquier ataque cuántico que apunte a la dureza computacional.
Protocolos de Privacidad
Railgun es un protocolo de privacidad que oculta los montos de las transacciones y las direcciones utilizando pruebas ZK en Ethereum. PrivacyPools es un protocolo diseñado para permitir la privacidad al permitir que los usuarios demuestren que sus fondos no provienen de fuentes sancionadas sin revelar su historial completo de transacciones. Aleo es una blockchain de Capa 1 construida nativamente alrededor de pruebas ZK. Aztec es una Capa 2 de Ethereum que permite la ejecución de contratos inteligentes privados a través de pruebas ZK. Los cuatro se basan en la seguridad teórica de la información para sus garantías de privacidad fundamentales.
Implicaciones del Estudio
La conclusión del estudio de Coinbase significa que, cuando los ordenadores cuánticos eventualmente maduren hasta el punto de amenazar la seguridad clave de Bitcoin, las propiedades de privacidad de estas redes permanecerán intactas. Su vulnerabilidad, si la hay, provendría de otros componentes de su arquitectura, como las firmas de curva elíptica subyacentes utilizadas para la autenticación de cuentas, que es una capa de seguridad separada del sistema de prueba ZK en sí.
Este hallazgo llega en un momento en que el debate más amplio sobre el riesgo cuántico de Bitcoin está generando fricciones de gobernanza en todo el ecosistema. La discusión sobre la amenaza cuántica en Bitcoin se ha centrado en si forzar la migración de monedas o confiar en actualizaciones opcionales. La infraestructura de privacidad basada en ZK elude por completo ese debate, ya que su modelo de seguridad central ya estaba inmunizado contra los ataques cuánticos por diseño.
Conclusión
Para los desarrolladores de DeFi y los usuarios institucionales que evalúan opciones de infraestructura a largo plazo, el estudio proporciona una base concreta para considerar las herramientas de privacidad basadas en ZK como categóricamente más a prueba de futuro que las cuentas de blockchain tradicionales, que se basan en la transparencia frente a la amenaza cuántica. El cofundador de Ethereum, Vitalik Buterin, ha respaldado públicamente protocolos como Railgun, argumentando que la privacidad debería ser una opción predeterminada para los usuarios de blockchain. El hallazgo de inmunidad cuántica añade una dimensión de seguridad a ese argumento.
