Después de haber abordado la explicación matemática de cómo funciona ZK-SNARKs, Vitalik Buterin publicó ayer explicaciones sobre cómo se puede utilizar ZK-SNARKs para lograr la privacidad.
Uso de ZK-SNARKs para la privacidad
Zk-SNARK, es una abreviatura que significa «Argumento de Conocimiento Cero Sucinto No Interactivo». Un zk-SNARK es una prueba criptográfica que permite a una de las partes demostrar que tiene una información específica sin revelarla. Esta prueba se consigue gracias a una clave secreta generada antes de la transacción. Es un componente del protocolo de la criptomoneda Zcash.
Vitalik Buterin, cofundador de la red Ethereum, publicó anteriormente una explicación de cómo funcionan las ZK-SNARK. Intentó explicar la matemática que hay detrás de los ZK-SNARKs de una manera razonablemente comprensible pero teóricamente completa.
Ayer hizo un post centrado en la cuestión de cómo los ZK-SNARKs encajan en las aplicaciones existentes, dio algunos ejemplos de lo que pueden hacer, lo que no pueden hacer, y algunas directrices generales para averiguar si es posible o no ZK-SNARK en alguna aplicación particular. Explicó mediante funciones lo que hacen los ZK-SNARKs utilizando una dirección de cartera de Ethereum como explicación.
En su explicación, mostró cómo funcionalmente, ZK-SNARK tiene sus dos propiedades: privacidad y escalabilidad.
Explicó cómo los ZK-SNARKs pueden ser utilizados para la privacidad, mientras que muestra la prueba de pertenencia en una red Ethereum, cómo se puede utilizar para las monedas, las monedas con saldos de arbitraje, etc.
Proyectos como Zcash y Tornado.cash permiten tener una moneda que preserva la privacidad. Ahora, se podría pensar que se puede tomar la «prueba de humanidad ZK» anterior, pero en lugar de probar el acceso de un perfil de prueba de humanidad, usarlo para probar el acceso a una moneda. Pero tenemos un problema: tenemos que resolver simultáneamente la privacidad y el problema del doble gasto. Es decir, no debería ser posible gastar la moneda dos veces. El post comenzó a explicar cómo se podría utilizar ZK-SNARK en las monedas.
Vitalik también explicó conceptos como el ZK anti-denegación de servicio exponiendo un ejemplo: «Supongamos que tienes alguna identidad en la cadena que no es trivial de crear: podría ser un perfil de prueba de humanidad, podría ser un validador con 32 ETH, o podría ser simplemente una cuenta que tiene un saldo de ETH no nulo. Podríamos crear una red peer-to-peer más resistente al DoS aceptando sólo un mensaje si viene con una prueba de que el remitente del mensaje tiene tal perfil. A cada perfil se le permitiría enviar hasta 1000 mensajes por hora, y el perfil de un remitente sería eliminado de la lista si el remitente hace trampa. Pero, ¿cómo podemos hacer que esto preserve la privacidad?».
Además, explicó mediante funciones, la reputación negativa ZK, cómo el protocolo puede ayudar a responsabilizar a las partes centralizadas en las redes. También explicó algunos aspectos del protocolo que no pueden hacerse privados debido a la forma en que está construido.
