¿Qué son las pruebas zk-SNARK?

En el mundo de las criptomonedas, la tecnología zk-SNARKs ha demostrado su valía. Los propietarios pueden usarlo para demostrar que son los dueños de un conjunto de datos sin tener que revelar la información en sí.

Las oportunidades que brinda la introducción de zk-SNARK, lo hacen atractivo para las plataformas que buscan atraer usuarios con un principio operativo seguro. 

¿Qué es zk-SNARK?

Los zk-SNARK han cobrado prominencia en los últimos años como la solución más prometedora para resolver el problema de privacidad de las Blockchains, y existen buenas razones para ello, ya que son una tecnología de contabilidad distribuida muy innovadora.

zk-SNARK es un acrónimo que significa:

·         Conocimiento cero (Zero Knowledge)

·         Argumento Sucinto

·         Argumento de conocimiento

·         No interactivo

Un zk-SNARK, estrictamente hablando, es un mensaje con una estructura específica que sirve como «evidencia» de un reclamo.

Esta «evidencia» puede ser validada por cualquiera que tenga una clave de verificación. Una prueba correcta de persuadir a un verificador si la proposición es verdadera. Ningún probador puede persuadir a un verificador de que la declaración es verdadera si es falsa.

Además, la prueba asegura que el probador entienda por qué la afirmación es correcta. La distinción entre «prueba» y «prueba de conocimiento» es esta. El primero solo asegura que una afirmación sea correcta. El segundo asegura que el probador tenga conocimiento de un testigo de la veracidad de la declaración.

ZK – Pruebas de Conocimiento Cero (Zero Knowledge).

El propósito de las pruebas de cero conocimientos es que un verificador pueda persuadirse a sí mismo de que un probador conoce un parámetro secreto llamado testigo que cumple alguna conexión, sin revelar el testigo al verificador ni a nadie más.

Hablaremos de las pruebas de cero conocimientos no interactivas en particular. Esto significa que la prueba es una gota de datos que se pueden verificar sin la necesidad de que intervenga el probador.

Para decirlo de otra manera, imagina un programa, C, que toma dos entradas: C y D. (x, w). La entrada pública x y la entrada del testigo secreto w son las dos entradas.

La salida del programa es booleana, lo que significa que solo puede ser verdadera o falsa. El propósito es probar que el probador es consciente de una entrada secreta w tal que C(x,w) == verdadero dada una entrada pública especificada x.

¿Qué es un Argumento Sucinto, No Interactivo y de Conocimiento?

La abreviatura zk-SNARK significa en ingles Zero Knowledge, Succinct, Non-Interactive y Knowledge Argument.

S- Sucinto: lo que significa que las demostraciones son breves y sencillas de verificar, ¡incluso si el concepto que se está demostrando es complejo!

N- No interactivo: Esto significa que no se requiere contacto de ida y vuelta entre un probador y un verificador

AR- Argumento: es un formalismo para discutir estas pruebas porque contienen un cifrado sofisticado y un determinismo que no las califica exactamente como «pruebas formales» en el sentido habitual (aunque todavía podemos pensar en ellas como tales).

K – knowledge (Conocimiento): se refiere al hecho de que el probador posee la prueba y este lo detecta.

Todos los zk-SNARK tienen las siguientes características.

No filtran información, son pequeños y fáciles de verificar, incluso si el concepto que se está probando es complejo, no requieren comunicación de ida y vuelta y son pruebas de conocimiento: el probador debe saber realmente lo que se afirma, no solo que es verdad.

¿Cuál es el propósito de la validez en una Blockchain?

En lugar de una sola corporación, las blockchains son administradas por una gran cantidad de personas. Como resultado, muchas personas deben comprobar la validez de una blockchain antes de confiar en ella. Las personas verifican la legitimidad de una blockchain en otras cadenas reproduciendo cada bloque uno por uno.

El caso de la no interactividad en zk-SNARKs

La falta de interactividad de zk-SNARK es una característica clave que los hace muy adecuados para aplicaciones de blockchains. Las primeras pruebas de conocimiento cero(Zero Knowledge) eran interactivas, lo que significaba que un probador y un verificador tenían que comunicarse durante varias rondas antes de que el verificador pudiera decidir si la prueba era legítima.

En algunas circunstancias, se podría utilizar un método venerable conocido como la heurística Fiat-Shamir para reducir la interactividad. Sin embargo, hasta que se establecieron nuevos enfoques, esto no era viable en muchas circunstancias complejas.

Un creador de bloques genera la prueba y la distribuye a todos los validadores de bloques, quienes la verifican en su propio tiempo. Mientras tanto, el desarrollador de bloques podría pasar al siguiente bloque.

La Privacidad Digital

Debido a que los zk-SNARK no son interactivos, el probador simplemente necesita transmitir un solo mensaje al verificador. En otras palabras, el probador puede ejecutar su prueba independientemente de la respuesta del verificador, y no se requiere que el verificador esté en línea cuando se genera la prueba.

Esta prueba se puede conservar, duplicar y distribuir a una gran cantidad de Verificadores. Esto es crucial en un libro mayor distribuido, donde el creador de un bloque genera una prueba que debe verificarse antes de que se acepte el bloque.

La prueba es generada por un creador de bloques y distribuida a todos los validadores de bloques, quienes la verifican en su propio tiempo. Mientras tanto, el desarrollador de bloques podría pasar al siguiente bloque.

Por suerte, Bitcoin (BTC) y otras criptomonedas centradas en la privacidad deberían brindar la seguridad adecuada contra tales desarrollos, mientras que la visión debería servir simplemente para innovar aún más zk-SNARK y sus posibilidades aparentemente infinitas.

Satoshi Nakamoto diseñó Bitcoin como una moneda digital peer-to-peer, pero subestimó cómo progresaría las incursiones técnicas en la privacidad para igualar los componentes de Bitcoin.

Hoy en día, la privacidad es extremadamente vital, y solo las técnicas criptográficas modernas, como lo expresaron los cypherpunks hace años, son capaces de protegerla en la era digital.

El gran Potencial de los zk-SNARK

Los zk-SNARK son una buena manera de hacer que las transacciones de criptomonedas sean anónimas. Además de las monedas de privacidad, también ayudan a impulsar un número cada vez mayor de otras aplicaciones, demostrado ser útil en términos de escalabilidad para la cadena de bloques.

A pesar de su potencial, los zk-SNARK siguen siendo una parte relativamente pequeña del mercado. Muchas personas desconocen lo que son, incluso en un negocio altamente sofisticado como el de las criptomonedas.

Sin embargo, a medida que más empresas adopten la tecnología, esto puede comenzar a cambiar y será simultáneamente estricta a tener en múltiples plataformas.

En pocas palabras, los zk-SNARK son una forma de probar o verificar una transacción en la blockchain sin requerir detalles de la transacción como el importe, la dirección del remitente o del destinatario. De este modo, la información de la transacción sigue siendo privada.

Redes sociales: Twitter, Facebook, Instagram, YouTube y Linkedln Síganos en Telegram y Reddit ¿Tiene alguna pregunta? Visite nuestro Centro de ayuda