Definición de zk-SNARK

¿Qué es zk-SNARK?

Zk-SNARK es un acrónimo que significa “argumento de conocimiento breve no interactivo cero”. Zk-SNARK es una evidencia criptográfica que permite que una de las partes demuestre que posee cierta información sin revelar esa información. Esta prueba es posible gracias a una clave secreta creada antes de la transacción. Se utiliza como parte del protocolo de criptomonedas Zcash.

Conclusiones clave

  • Zk-SNARK es un protocolo de conocimiento cero utilizado en el cifrado, y es una abreviatura que significa “argumento de conocimiento de conocimiento cero comprimido no interactivo”.
  • Esta prueba se desarrolló y presentó por primera vez a fines de la década de 1980, y ahora la criptomoneda Zcash la utiliza para abordar el supuesto problema del anonimato con las cadenas de bloques tipo Bitcoin.
  • La evidencia de Zk-SNARK se basa en la configuración inicial de un “sistema de confianza” que ha sido criticado como una falla de seguridad integral.

Entendiendo zk-SNARK

Para muchos de los miembros originales de la comunidad de criptomonedas, principalmente para Bitcoin, la privacidad era el propósito y la característica de las criptomonedas. Sin embargo, la privacidad siempre ha sido un problema de segundo orden, dada la necesidad de las criptomonedas de crear un sistema “desconfiado” para garantizar la integridad de las transacciones digitales y de moneda electrónica.

A principios de la década de 2010, los usuarios de Bitcoin a veces asumían que sus transacciones eran anónimas porque sus identidades fuera de línea no estaban asociadas con las claves públicas de los usuarios. Pero al final de la década, los esfuerzos coordinados de los investigadores de datos, los piratas informáticos y las fuerzas del orden han demostrado que esto no solo es posible, sino también relativamente fácil de volver a identificar a las personas quien transmitió seudónimos a varias fuentes.

Debido a la supuesta falta de privacidad de algunas criptomonedas originales, como Bitcoin, los desarrolladores han comenzado a trabajar en monedas orientadas a la privacidad. El más notable de ellos fue Zcash, que cuenta con el respaldo de una tecnología conocida como zk-SNARK.

Prueba con conocimiento cero

A зк-СНАРК (“Argumento no interactivo de conocimiento con conocimiento cero”) utiliza un concepto conocido como “demostración con conocimiento cero”. La idea de esta evidencia se desarrolló por primera vez en la década de 1980. En pocas palabras, la prueba de prueba cero es una situación en la que cada una de las dos partes en una transacción puede verificar entre sí que tienen un determinado conjunto de información y, al mismo tiempo, no revelar qué tipo de información es.

Para la mayoría de los demás tipos de pruebas, al menos una de las dos partes debe tener acceso a toda la información. La prueba tradicional se puede comparar con la contraseña utilizada para acceder a Internet. El usuario envía la contraseña y la propia red verifica el contenido de la contraseña para asegurarse de que sea correcta. Para ello, la red también debe tener acceso al contenido de la contraseña.

Una versión de esta situación con cero conocimiento implicará que el usuario demuestre a la red (usando pruebas matemáticas) que tiene la contraseña correcta sin revelar la contraseña en sí. Los beneficios de la privacidad y la seguridad en esta situación son obvios: si la contraseña no se almacena en algún lugar de la red para su verificación, no se puede robar la contraseña.

Los fundamentos matemáticos de zk-SNARKS son complejos. Sin embargo, la evidencia de este tipo permite que una de las partes demuestre no solo que existe cierta información, sino también lo que esa parte sabe sobre esa información. En el caso de Zcash, zk-SNARK se puede verificar casi instantáneamente y el protocolo no requiere ninguna interacción entre el verificador y el verificador.

Críticas a zk-SNARKs

Hay, por supuesto, preocupaciones sobre zk-SNARK. Por ejemplo, si alguien pudo acceder a la clave privada utilizada para crear los parámetros del protocolo de evidencia, podría crear evidencia falsa que, sin embargo, parecía cierta para los verificadores. Esto le permitirá a esta persona crear nuevos tokens Zcash a través del proceso de falsificación. Para evitar que esto suceda, Zcash fue diseñado para que los protocolos de verificación se desarrollaran y difundieran a múltiples partes.

Aunque la construcción del proceso de prueba de Zcash se completó de una manera que minimiza la posibilidad de falsificar tokens con evidencia falsa, todavía hay al menos un problema con la criptomoneda. Zcash se creó con un “impuesto” del 20 % que se aplicaba a todos los bloques creados durante los primeros años del token. Este impuesto se conoce como el “impuesto de fundador” y se utiliza para compensar a los desarrolladores de criptomonedas.

Los críticos han sugerido que los fundadores podrían usar potencialmente este aspecto del sistema para generar una cantidad infinita de tokens Zcash sin conocer la existencia de estos tokens. Por esta razón, no es del todo posible saber la cantidad exacta de tokens Zcash que existen actualmente.

Desde 2019, algunos desarrolladores están trabajando para mejorar zk-SNARK eliminando la configuración de confianza. En un equipo llamado Suterusu sistema desarrollado llamado zK-ConSNARK que afirma funcionar sin una configuración confiable, puede brindar protección de privacidad para las principales cadenas de bloques como Bitcoin y tiene la inflación más baja para cualquier criptomoneda existente.

Deja un comentario