a16z: Cómo utilizar un espectáculo de magia para comprender las pruebas de conocimiento cero

Este artículo proviene de | a16z

Autor original | Michael Blau

Compilado | Odaily Planet Daily Azuma

*Nota del editor: Como "libro secreto" de Crypto para el desarrollo en múltiples direcciones, como la expansión y la privacidad, las pruebas de conocimiento cero (ZKP) tienen grandes expectativas por parte de la industria. Sin embargo, dado que la mayor parte del contenido explicativo sobre este concepto está dirigido a personas con cierta base en informática o criptografía, todavía existen ciertos obstáculos para que la mayoría de los usuarios comunes comprendan completamente el concepto en sí. *

*El 8 de septiembre, Michael Blau, socio de a16z, publicó un artículo de divulgación científica sobre pruebas de conocimiento cero. El artículo evita hábilmente la parte de especulación matemática abstracta del concepto de prueba de conocimiento cero en sí, pero utiliza actuaciones mágicas para demostrar concretamente la utilidad de ZKP. *

*La siguiente es una recopilación del texto original de Michael Blau (voz en primera persona) realizada por Odaily Planet Daily. Se han realizado algunas modificaciones para mejorar la fluidez en la lectura. *

Clark, autor de "2001: Una odisea en el espacio", dijo: "Cualquier tecnología suficientemente avanzada es indistinguible de la magia".

La prueba de conocimiento cero es una de esas tecnologías mágicas y, en realidad, es un concepto criptográfico que puede utilizarse para resolver dos problemas importantes de la Web3: la escalabilidad y la privacidad. **

Desde una perspectiva de servicios públicos, el uso de pruebas de conocimiento cero por parte de ** puede ayudar a reducir los costos de transacción en cadena y diseñar nuevas aplicaciones que protejan la privacidad, promoviendo así la propagación de Crypto a mil millones de usuarios. **Aparte de Crypto, ZKP también tiene el potencial de usarse para transmitir de forma segura datos confidenciales, ayudando así a combatir los sistemas financieros ilegales o combatir la proliferación de información fraudulenta.

Pero ¿qué son exactamente las pruebas de conocimiento cero? Para un pequeño número de investigadores y desarrolladores, se pueden encontrar muchas explicaciones detalladas en Internet, pero estos contenidos no están destinados a usuarios comunes y corrientes con menos experiencia en informática u ocultismo. Aunque algunos pioneros también han escrito algunos artículos de divulgación científica basados en analogías, a día de hoy todavía no es una tarea fácil encontrar una explicación incisiva y popular relacionada con las pruebas de conocimiento cero para ayudar a la gente corriente a comprender con precisión su magia.

Entonces, en el próximo artículo, combino mi experiencia en criptografía y la industria de la magia para explorar una nueva analogía: piense en las pruebas de conocimiento cero como un gran truco de magia. **

Primero que nada, necesitamos algunos conocimientos básicos.

Primero compartiré la definición de "alto nivel" de prueba de conocimiento cero (especialmente su algoritmo clásico zk-SNARK) y sus características principales, y luego mapearé estos "componentes" uno por uno en una magia.

Justin Thaler, socio de investigación de a16z, define zk-SNARK como: "zk-SNARK permite que alguien (el probador) demuestre a otra persona (el verificador) que no confía en conocer algunos datos sin tener Revelar cualquier información sobre los datos en sí.”

El curso del MIT lo define de esta manera: "Los protocolos de conocimiento cero me permiten demostrarte que conozco un hecho sin contarte el hecho en sí."

Esto tiene un gran valor de aplicación en el contexto de blockchain porque:

• (correspondiente a la privacidad) **La prueba de conocimiento cero puede proteger la información privada y al mismo tiempo permitir que otros verifiquen la autenticidad de la información. **
• (Correspondiente a la expansión) **La prueba de conocimiento cero puede "simplificar" y "ahorrar" la carga de trabajo. ** "Simplificación" significa que el tamaño de la "prueba" es menor que los "datos" mismos que se prueban; "guardar" significa que el verificador puede probar la "prueba" de manera más eficiente que analizar los "datos" originales. En Ethereum, esto significa que los contratos inteligentes procesarán menos datos, por lo que los costos de gas de los usuarios serán menores. La capa 2 también puede aprovechar estas características, lo que permite a las Dapps procesar más datos a un costo menor.

En resumen, las pruebas de conocimiento cero tienen dos propiedades principales:

• Uno es privacidad: los "datos" (o "hechos" o "conocimientos") que usted está demostrando no serán revelados al verificador.
• El segundo es escalabilidad: probar "pruebas" es más eficiente que analizar directamente "datos" sin procesar.

Esta es la explicación clásica de las pruebas de conocimiento cero, pero todavía suena como un acertijo: ¿cómo puede alguien demostrar que sabe algo sin compartir la información?

Veamos la definición nuevamente, pero esta vez vamos a hacer un truco de magia.

La magia en sí es una prueba de conocimiento cero.

En pocas palabras, en un espectáculo de magia, la "magia" en sí misma es una prueba de conocimiento cero. Para completar un truco de magia, el "mago" necesita conocer el "secreto" detrás de él. Sólo conociendo este secreto puede realizar la actuación, pero ciertamente no quiere revelar este secreto a la "audiencia". Esto obviamente destruirá el efecto de la magia.

• *Nota diaria de Odaily Planet: Tenga en cuenta que cuatro caracteres están entre comillas. *

"Secreto" corresponde a los "datos" originales;

"Magia" corresponde a "prueba";

"Mago" corresponde a "Prover";

*“Audiencia” corresponde a “Verificador”. *

A continuación, incorporaremos a esta magia la definición "avanzada" de prueba de conocimiento cero del párrafo anterior, ** imaginemos al mago como el "probador" y a la audiencia como el "verificador". **

**El espectáculo de magia es el proceso en el que el "probador" prueba al "verificador". **Si la actuación tiene éxito, equivale a demostrar que es efectiva, y el público también puede confirmar que el mago debe comprender el secreto detrás de ella; Si la actuación falla, equivale a demostrar que no es válido y el público quedará decepcionado. Tenga en cuenta que es posible que el mago no conozca el truco.

Obviamente, la magia demuestra claramente la privacidad de las pruebas de conocimiento cero porque a la audiencia nunca se le dice cuál es el secreto detrás de esto. ¿Qué pasa con la escalabilidad? Sigamos volviendo a esta metáfora…

Si el público quiere saber si el mago ha dominado el secreto (si el "probador" conoce los "datos" originales), puede saltarse la actuación normal y simplemente pedirle al mago que comparta el secreto detrás de ella. Sin embargo, las técnicas mágicas son generalmente bastante complejas y engorrosas. Es difícil para el público comprender el mecanismo de diseño y los efectos de implementación de estas técnicas en un corto período de tiempo, y mucho menos dominarlas por completo. El mago puede incluso proporcionar una técnica incorrecta. y el público quedará decepcionado. También es difícil saber si es genuino o no. Por lo tanto, a menudo lleva mucho tiempo y una gran carga de trabajo completar la prueba analizando el secreto en sí.

Así como analizar directamente los "datos" originales requiere más tiempo y trabajo, probar la "prueba" será más eficiente. Lo que hay detrás de esto es la escalabilidad de las pruebas de conocimiento cero.

Utilice naipes como ejemplo

Para dar un ejemplo simple, supongamos que alardeo de que tengo la habilidad de "barajar a la inversa" y que puedo barajar una baraja de cartas caóticas hasta lograr el efecto deseado. Entonces, ¿cómo puedo demostrártelo?

La forma más eficiente es que yo mezcle directamente una baraja de cartas con un patrón determinado para ti. Cuando veas esta baraja de cartas, podrás confirmar que tengo esta habilidad. Esto no requiere que comparta mis habilidades contigo. , pero también es mejor que el tuyo. Aprender lentamente por ti mismo será más rápido.

Con todo, espero que esta analogía ayude a desmitificar las pruebas de conocimiento cero. Este conjunto de explicaciones sobre "magia", "secreto", "mago" y "público" puede usarse como un modelo eficaz para comprender las principales características de pruebas de conocimiento cero y ayuda más Muchos usuarios comunes están expuestos a este concepto.

Una vez más, la magia es esencialmente una prueba de conocimiento cero, y la prueba de conocimiento cero es lo mismo que la magia. **