#Zk-SNARK
Zk-SNARKs (Zero Knowledge Succinct Non-Interactive Argument of Knowledge) es una tecnología criptográfica desarrollada por los criptógrafos Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer y Madars Virza en el Instituto de Tecnología de Massachusetts (MIT). Se utiliza para crear transacciones seguras y privadas en redes blockchain. Los Zk-SNARK son un tipo de prueba de conocimiento cero que permite a dos partes demostrar que poseen información específica sin revelar ningún detalle al respecto. Esto los hace ideales para su uso en sistemas distribuidos donde la confianza entre los participantes no es posible o deseable.
En esencia, Zk-SNARK funciona mediante el uso de un algoritmo para generar una firma digital llamada "prueba" a partir de ciertas entradas de datos, como registros de transacciones y otros datos, sin revelar esas entradas en sí. La prueba puede entonces ser verificada por cualquier persona que tenga acceso a las entradas de datos pero sin poder ver su contenido. Por ejemplo, una de las partes puede demostrar que posee monedas específicas en la red Bitcoin sin tener que revelar qué direcciones contienen esas monedas o cuánto dinero se almacena allí. Como tal, ZK Snarks ofrece beneficios de privacidad incomparables con los métodos tradicionales y al mismo tiempo permite a los usuarios verificar la identidad y autenticidad de los demás únicamente a través de sus pruebas.
Además de sus características de privacidad, ZK Snarks también proporciona una escalabilidad mejorada en comparación con las tecnologías blockchain tradicionales debido a su baja sobrecarga computacional al verificar transacciones; esto permite más transacciones por segundo de las que serían posibles en cadenas de bloques que dependen únicamente de esquemas de cifrado de clave pública como RSA o ECC. Además, dado que las declaraciones de prueba no requieren interacción entre el verificador y el probador más allá de proporcionar las entradas de datos necesarias, incluso a través de largas distancias, esta tecnología ofrece ventajas significativas sobre los protocolos interactivos como las firmas Schnorr cuando múltiples entidades necesitan verificación simultáneamente para tomar decisiones consensuadas con respecto a nuevos bloques en sistemas de contabilidad como Hyperledger Fabric o la actualización del protocolo Casper de Ethereum 2.0.
Finalmente, debido a que todos los componentes necesarios para generar pruebas utilizando zk SNARKS se generan desde dentro del propio sistema en lugar de requerir fuentes externas, estos protocolos se han denominado "sin confianza", ya que no es necesario involucrar ni confiar en terceros para los procesos de validación que los involucran. tener lugar .
En general, zk SNARKS representa un avance importante hacia la creación de redes descentralizadas verdaderamente autónomas capaces de compartir información confidencial de forma segura con altos niveles de eficiencia.
