Este es el número 1943 de Vernacular Blockchain Autor original | Compilado por colaborador | Producido por Huohuo | Vernacular Blockchain (ID: hellobtc)

Durante mucho tiempo, solo se pueden obtener dos de los tres triángulos imposibles de blockchain (es decir, escalabilidad, descentralización y seguridad), por lo que después de que Ethereum logró un mayor grado de seguridad y privacidad, la expansión se convirtió en la máxima prioridad. Por lo tanto, surgió la Capa 2. En el actual plan de expansión de la Capa 2, Vitalik Buterin (V God), cofundador de Ethereum, considera que la tecnología ZK es la solución definitiva al problema de expansión.

El 21 de mayo, en la conferencia EDCON 2023, una conferencia global anual sin fines de lucro sobre Ethereum celebrada en Montenegro, Buterin dijo que en los próximos 10 años, zk-SNARK con ZK como tecnología subyacente será tan importante como blockchain.

Entonces, ¿qué son los zk-SNARK promovidos recientemente por V God? ¿Qué problemas intratables puede resolver blockchain? Echemos un vistazo a la introducción de hoy. El siguiente es el texto:

01 ¿Qué son los zk-SNARK?

1. ¿Quién creó los zk-SNARK?

El término "zk-SNARK" fue acuñado por un grupo de criptógrafos, incluidos Nir Bitansky, Alessandro Chiesa y Eran Tromer, quienes publicaron originalmente los principios básicos de zk-SNARK en un artículo. Desde entonces, los zk-SNARK han sido desarrollados y mejorados gradualmente por muchos proyectos y equipos diferentes.

2. ¿Qué significa zk-SNARK?

- ZK: conocimiento cero conocimiento cero

Conocimiento cero significa que la persona que verifica el reclamo no puede obtener ninguna información nueva del proceso de verificación. En otras palabras, en un proceso de prueba de conocimiento cero, el verificador sólo sabe si la afirmación es verdadera o falsa y nada más.

- S: simplicidad

Las pruebas concisas de zk-SNARK son pruebas breves y fácilmente verificables. Esto contrasta con las pruebas habituales de conocimiento cero, que pueden ser muy largas y complejas. Normalmente, las pruebas de zk-SNARK se pueden verificar en milisegundos.

- N: no interactivo no interactivo

Las pruebas no interactivas de zk-SNARK no requieren ninguna interacción entre el probador y el verificador. Esto significa que sólo se envía un mensaje resultante del probador al verificador. Esto contrasta con las pruebas interactivas, donde el probador y el verificador deben interactuar entre sí para completar la prueba.

- AR: argumento argumento

Un argumento es una razón o conjunto de razones que respaldan un punto de vista. En el contexto de zk-SNARK, un argumento es una secuencia de operaciones matemáticas utilizadas para demostrar que un argumento declarado es correcto.

- K: conocimiento conocimiento

El conocimiento es la idea de que el probador conoce cierta información necesaria para completar la prueba. Por ejemplo, esta podría ser la clave privada de la cuenta.

En resumen, zk-SNARKs es un sistema ZK (sistema de prueba de conocimiento cero) que permite a los usuarios ("certificadores") demostrar algo a otra parte ("verificador"), como su identidad, la propiedad de sus fondos, etc. sin revelar ninguna información sobre esos activos. Por ejemplo:

- El usuario debe poder demostrar que hay saldo suficiente en su cuenta para comprar el producto o servicio sin tener que compartir la cantidad exacta que tiene - El usuario debe poder verificar su identidad antes de acceder a la aplicación sin tener que compartir; sus datos personales.

Como ejemplo de cómo “explicar los zk-SNARK a un niño de 5 años”, aquí tienes un juego para explicar qué son los zk-SNARK:

"Imagínate que estás jugando con tres amigos. "¿Dónde está el profesor de chino? ”, el premio es una apuesta de 1.000 dólares dividida en partes iguales entre los ganadores. Tú y tus amigos se sientan alrededor de una mesa y a cada uno se le entrega una fotografía de un profesor de chino.

Debes encontrar a la profesora de chino en la imagen. Una vez que la encuentres, debes demostrar que la encontraste, pero no puedes revelar su ubicación ni ninguna otra información. En otras palabras, desea demostrar conocimiento de los hechos sin revelar ninguna información que vaya más allá de la validez de sus afirmaciones.

Usando zkSNARK, puedes tomar una hoja de papel del mismo tamaño y marcar un punto en la posición del profesor de chino en la imagen. Luego, el papel se puede esconder en una caja y, una vez que tus amigos resuelvan el rompecabezas, podrán ver por sí mismos la ubicación del profesor de chino que marcaste. "

En otras palabras, los zk-SNARK le permiten probar la información de verificación que necesita sin revelar el valor específico de esa información. En el ecosistema actual entre cadenas, el uso de la tecnología zk-SNARKs puede mantener la privacidad de las cadenas de bloques y las DApps creadas en su plataforma. Aquí, la idea clave es que es imposible para el verificador obtener información sobre la prueba (de ahí el nombre de prueba de "conocimiento cero").

02 Cómo funciona zk-SNARK

Los zk-SNARK son particularmente importantes en el espacio criptográfico, donde la privacidad es particularmente importante porque muchas cadenas de bloques son de naturaleza pública. El ejemplo más famoso es Zcash, un criptoactivo de privacidad. Cuando Zcash se comercializa en cadenas públicas como Bitcoin y Ethereum, se utilizan para la verificación detalles como las direcciones del remitente y del receptor, así como valores de entrada y salida (es decir, cuánto se gastó y cuánto no se gastó). Pero con zk-SNARK, Zcash puede demostrar que una transacción es válida sin revelar información como la dirección y el valor.

Cómo Zcash utiliza zkSNARKS para proporcionar una capa de privacidad a los usuarios de criptomonedas Fuente: Blockchainhub.net

¿Cómo funcionan los zk-SNARK? Las firmas digitales forman el funcionamiento de los zk-SNARK. Las firmas digitales utilizan algoritmos de cifrado para proteger la información confidencial, ocultándola de la otra parte y al mismo tiempo proporcionando a esa parte la evidencia necesaria solicitada. Entonces, ¿cómo se hace exactamente? Los pasos son los siguientes: 1. El probador primero genera un par de claves, una clave pública y una clave privada. Firma la transacción utilizando su clave privada. 2. Luego, el probador codifica esta transacción en zk-SNARK, que es una prueba matemática de que la transacción es válida. 3. La prueba se envía al verificador junto con la clave pública. Luego, el verificador utiliza la clave pública para verificar que la fórmula sea correcta sin conocer ninguna otra información sobre la transacción. Dado que sólo se verifica una pequeña cantidad de información, esta verificación se puede completar muy rápidamente para confirmar que la transacción es válida.

03 Casos de uso específicos de zk-SNARK

1. ¿Qué tokens utilizan zk-SNARK?

El token criptográfico SNARK es un activo criptográfico que utiliza zk-SNARK para mejorar la privacidad, también conocido como token de privacidad. Ejemplos de dichos tokens de privacidad son: - Zcash (ZEC) - Verge (XVG) - Monero (XMR) - Dash (DASH) - Beam (BEAM) - Horizen (ZEN) - Bytecoin (BCN) El principal desafío de zk-SNARKs es Si la clave privada se ve comprometida, se pueden crear pruebas falsas. Esto podría permitir a los creadores de pruebas falsas cometer fraude, por ejemplo, creando y utilizando monedas de privacidad falsas.

2. Otras aplicaciones de zk-SNARKS

Filecoin es un proveedor de almacenamiento descentralizado que opera en múltiples frentes.

En primer lugar, los proveedores de almacenamiento en la red Filecoin (que proporcionan espacio de almacenamiento a cambio de recompensas en bloque) y los "certificadores" deben demostrar que están almacenando correctamente los datos en la cadena. Por otro lado, tenemos los “validadores”, es decir, los nodos, que deben verificar que el proveedor de almacenamiento esté almacenando y protegiendo los datos correctamente. Estos validadores deben estar satisfechos con la prueba proporcionada por el proveedor de almacenamiento. Esto requiere que los proveedores y los nodos de almacenamiento se comuniquen cuando los datos cambian de manos. Como puede imaginar, este proceso requerirá muchos recursos. La publicación del blog oficial de Filecoin explica: “La cantidad de datos que un único proveedor de almacenamiento debe probar hoy para verificar su almacenamiento es enorme y solo crecerá con el tiempo. La red Filecoin tiene un tiempo de bloqueo de 30 segundos "para permanecer. invariantes en el tiempo y que permitieran métodos escalables, Filecoin necesitaba una solución que permitiera una verificación rápida, eficiente y sólida".

Con zk-SNARK, la red Filecoin puede aumentar su escalabilidad y eficiencia al reducir el tiempo necesario para que cada parte verifique el almacenamiento. Para los proveedores de almacenamiento, los zk-SNARK reducen la cantidad de datos que necesitan transmitir para probar su almacenamiento, lo que reduce los costos operativos.

3. Los zk-SNARK también se pueden utilizar para otras cosas como:

- Autenticación: Verifique las credenciales del usuario sin contraseña, eliminando la necesidad de documentación como pasaportes y certificados de nacimiento para proteger información confidencial como el lugar de nacimiento y la fecha de nacimiento.

- Sistema de votación: la identidad del votante se puede verificar sin identificación, y la identidad del votante no se puede identificar incluso si se filtra la boleta, protegiendo así la privacidad de los votantes.

- Compresión de datos: Este es un uso interesante de zk-SNARKS y merece su propia sección.

04 Resumen

En general, zk-SNARKS tiene tres puntos clave: 1. zkSNARKS es un sistema de prueba de conocimiento cero que permite a una parte demostrarle a otra que conoce un valor x sin transmitir ninguna otra información sobre x. 2. La idea clave es que el verificador no puede deducir nada sobre x simplemente por el hecho de que el probador puede demostrar que conoce x. Esto protege la privacidad de los datos del probador. 3. Los sistemas de prueba de conocimiento cero se utilizan en una variedad de aplicaciones, incluidas comunicaciones seguras, criptografía y análisis de datos para preservar la privacidad. Aunque los sistemas de prueba de conocimiento cero son actualmente un área de investigación relativamente nueva, todavía quedan muchas preguntas abiertas sobre su viabilidad y practicidad. Sin embargo, se han utilizado para crear algunos productos impresionantes.

¿Qué opinas sobre zk-SNARK? Deje un mensaje en el área de comentarios para discutirlo.

Enlace original: https://phemex.com/academy/what-is-zksnark Título original: ¿Qué es zkSNARK: un explicador para principiantes? Autor original: Colaborador Compilador: Huohuo

FIN