zk-SNARK

¿Qué es un zk-SNARK?

Un zk-SNARK es un sistema de pruebas criptográficas que permite a una parte demostrar que una afirmación es verdadera sin revelar la información privada que hay detrás de ella.

El significado completo de zk-SNARK es Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.

En criptomonedas, los zk-SNARK se utilizan para respaldar transacciones privadas, escalabilidad blockchain, computación verificable, sistemas de identidad y aplicaciones basadas en pruebas.

Un zk-SNARK puede demostrar que una transacción sigue las reglas de un protocolo sin exponer públicamente todos los detalles de la transacción.

Esto es importante porque muchas blockchains son transparentes por defecto, lo que significa que la actividad de las carteras, los saldos y los patrones de transacción pueden ser visibles para cualquier persona que utilice un explorador de blockchain.

La explicación oficial de Ethereum sobre las pruebas de conocimiento cero describe los zk-SNARK como sistemas de pruebas que pueden verificar información sin revelarla.

Zcash también explica en su guía sobre zk-SNARK que esta tecnología permite a una persona demostrar que posee cierta información sin revelar dicha información.

Para los usuarios cripto, el significado sencillo es que los zk-SNARK ayudan a las blockchains a comprobar la veracidad sin obligar a los usuarios a exponer datos innecesarios.

Por qué los zk-SNARK son importantes en cripto

Los zk-SNARK son importantes porque las redes cripto necesitan privacidad, escalabilidad y verificación con una confianza minimizada.

Una blockchain pública es útil porque cualquier persona puede verificar que se siguen las reglas.

Sin embargo, la transparencia total puede generar problemas de privacidad para usuarios, empresas, traders, donantes, sistemas de nóminas y aplicaciones descentralizadas.

Si todos los saldos de las carteras y rutas de transacciones son visibles para siempre, los usuarios pueden perder privacidad financiera incluso cuando no están haciendo nada indebido.

Los zk-SNARK ayudan a resolver parte de este problema al permitir a una red verificar la corrección sin revelar todos los detalles sensibles.

También son útiles para la escalabilidad porque una blockchain puede verificar una prueba compacta en lugar de volver a ejecutar una gran cantidad de cálculos.

La documentación de Ethereum sobre rollups de conocimiento cero explica que las pruebas de validez confirman la corrección de transiciones de estado off-chain sin exigir a Ethereum que vuelva a ejecutar cada transacción.

Esto hace que los zk-SNARK sean importantes para redes Layer 2, finanzas descentralizadas, pagos, gaming, activos tokenizados y otras aplicaciones cripto de alto volumen.

En resumen, los zk-SNARK permiten que los sistemas cripto sean más privados y eficientes manteniendo una verificación sólida.

Desglose del término zk-SNARK

La parte «zk» significa zero-knowledge.

Zero-knowledge significa que una prueba puede demostrar que algo es verdadero sin revelar los datos secretos utilizados para demostrarlo.

La «S» significa succinct.

Succinct significa que la prueba es pequeña y rápida de verificar en comparación con el cálculo completo que se está demostrando.

La «N» significa non-interactive.

Non-interactive significa que el prover puede crear una prueba que el verifier puede comprobar sin una larga conversación de ida y vuelta.

«ARK» significa Argument of Knowledge.

Argument significa que la prueba es segura bajo hipótesis computacionales.

Knowledge significa que el prover debe conocer la información oculta, a menudo denominada witness, que hace verdadera la afirmación.

Cuando se combinan estas partes, un zk-SNARK se convierte en una prueba compacta que puede comprobarse rápidamente sin revelar información privada.

Esta combinación explica por qué los zk-SNARK son potentes en sistemas blockchain donde importan el coste de verificación, la exposición de datos públicos y la privacidad del usuario.

Cómo funciona un zk-SNARK

Un zk-SNARK suele implicar un prover, un verifier, una afirmación pública y un witness privado.

El prover es la parte que crea la prueba.

El verifier es la parte que comprueba la prueba.

La afirmación pública es la declaración que todos pueden ver.

El witness privado es la información oculta que demuestra que la afirmación es verdadera.

Por ejemplo, un usuario puede querer demostrar que una transacción privada es válida sin mostrar públicamente el remitente, el destinatario o el importe.

El zk-SNARK permite al usuario demostrar que la transacción sigue las reglas del protocolo sin revelar esos detalles seleccionados.

En muchos sistemas, el cálculo debe representarse primero como un circuito o sistema de restricciones matemáticas.

El circuito define las reglas que debe cumplir la prueba.

Si el witness privado satisface el circuito, el prover puede crear una prueba válida.

Después, el verifier comprueba la prueba mediante una clave de verificación o un algoritmo verifier.

Si la prueba es válida, el verifier acepta la afirmación como verdadera.

Si la prueba no es válida, el verifier la rechaza.

Este proceso permite a una blockchain aplicar reglas sin conocer todos los datos privados del usuario.

¿Qué hace que los zk-SNARK sean succinct?

La concisión es una de las principales ventajas de los zk-SNARK.

Una prueba concisa es lo suficientemente pequeña para almacenarse, transmitirse y verificarse de forma eficiente.

Esto es importante en las blockchains porque cada byte de datos y cada paso de verificación pueden tener un coste.

Si una prueba es muy grande o lenta de verificar, puede resultar demasiado cara para su uso on-chain.

Los zk-SNARK son valiosos porque a menudo pueden generar pruebas compactas cuya verificación es mucho más económica que el cálculo original.

Por eso se utilizan en sistemas de escalabilidad.

Un sistema Layer 2 puede procesar muchas transacciones off-chain, generar una prueba y enviarla a una blockchain base.

La blockchain base solo necesita verificar la prueba en lugar de procesar cada transacción individualmente.

Esto puede reducir la congestión y hacer que las transacciones sean más asequibles para los usuarios.

La concisión también ayuda a los sistemas de privacidad porque una prueba compacta puede demostrar el cumplimiento de reglas sin revelar detalles privados de las transacciones.

¿Qué hace que los zk-SNARK sean non-interactive?

La no interactividad significa que el prover puede crear una prueba que el verifier puede comprobar posteriormente.

Esto es importante para las blockchains porque los contratos inteligentes no pueden mantener una conversación privada prolongada con cada usuario.

Una blockchain necesita pruebas que puedan enviarse como datos y verificarse automáticamente.

En sistemas de pruebas interactivos anteriores, el prover y el verifier pueden necesitar varias rondas de comunicación.

Ese diseño no es práctico para muchas aplicaciones cripto porque las transacciones blockchain deben ser definitivas, públicas y fáciles de verificar para los nodos.

Una prueba no interactiva encaja mejor con los contratos inteligentes y las redes descentralizadas.

El prover crea la prueba off-chain.

La prueba se envía a la blockchain u otro verifier.

El verifier la comprueba en un único proceso de verificación.

Esta estructura hace que los zk-SNARK sean útiles para pagos privados, rollups, bridges, pruebas de identidad y sistemas de verificación on-chain.

zk-SNARK y privacidad

Los zk-SNARK suelen asociarse con la privacidad porque pueden ocultar información sensible y demostrar al mismo tiempo que una transacción es válida.

En un pago cripto centrado en la privacidad, un zk-SNARK puede demostrar que el remitente posee fondos suficientes, que los fondos no se gastan dos veces y que la transacción sigue las reglas.

La blockchain pública puede aceptar la transacción sin mostrar todos sus detalles a todo el mundo.

La documentación de Zcash explica que Zcash utiliza direcciones blindadas y zk-SNARK para admitir transacciones que preservan la privacidad en su guía básica de Zcash.

Esto no significa que todas las aplicaciones zk-SNARK sean privadas por defecto.

Algunos sistemas utilizan zk-SNARK principalmente para escalabilidad, no para privacidad.

En esos sistemas, los datos de transacciones pueden seguir siendo públicos, pero la prueba ayuda a verificar la corrección de manera más eficiente.

Los usuarios siempre deben comprobar qué información está oculta, qué información es pública y qué metadatos pueden seguir siendo visibles.

Un zk-SNARK es una herramienta de privacidad, pero la privacidad depende de cómo se implemente la herramienta.

zk-SNARK y escalabilidad blockchain

Los zk-SNARK también son importantes para la escalabilidad blockchain.

La escalabilidad consiste en ayudar a una blockchain a admitir más usuarios y transacciones sin hacer que la red sea demasiado cara o difícil de verificar.

En un zkRollup, muchas transacciones se procesan off-chain y después se demuestran mediante una prueba de validez.

La cadena base comprueba la prueba y acepta el estado actualizado si esta es válida.

Este enfoque puede ahorrar espacio en bloques porque la cadena base no necesita volver a ejecutar todas las transacciones.

La guía de Ethereum sobre zk-rollups explica que estos sistemas trasladan el cálculo y el almacenamiento de estado off-chain, mientras publican pruebas y datos seleccionados en la capa base.

Los zk-SNARK son un posible sistema de pruebas para este tipo de diseño de escalabilidad.

Pueden ayudar a reducir comisiones, mejorar el rendimiento y facilitar el uso de aplicaciones descentralizadas.

Esto resulta especialmente útil para aplicaciones que requieren transacciones frecuentes, como juegos, pagos, swaps, préstamos y herramientas sociales on-chain.

A medida que crezca la adopción blockchain, los zk-SNARK pueden adquirir más importancia porque los usuarios esperan aplicaciones rápidas sin renunciar a la seguridad.

zk-SNARK y configuración de confianza

La configuración de confianza es uno de los riesgos más debatidos asociados a algunos sistemas zk-SNARK.

Una configuración de confianza es un proceso que crea parámetros criptográficos utilizados para generar y verificar pruebas.

Si el material secreto de la configuración no se destruye correctamente, un atacante podría crear pruebas falsas en algunos sistemas.

Este material secreto se denomina a veces toxic waste.

Los diseños zk-SNARK más antiguos solían requerir una configuración de confianza, lo que generaba hipótesis de confianza adicionales para los usuarios.

Algunos sistemas reducen este riesgo mediante ceremonias multipartitas en las que muchos participantes aportan aleatoriedad.

La idea es que la configuración siga siendo segura siempre que al menos un participante honesto destruya su contribución secreta.

Los sistemas de pruebas más recientes también han tratado de reducir o eliminar los requisitos de configuración de confianza.

Electric Coin Company explica que Halo 2 se diseñó como una implementación zk-SNARK de alto rendimiento que elimina la necesidad de una configuración de confianza.

La página de actualización NU5 de Zcash también indica que la actualización trasladó Zcash al sistema de pruebas Halo y eliminó la necesidad de configuración de confianza.

Esto es importante porque demuestra que la tecnología zk-SNARK continúa evolucionando.

Los usuarios no deben asumir que todos los zk-SNARK tienen el mismo modelo de configuración.

Las hipótesis de seguridad exactas dependen del sistema de pruebas, la implementación y el diseño del protocolo.

zk-SNARK frente a zk-STARK

Los zk-SNARK y zk-STARK son sistemas de pruebas de conocimiento cero, pero presentan distintas compensaciones.

Los zk-SNARK suelen ser conocidos por el pequeño tamaño de sus pruebas y una verificación eficiente.

Los zk-STARK suelen ser conocidos por su transparencia, escalabilidad para cálculos grandes y por evitar configuraciones de confianza.

La documentación sobre pruebas de conocimiento cero de Ethereum señala que los zk-STARK suelen generar pruebas más grandes que los zk-SNARK, lo que puede aumentar la sobrecarga de verificación.

Esto significa que los zk-SNARK pueden resultar atractivos cuando el tamaño de la prueba y los costes de verificación on-chain son muy importantes.

Sin embargo, muchos sistemas zk-SNARK dependen de hipótesis criptográficas que pueden ser menos resistentes en el futuro frente a ordenadores cuánticos potentes que los sistemas basados en hash.

Los zk-STARK se describen a menudo como más resistentes a la computación cuántica porque suelen basarse en funciones hash resistentes a colisiones.

Esto no significa que un sistema sea siempre mejor que el otro.

Un desarrollador puede elegir zk-SNARK por sus pruebas compactas y herramientas maduras.

Un desarrollador puede elegir zk-STARK por una configuración transparente y distintas hipótesis de seguridad a largo plazo.

El mejor sistema de pruebas depende de las necesidades de la aplicación, los límites de coste, el modelo de seguridad y los objetivos de experiencia de usuario.

zk-SNARK en transacciones privadas

Las transacciones privadas son uno de los casos de uso más conocidos de los zk-SNARK.

Una blockchain pública puede verificar que no se crean monedas de la nada y que los usuarios no realizan doble gasto.

Al mismo tiempo, los zk-SNARK pueden ocultar determinados detalles de las transacciones a la vista pública.

Esto crea un equilibrio entre verificación y confidencialidad.

Por ejemplo, una transacción blindada puede demostrar que el remitente tiene derecho a gastar ciertos fondos sin mostrar públicamente cuáles son exactamente esos fondos.

También puede ocultar el destinatario y el importe según el diseño del protocolo.

Esto puede proteger a los usuarios frente a vigilancia financiera, ataques dirigidos, filtraciones de inteligencia empresarial y exposición pública no deseada.

La privacidad no significa que un sistema no tenga reglas.

Un sistema zk-SNARK bien diseñado puede aplicar reglas y reducir al mismo tiempo la divulgación innecesaria.

Por eso muchos defensores de la privacidad consideran las pruebas de conocimiento cero una forma práctica de hacer que el sector cripto sea más útil para la actividad financiera ordinaria.

zk-SNARK e identidad descentralizada

Los zk-SNARK también pueden respaldar la identidad descentralizada.

En los sistemas de identidad, los usuarios a menudo necesitan demostrar algo sobre sí mismos sin revelar toda su información personal.

Por ejemplo, un usuario puede necesitar demostrar que supera una determinada edad, pertenece a un grupo específico o cumple un requisito sin revelar su identidad completa.

Un zk-SNARK puede demostrar el hecho exigido manteniendo privados los datos adicionales.

Esto puede ayudar a reducir filtraciones de datos porque las aplicaciones no necesitan recopilar más información personal de la necesaria.

En cripto, esto puede respaldar el control de acceso que preserva la privacidad, comprobaciones de cumplimiento, sistemas de votación, herramientas de reputación y sistemas de elegibilidad para airdrops.

También puede ayudar a los usuarios a evitar vincular cada acción on-chain con la misma identidad pública.

La idea clave es la divulgación selectiva.

Los usuarios pueden demostrar lo necesario sin revelarlo todo.

zk-SNARK en prueba de reservas y auditoría

Los zk-SNARK pueden utilizarse en sistemas de prueba de reservas y auditoría.

Una empresa o protocolo puede querer demostrar que cumple una condición financiera sin revelar cada cartera, saldo de cliente o registro interno.

Una prueba de conocimiento cero puede ayudar a demostrar hechos seleccionados manteniendo privados los detalles sensibles.

Por ejemplo, un sistema puede demostrar que el total de activos es superior al total de pasivos sin exponer públicamente cada cuenta de usuario.

Este enfoque puede mejorar la transparencia y reducir al mismo tiempo los riesgos de privacidad.

Sin embargo, las pruebas de conocimiento cero no resuelven por sí solas todos los problemas de auditoría.

La prueba debe basarse en datos correctos.

Los pasivos deben estar completos.

Los activos deben estar controlados por la entidad que realiza la afirmación.

El circuito de la prueba debe coincidir con la afirmación realizada.

Esto significa que las auditorías basadas en zk-SNARK siguen necesitando controles sólidos de datos, una metodología clara y revisión independiente.

Una prueba es tan fiable como la afirmación que demuestra.

Ventajas de los zk-SNARK

La primera gran ventaja de los zk-SNARK es la privacidad.

Pueden demostrar que una transacción o afirmación es válida sin revelar toda la información privada.

La segunda ventaja es el pequeño tamaño de las pruebas.

Las pruebas más pequeñas pueden reducir los costes de almacenamiento y verificación on-chain.

La tercera ventaja es la verificación rápida.

Un verifier puede comprobar una prueba mucho más rápido que repitiendo el cálculo completo.

La cuarta ventaja es la escalabilidad.

Los zk-SNARK pueden ayudar a los sistemas Layer 2 a agrupar muchas transacciones y demostrarlas eficientemente.

La quinta ventaja es el diseño flexible de aplicaciones.

Pueden respaldar pagos, identidad, gaming, finanzas, gobernanza, bridges y computación privada.

La sexta ventaja es un mayor control de los usuarios sobre sus datos.

En vez de conceder a las aplicaciones acceso completo a información sensible, los usuarios pueden demostrar solo lo necesario.

Limitaciones de los zk-SNARK

La primera limitación es la complejidad.

Los zk-SNARK son difíciles de diseñar, implementar, auditar y explicar.

La segunda limitación es el riesgo de configuración de confianza en algunos sistemas de pruebas.

Si se requiere una configuración y se gestiona mal, el sistema puede sufrir problemas de seguridad graves.

La tercera limitación es el riesgo del circuito.

Si el circuito es incorrecto, la prueba puede demostrar correctamente una regla equivocada.

La cuarta limitación es el riesgo de implementación.

Los errores en el software del prover, los contratos verifier, las carteras, los bridges o las bibliotecas criptográficas pueden causar pérdidas reales.

La quinta limitación es el coste de generación de pruebas.

Generar pruebas puede requerir una cantidad considerable de cálculo, memoria e ingeniería especializada.

La sexta limitación es el malentendido de los usuarios.

Muchos usuarios creen que «zk» siempre significa privacidad total, pero algunos sistemas zk utilizan las pruebas principalmente para la escalabilidad.

La séptima limitación es la filtración de metadatos.

Incluso si una prueba oculta datos principales, el comportamiento de la cartera, el tiempo, la información de red, los depósitos, las retiradas o los patrones de las aplicaciones pueden seguir revelando indicios.

Preguntas de seguridad que plantear sobre un sistema zk-SNARK

Los usuarios deben preguntar si el sistema de pruebas requiere una configuración de confianza.

Deben preguntar si la configuración fue universal, actualizable, específica de un circuito o eliminada por completo.

Deben preguntar si los contratos inteligentes han sido auditados.

Deben preguntar si el circuito de pruebas ha sido revisado por expertos independientes.

Deben preguntar si el sistema oculta datos de transacciones o solo demuestra la corrección de la ejecución.

Deben preguntar si las retiradas dependen de un bridge, sequencer, clave de administrador o comité de emergencia.

Deben preguntar si los usuarios pueden salir de forma segura si un operador deja de estar online.

Deben preguntar cómo se gestiona la disponibilidad de datos.

Deben preguntar si el proyecto explica claramente su modelo de riesgos.

Estas preguntas son importantes porque los zk-SNARK son potentes, pero no eliminan todos los riesgos de un sistema cripto.

La seguridad completa de una aplicación zk-SNARK depende de la criptografía, el software, la gobernanza, la disponibilidad de datos, el diseño de custodia y el comportamiento del usuario.

Malentendidos habituales sobre los zk-SNARK

Un malentendido es que los zk-SNARK hacen automáticamente privada cada transacción.

En realidad, la privacidad depende del diseño de la aplicación y de qué datos se publican.

Otro malentendido es que los zk-SNARK eliminan por completo la necesidad de confianza.

Reducen determinadas hipótesis de confianza, pero los usuarios pueden seguir necesitando confiar en la calidad del código, el diseño de la configuración, la seguridad de los bridges, los controles de gobernanza y el software de cartera.

Un tercer malentendido es que los zk-SNARK solo sirven para monedas de privacidad.

También son útiles para escalabilidad, identidad, gaming, auditoría y computación verificable.

Un cuarto malentendido es que las pruebas más pequeñas siempre implican sistemas mejores.

Las pruebas pequeñas son útiles, pero también importan las hipótesis de seguridad, el coste del prover, la disponibilidad de datos y la descentralización.

Un quinto malentendido es que la tecnología de conocimiento cero es solo para expertos.

Los usuarios no necesitan comprender cada detalle matemático para beneficiarse de aplicaciones que utilizan zk-SNARK, pero deben entender los riesgos básicos.

zk-SNARK y desarrolladores

Los desarrolladores utilizan zk-SNARK transformando la lógica de aplicaciones en un formato compatible con pruebas.

Esto suele implicar escribir circuitos o programas que definen lo que debe demostrarse.

El circuito puede comprobar saldos, firmas, pertenencia a árboles de Merkle, validez de transacciones, afirmaciones de identidad o reglas de juegos.

Después, el prover crea una prueba de que el circuito se ha cumplido.

El verifier comprueba la prueba on-chain u off-chain.

Las herramientas de desarrollo han mejorado, pero el desarrollo con zk-SNARK sigue siendo más complejo que el desarrollo habitual de contratos inteligentes.

Los desarrolladores deben pensar cuidadosamente en las restricciones, la generación de witnesses, los sistemas de pruebas, los costes del verifier y las hipótesis de seguridad.

También deben probar casos límite, porque un pequeño error puede hacer que un sistema privado sea inseguro o que un sistema de escalabilidad sea incorrecto.

La iniciativa ZKProof existe para respaldar la estandarización, interoperabilidad y prácticas de seguridad de pruebas de conocimiento cero en todo el sector.

Este tipo de estandarización es importante porque los zk-SNARK pueden proteger grandes cantidades de valor cripto.

zk-SNARK en términos sencillos

Un zk-SNARK es como demostrar que conoces la respuesta a un puzle sin mostrar la respuesta en sí.

La persona que comprueba la prueba puede confiar en que conoces la respuesta.

No necesita ver la respuesta.

Tampoco necesita observarte resolver todo el puzle desde el principio.

En cripto, el puzle puede ser una transacción, una comprobación de saldo, una afirmación de identidad privada o un lote de actividad Layer 2.

El zk-SNARK demuestra que se siguieron las reglas.

La blockchain puede comprobar la prueba rápidamente.

Por eso los zk-SNARK son útiles tanto para la privacidad como para la escalabilidad.

Permiten a las blockchains verificar más y revelar menos.

FAQ

¿Qué significa zk-SNARK?

zk-SNARK significa Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.

¿Para qué se utiliza un zk-SNARK en cripto?

Un zk-SNARK se utiliza para demostrar que una transacción, cálculo o afirmación privada es válida sin revelar toda la información subyacente.

¿Los zk-SNARK se utilizan solo para la privacidad?

No. Los zk-SNARK se utilizan para privacidad, pero también para escalabilidad, identidad, auditoría, gaming y computación verificable.

¿Por qué las pruebas zk-SNARK se denominan succinct?

Se denominan succinct porque las pruebas son pequeñas y pueden verificarse rápidamente en comparación con el cálculo completo.

¿Qué significa non-interactive en zk-SNARK?

Non-interactive significa que el prover puede crear una prueba que el verifier puede comprobar sin muchas rondas de comunicación.

¿Todos los zk-SNARK necesitan una configuración de confianza?

No. Algunos sistemas zk-SNARK requieren una configuración de confianza, mientras que diseños e implementaciones más recientes pueden reducir o eliminar ese requisito.

¿Cuál es la diferencia entre zk-SNARK y zk-STARK?

Los zk-SNARK suelen tener pruebas más pequeñas y verificación rápida, mientras que los zk-STARK suelen evitar la configuración de confianza y utilizan hipótesis de seguridad diferentes.

¿Pueden los zk-SNARK reducir las comisiones blockchain?

Sí. Los zk-SNARK pueden reducir las comisiones en sistemas de escalabilidad al permitir demostrar muchas transacciones conjuntamente en lugar de ejecutarlas una a una en la cadena base.

¿Los zk-SNARK son seguros?

Los zk-SNARK pueden ser seguros cuando el sistema de pruebas, el circuito, la implementación, la configuración, los contratos inteligentes y el modelo de gobernanza se diseñan y auditan cuidadosamente.

¿Los zk-SNARK ocultan las direcciones de cartera?

Pueden ocultar direcciones de cartera en algunos sistemas centrados en la privacidad, pero esto depende del diseño del protocolo y de los datos publicados on-chain.

¿Pueden los principiantes utilizar aplicaciones basadas en zk-SNARK?

Sí. Los principiantes pueden utilizar aplicaciones basadas en zk-SNARK, pero deben entender riesgos básicos como el riesgo de bridges, el riesgo de contratos inteligentes y la filtración de metadatos.

¿Por qué son importantes los zk-SNARK para Web3?

Los zk-SNARK son importantes para Web3 porque ayudan a las aplicaciones a verificar la veracidad, proteger los datos de los usuarios y escalar la actividad blockchain de forma más eficiente.

Conclusión

Un zk-SNARK es una de las herramientas criptográficas más importantes de las criptomonedas modernas.

Permite a un usuario, aplicación o red demostrar que algo es verdadero sin revelar toda la información privada que hay detrás de la prueba.

Esto hace que los zk-SNARK sean útiles para transacciones privadas, escalabilidad Layer 2, identidad descentralizada, prueba de reservas, gaming, gobernanza y computación verificable.

Los principales puntos fuertes de los zk-SNARK son el tamaño compacto de las pruebas, la verificación rápida, la protección de la privacidad y su gran utilidad para la escalabilidad blockchain.

Los principales riesgos incluyen hipótesis de configuración de confianza en algunos sistemas, errores de circuitos, errores de implementación, costes de generación de pruebas, filtración de metadatos y malentendidos de los usuarios.

Para los usuarios cripto, la lección principal es que los zk-SNARK pueden hacer que las blockchains sean más privadas y eficientes, pero no hacen automáticamente que todas las aplicaciones sean seguras o anónimas.

La seguridad completa de un sistema zk-SNARK depende del diseño de las pruebas, la disponibilidad de datos, los contratos inteligentes, la gobernanza, las carteras, los bridges y las auditorías.

A medida que las aplicaciones cripto se vuelven más avanzadas, es probable que los zk-SNARK sigan siendo fundamentales para el futuro de una infraestructura blockchain escalable que preserve la privacidad.