zk-SNARKs | Lección 5 de 6

Aprende cómo los métodos de verificación incorporados en Filecoin hacen posible confiar en los pares en un sistema de almacenamiento descentralizado de archivos.

Tanto la Prueba de Replicación como la Prueba de Espaciotiempo en Filecoin utilizan zk-SNARKs para la compresión.

zk-SNARKs significa "Argumentos No Interactivos y Sucintos de Conocimiento de Cero". Puedes pensar en ellos como hashes de cálculos. Nos permiten demostrar que una prueba se ha realizado correctamente sin tener que revelar los detalles de la prueba en sí o los datos subyacentes en los que se basa.

El proceso de creación de los zk-SNARKs de Filecoin es computacionalmente costoso (lento), pero el producto final resultante es pequeño y el proceso de verificación es muy rápido. Comparados con las pruebas originales, los zk-SNARKs son diminutos, lo que los hace eficientes para almacenar en una blockchain. Por ejemplo, una prueba que habría ocupado cientos de kilobytes en la cadena de Filecoin puede ser comprimida a solo 192 bytes utilizando un zk-SNARK.

Como se mencionó anteriormente, todos los que ejecutan un nodo de Filecoin mantienen una versión actualizada de la cadena para fines de verificación. Mantener cada prueba pequeña con la ayuda de los zk-SNARKs minimiza las demandas de almacenamiento impuestas a cada nodo en la red Filecoin, así como el tiempo que toma verificar una transacción.