Autor: Michael Blau, socio del equipo de inversión de a16zcrypto; Traducción: Golden Finance xiaozou
Cualquier tecnología suficientemente avanzada es indistinguible de la magia, y una de esas áreas que se asemeja a la ciencia ficción es la de las pruebas de conocimiento cero (ZKP), una herramienta criptográfica que resuelve dos desafíos clave en el mundo Web3: la escalabilidad y la privacidad. En particular, ZKP puede ser la clave para desbloquear tarifas de transacción más bajas y diseñar nuevas aplicaciones que preserven la privacidad. Como resultado, se espera que demos la bienvenida a los próximos mil millones de usuarios de criptomonedas. Incluso fuera del mundo de las criptomonedas, ZKP algún día podría ayudar con la transmisión segura de datos confidenciales, combatir las finanzas ilícitas o combatir la desinformación.
¿Pero qué es ZKP? Existen muchas buenas explicaciones para ingenieros, investigadores y la comunidad criptográfica, pero no tienen sentido para audiencias con menos experiencia en criptografía o informática. Incluso con la plétora de metáforas disponibles (desde Waldo hasta la cueva de Alibaba), no es fácil encontrar una explicación precisa y comprensible que ilustre plenamente los superpoderes del ZKP.
Entonces, en este artículo combino mi experiencia en criptografía y magia para explorar e intentar crear una nueva metáfora: piense en ZKP como un gran truco de magia.
**Pero primero, entendamos: ¿qué es una prueba de conocimiento cero? **
Primero me gustaría compartir una definición de alto nivel de ZKP (específicamente con respecto a zk-SNARK), así como sus diversas propiedades, antes de mapear esas propiedades en una metáfora mágica.
Ampliemos la definición de SNARK del socio de investigación criptográfica de a16z, Justin Thaler: “zk-SNARK permite que alguien (el probador) demuestre a una parte que no es de confianza (el verificador) que conoce algunos datos sin revelar ninguna información sobre los datos en sí. " O, como dice el curso AIP ZK del MIT, "Los protocolos de conocimiento cero me permiten demostrarte que sé algo sin decirte qué es".
Esto es interesante en el contexto de las cadenas de bloques públicas porque ZKP puede proteger la información privada y al mismo tiempo permitir que cualquiera verifique (sin lugar a dudas) la autenticidad de la información. zk-SNARK también es muy simple y eficiente: "simple" significa que el tamaño de la prueba es menor que los datos que estás demostrando. "Eficiente" significa que los validadores verifican la prueba más rápido que analizar los datos sin procesar (en Ethereum, esto significa menos datos procesados por el contrato inteligente y menores costos de gas para el usuario). La cadena de bloques L2 puede aprovechar la simplicidad y eficiencia de zk-SNARK, permitiendo que las aplicaciones descentralizadas procesen más datos a un costo menor.
En resumen, zk-SNARK tiene dos propiedades principales:
· Privacidad: No se revela al verificador ninguna información sobre los datos (o hechos o "conocimientos") que usted está demostrando.
· Simple y eficiente: La verificación demuestra ser más eficiente que verificar directamente los datos originales.
Incluso esta descripción de alto nivel suena un poco como un acertijo: ¿Cómo se puede demostrar que se sabe algo sin compartir la información?
Veamos la definición nuevamente, pero esta vez usemos algunos trucos de magia.
Magia a prueba de conocimiento cero
En pocas palabras, la magia es una prueba de conocimiento cero. En magia, un mago afirma conocer un secreto que le permite realizar trucos de magia. Pero no quieren revelar este secreto al público, porque eso arruinaría el truco.
Extendiendo esto a ZKP: piense en los magos como "probadores" y su audiencia como "verificadores". Un espectáculo de magia exitoso (con suerte, que resulte en un asombro increíble y un aplauso entusiasta) es similar a una prueba "válida": el truco funcionó, por lo que el mago debe conocer el secreto del espectáculo de magia. Por supuesto, si la ilusión no funciona, resulta "ineficaz", el público quedará decepcionado y es posible que el mago no conozca realmente el método secreto.
Magic demuestra una de las propiedades de ZKP: la privacidad. Pero ¿qué pasa con la simplicidad y la eficiencia? Volvamos a esta analogía...
El público puede saltarse el espectáculo por completo y simplemente pedirle al mago que comparta los secretos detrás de la magia. Pero los secretos de la magia pueden ser complejos y sutiles. Incluso simplemente explicar el método de un truco de magia, con todas sus sutilezas y matices, lleva mucho tiempo para hacerse una idea general, y mucho menos para comprender los misterios. A veces, cuando se le pide que revele sus secretos, un mago puede revelar deliberadamente una solución "incorrecta" a la audiencia, llevándolos así por el camino equivocado. Los espectadores no pueden estar seguros de que una técnica secreta realmente funcione sin dominarla ellos mismos, lo que puede llevar días, meses o incluso años.
Por lo tanto, así como verificar directamente la exactitud de una técnica secreta requiere mucho tiempo y energía, incluso si el mago está dispuesto a revelar el secreto a la audiencia, lo mismo ocurre con ZKP. Es mucho más rápido para el público comprobar la validez de los arcanos simplemente disfrutando de la actuación.
Reanudación
Para dar un ejemplo simple: afirmo conocer un método secreto que me permite restaurar inmediatamente una baraja de cartas mezcladas hacia arriba y hacia abajo en cartas de una sola cara. Quiero demostrarles que tengo esta habilidad, pero no quiero revelar cómo. El acto de mostrarles a todos una baraja de cartas de una sola cara al final de la magia fue una prueba válida de que debía conocer el método secreto para "restaurar" las cartas. Y cuando te muestro una carta de una sola cara, inmediatamente puedes verificar mi afirmación mucho más rápido que aprendiendo trucos de magia en persona.
Ver originales
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
Cómo demostrar un secreto: una guía para magos sobre pruebas de conocimiento cero
Autor: Michael Blau, socio del equipo de inversión de a16zcrypto; Traducción: Golden Finance xiaozou
Cualquier tecnología suficientemente avanzada es indistinguible de la magia, y una de esas áreas que se asemeja a la ciencia ficción es la de las pruebas de conocimiento cero (ZKP), una herramienta criptográfica que resuelve dos desafíos clave en el mundo Web3: la escalabilidad y la privacidad. En particular, ZKP puede ser la clave para desbloquear tarifas de transacción más bajas y diseñar nuevas aplicaciones que preserven la privacidad. Como resultado, se espera que demos la bienvenida a los próximos mil millones de usuarios de criptomonedas. Incluso fuera del mundo de las criptomonedas, ZKP algún día podría ayudar con la transmisión segura de datos confidenciales, combatir las finanzas ilícitas o combatir la desinformación.
¿Pero qué es ZKP? Existen muchas buenas explicaciones para ingenieros, investigadores y la comunidad criptográfica, pero no tienen sentido para audiencias con menos experiencia en criptografía o informática. Incluso con la plétora de metáforas disponibles (desde Waldo hasta la cueva de Alibaba), no es fácil encontrar una explicación precisa y comprensible que ilustre plenamente los superpoderes del ZKP.
Entonces, en este artículo combino mi experiencia en criptografía y magia para explorar e intentar crear una nueva metáfora: piense en ZKP como un gran truco de magia.
**Pero primero, entendamos: ¿qué es una prueba de conocimiento cero? **
Primero me gustaría compartir una definición de alto nivel de ZKP (específicamente con respecto a zk-SNARK), así como sus diversas propiedades, antes de mapear esas propiedades en una metáfora mágica.
Ampliemos la definición de SNARK del socio de investigación criptográfica de a16z, Justin Thaler: “zk-SNARK permite que alguien (el probador) demuestre a una parte que no es de confianza (el verificador) que conoce algunos datos sin revelar ninguna información sobre los datos en sí. " O, como dice el curso AIP ZK del MIT, "Los protocolos de conocimiento cero me permiten demostrarte que sé algo sin decirte qué es".
Esto es interesante en el contexto de las cadenas de bloques públicas porque ZKP puede proteger la información privada y al mismo tiempo permitir que cualquiera verifique (sin lugar a dudas) la autenticidad de la información. zk-SNARK también es muy simple y eficiente: "simple" significa que el tamaño de la prueba es menor que los datos que estás demostrando. "Eficiente" significa que los validadores verifican la prueba más rápido que analizar los datos sin procesar (en Ethereum, esto significa menos datos procesados por el contrato inteligente y menores costos de gas para el usuario). La cadena de bloques L2 puede aprovechar la simplicidad y eficiencia de zk-SNARK, permitiendo que las aplicaciones descentralizadas procesen más datos a un costo menor.
En resumen, zk-SNARK tiene dos propiedades principales:
· Privacidad: No se revela al verificador ninguna información sobre los datos (o hechos o "conocimientos") que usted está demostrando.
· Simple y eficiente: La verificación demuestra ser más eficiente que verificar directamente los datos originales.
Incluso esta descripción de alto nivel suena un poco como un acertijo: ¿Cómo se puede demostrar que se sabe algo sin compartir la información?
Veamos la definición nuevamente, pero esta vez usemos algunos trucos de magia.
Magia a prueba de conocimiento cero
En pocas palabras, la magia es una prueba de conocimiento cero. En magia, un mago afirma conocer un secreto que le permite realizar trucos de magia. Pero no quieren revelar este secreto al público, porque eso arruinaría el truco.
Extendiendo esto a ZKP: piense en los magos como "probadores" y su audiencia como "verificadores". Un espectáculo de magia exitoso (con suerte, que resulte en un asombro increíble y un aplauso entusiasta) es similar a una prueba "válida": el truco funcionó, por lo que el mago debe conocer el secreto del espectáculo de magia. Por supuesto, si la ilusión no funciona, resulta "ineficaz", el público quedará decepcionado y es posible que el mago no conozca realmente el método secreto.
Magic demuestra una de las propiedades de ZKP: la privacidad. Pero ¿qué pasa con la simplicidad y la eficiencia? Volvamos a esta analogía...
El público puede saltarse el espectáculo por completo y simplemente pedirle al mago que comparta los secretos detrás de la magia. Pero los secretos de la magia pueden ser complejos y sutiles. Incluso simplemente explicar el método de un truco de magia, con todas sus sutilezas y matices, lleva mucho tiempo para hacerse una idea general, y mucho menos para comprender los misterios. A veces, cuando se le pide que revele sus secretos, un mago puede revelar deliberadamente una solución "incorrecta" a la audiencia, llevándolos así por el camino equivocado. Los espectadores no pueden estar seguros de que una técnica secreta realmente funcione sin dominarla ellos mismos, lo que puede llevar días, meses o incluso años.
Por lo tanto, así como verificar directamente la exactitud de una técnica secreta requiere mucho tiempo y energía, incluso si el mago está dispuesto a revelar el secreto a la audiencia, lo mismo ocurre con ZKP. Es mucho más rápido para el público comprobar la validez de los arcanos simplemente disfrutando de la actuación.
Reanudación
Para dar un ejemplo simple: afirmo conocer un método secreto que me permite restaurar inmediatamente una baraja de cartas mezcladas hacia arriba y hacia abajo en cartas de una sola cara. Quiero demostrarles que tengo esta habilidad, pero no quiero revelar cómo. El acto de mostrarles a todos una baraja de cartas de una sola cara al final de la magia fue una prueba válida de que debía conocer el método secreto para "restaurar" las cartas. Y cuando te muestro una carta de una sola cara, inmediatamente puedes verificar mi afirmación mucho más rápido que aprendiendo trucos de magia en persona.