Sin embargo, ¿la aplicación de esta tecnología es la misma? Junto con Coincu, responderemos este problema para que lo lea en el siguiente artículo.
¿Qué es la prueba de conocimiento cero (ZKP)?
Con el constante avance de la tecnología informática en la era digital, podemos almacenar, transferir y analizar fácilmente una gran cantidad de datos personales y corporativos en Internet, lo que genera preocupaciones sobre los derechos. La seguridad y la privacidad de los datos también están en aumento.
La prueba de conocimiento cero es una especie de criptografía. ZKP opera según el principio de que una parte probadora le muestra al verificador que la información que proporciona es verdadera sin revelar ninguna información de la vida real.
Para las personas que exigen control e independencia sobre su información, ZKP brinda flexibilidad y opciones. Se abordarán varios casos de uso si se combinan la tecnología blockchain y ZKP.
Tipos de pruebas de conocimiento cero
Hay dos tipos de pruebas de conocimiento cero: interactivas y no interactivas.
Las pruebas interactivas de conocimiento cero (IZKP) necesitan una conversación de ida y vuelta entre un probador y un verificador en la que el probador responde a las consultas del verificador. Este compromiso puede ocurrir en persona oa través de una red como Internet. Varias interacciones con el verificador son necesarias para que el verificador solicite más información sobre la afirmación que se está probando. En cada ronda, el probador debe responder a la consulta del verificador.
Este enfoque de prueba interactivo es posible para ciertos problemas grandes, pero presenta preocupaciones de tiempo y costo computacional y requiere comunicación de todos los jugadores.
Las pruebas de conocimiento cero no interactivas (NIZKP), por otro lado, no necesitan interacción entre el probador y el verificador. En cambio, el probador genera una evidencia única e independiente que el verificador puede verificar de forma independiente sin necesidad de más comunicación. Dado que el probador y el verificador no tienen que estar en línea al mismo tiempo ni intercambiar muchos mensajes, esto puede ser más conveniente y eficiente que las pruebas interactivas.
Las pruebas no interactivas son más rápidas que las interactivas e implican menos procesamiento y comunicación. Sin embargo, puede que no sea un enfoque factible en ocasiones, como cuando se necesita información adicional para la prueba o cuando se prueba una proposición extremadamente complicada.
La cantidad de confianza necesaria entre el probador y el verificador es una de las distinciones fundamentales entre las pruebas de conocimiento cero interactivas y no interactivas. En una prueba interactiva, el verificador debe confiar en que el probador seguirá el protocolo y responderá honestamente a sus solicitudes. Por el contrario, en una prueba no interactiva, el verificador no necesita confiar en el probador, ya que puede verificar la prueba de forma independiente sin depender de la información proporcionada por el probador.
Tanto las pruebas de conocimiento cero interactivas como las no interactivas tienen ventajas y desventajas, y la opción óptima para un caso particular estará determinada por las necesidades y limitaciones.
- Las pruebas interactivas pueden ser más apropiadas en los casos en que el probador y el verificador están en línea y pueden conversar fácilmente.
- Las pruebas no interactivas, por otro lado, pueden ser más apropiadas en los casos en que el probador y el verificador no están en línea al mismo tiempo o la confiabilidad del probador es cuestionable. Finalmente, las pruebas de conocimiento cero interactivas y no interactivas a menudo se seleccionan en función de desafíos particulares y situaciones de aplicación.
Los IZKP no se pueden implementar de forma extensiva
Uno de los tipos de prueba de conocimiento cero explorados más antiguos y ampliamente utilizados es la prueba de conocimiento cero interactiva. Habrá muchas rondas de contacto entre el probador y el verificador a lo largo de este procedimiento de prueba.
Se requieren interacciones entre probadores y verificadores para IZKP, lo que puede ser ineficiente y lento. Para completar la prueba, el probador debe intercambiar muchos mensajes con el verificador. Cuando la velocidad es crucial, como en el comercio de alta frecuencia o la toma de decisiones en tiempo real, esto podría ser un problema.
Por ejemplo, debe ingresar a una tienda para comprar alcohol, pero no puede verificar su edad más allá de su apariencia cuando el comerciante juvenil sospecha. Tendrá que explicar cómo puede comprar alcohol usando la voz en off en este punto.
IZKP asume que el probador y el verificador son veraces y no intentarán engañar o alterar la evidencia. Esta suposición, sin embargo, no siempre es correcta, y el probador puede intentar engañar al verificador enviando señales falsas o modificando la evidencia de alguna manera. Esto podría poner en peligro la integridad de la prueba y disminuir su uso.
Para decirlo claramente, no tienes la edad suficiente para beber, pero todavía estás usando palabras para demostrar lo contrario. Si es así, sería desastroso.
Por lo tanto, aunque los IZKP tienen la capacidad de ofrecer una excelente garantía de seguridad y privacidad, los inconvenientes mencionados anteriormente han limitado su amplio uso.
ZK-SNARK
ZK-SNARK son las siglas de Zero-Knowledge Sucinct Non-Interactive Knowledge Argument. El protocolo ZK-SNARK tiene las siguientes características:
- Los verificadores con información cero pueden certificar la veracidad de una declaración sin saber nada más sobre ella. Lo único que sabe el verificador sobre la afirmación es si es verdadera o falsa.
- En una palabra, la prueba de conocimiento cero es más simple que la prueba y se puede mostrar rápidamente.
- Las pruebas no interactivas se distinguen de las pruebas interactivas por el hecho de que los probadores y verificadores solo se comunican una vez, a diferencia de las pruebas interactivas, que implican muchas rondas de comunicación.
- Argumento: dado que la evidencia cumple con el requisito de ‘racionalidad’, el fraude es muy poco probable.
- (De) Conocimiento: Es difícil producir una prueba de conocimiento cero sin acceso a información sensible. A un probador sin testigos le resultará muy difícil, si no imposible, calcular una prueba válida de conocimiento cero.
Para utilizar la configuración de confianza, el usuario debe confiar en los participantes que producen el parámetro. Sin embargo, la creación de ZK-STARK ha permitido la demostración de protocolos que funcionan en contextos inestables.
ZK-STARK
El término ZK-STARK significa Argumento de conocimiento transparente escalable de conocimiento cero. ZK-STARK es idéntico a ZK-SNARK, pero con las siguientes diferencias:
- Escalable: Cuando el tamaño del testigo es mayor, ZK-STARK genera y verifica evidencia más rápido que ZK-SNARK. Con la evidencia STARK, los tiempos del probador y el verificador aumentan mínimamente a medida que crece el número de testigos (el tiempo del probador y el verificador SNARK aumenta linealmente con el tamaño del testigo).
- Transparencia: en lugar de generar confianza, ZK-STARK se basa en la aleatorización verificable públicamente para producir parámetros públicos para prueba y verificación. Como resultado, son menos opacos que ZK-SNARK.
Los ZK-STARK crean pruebas más grandes que los ZK-SNARK, lo que implica mayores costos de verificación. Sin embargo, en determinadas circunstancias (por ejemplo, prueba de enormes conjuntos de datos), ZK-STARK puede ser más rentable que ZK-SNARK.
Conclusión
A diferencia de los zkSNARK, los zkSTARK se basan en pruebas concisas e interactivas, lo que implica que las pruebas se pueden verificar rápidamente sin necesidad de interacción entre el probador y el verificador. Como resultado, los zkSTARK tienen mejores beneficios en términos de seguridad y escalabilidad.
Pero, a medida que avanza la tecnología, las tecnologías a prueba de conocimiento cero seguirán evolucionando y utilizándose.
Si bien blockchain proporciona descentralización, transparencia y muchas otras ventajas, el solo hecho de utilizar direcciones en lugar de identidades no garantiza la privacidad.
En términos de privacidad y verificación de seguridad, la tecnología a prueba de conocimiento cero ofrece una amplia gama de aplicaciones. Si bien no es una tecnología nueva, su aplicación al crecimiento del sector blockchain todavía tiene muchas cosas nuevas por descubrir y mostrar a través de la práctica.
DESCARGO DE RESPONSABILIDAD: La información de este sitio web se proporciona como un comentario general del mercado y no constituye un consejo de inversión. Le animamos a que haga su propia investigación antes de invertir.